Archive
2017

February 8, 2017 » Tools to increase productivity

January 8, 2017 » New projects page and improved post structure
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

September 14, 2016 » An introduction to Information Security

August 31, 2016 » New color scheme and improved legibility

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 proof 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