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