Archive
2023
 April 27, 2023 » Programming in Style: From Pattern Matching to Point Free
2017
 June 14, 2017 » Making builds reliable and reproducible
2016

December 20, 2016 » Sum types in Kotlin, Elixir, and Elm

November 14, 2016 » Product types in Kotlin, Elixir, and Elm

October 2, 2016 » Enum types in Kotlin, Elixir, and Elm

July 10, 2016 » Idealized versions of Moessner’s theorem and Long’s theorem

June 29, 2016 » A grid of Moessner triangles

May 17, 2016 » Deriving Moessner’s sieve from Horner’s method

April 8, 2016 » Obtaining Taylor Polynomials with Horner’s method

March 4, 2016 » A characteristic function of Moessner’s sieve

February 19, 2016 » A dual to Moessner’s sieve

January 12, 2016 » An introduction to Moessner’s theorem and Moessner’s sieve
2015

December 20, 2015 » Rotating Pascal’s triangle and the binomial coefficient

November 7, 2015 » An introduction to Pascal’s triangle and the binomial coefficient

October 16, 2015 » Equivalence of interpretation and compilation followed by execution

September 26, 2015 » An interpreter, a compiler, and a virtual machine

August 3, 2015 » An introduction to Horner’s method

July 18, 2015 » A primer on the Coq Proof Assistant