Posts tagged 'math'

• February 23, 2018: Egyptian div and mul "work": a correctness proof for the arithmetic operations in FFA Chapter 5
• January 29, 2017: Reversing lists, and on how formal methods are not an unambiguously useful tool for software verification
• January 30, 2016: Category theory and its application in software engineering
• October 5, 2014: The mathematics and philosophy of hyperoperations: Another dive into the world of mathematical foundations
• July 12, 2014: Type algebra: the semantic ambiguity of nested lists: A short incursion into limitations of algebraic types.
• March 29, 2014: On numbers, structure and induction: Peano arithmetic for the dumb
• August 31, 2013: Composition operators: pipes: In which we describe Unix pipes using application and composition.