Archive for the ‘math’ Category
Egyptian div and mul "work": a correctness proof for the arithmetic operations in FFA Chapter 5
Friday, February 23rd, 2018
Reversing lists, and on how formal methods are not an unambiguously useful tool for software verification
Sunday, January 29th, 2017
Password security, a game theoretical approach
Saturday, February 28th, 2015
The mathematics and philosophy of hyperoperations
Sunday, October 5th, 2014
Type algebra: the semantic ambiguity of nested lists
Saturday, July 12th, 2014
On numbers, structure and induction
Saturday, March 29th, 2014
Passwords versus passphrases
Sunday, February 16th, 2014
Composition operators: pipes
Saturday, August 31st, 2013