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