dragonwasrobot

“There are different rules for reading,
for thinking, and for talking.
Writing blends all three of them.”
– Mason Cooley

Apr 27, 2023
Programming in Style: From Pattern Matching to Point Free
In this post, we present several techniques for making Elm code more declarative and precise
Jun 14, 2017
Making builds reliable and reproducible
In this post, we present how to significantly improve the reliability and reproducibility of software builds.
Dec 20, 2016
Sum types in Kotlin, Elixir, and Elm
In this post, we define the concept of sum types with examples in Elm, Elixir, and Kotlin.
Nov 14, 2016
Product types in Kotlin, Elixir, and Elm
In this post, we define the concept of product types with examples in Kotlin, Elixir, and Elm.
Oct 2, 2016
Enum types in Kotlin, Elixir, and Elm
In this post, we define the concept of enum types with examples in Kotlin, Elixir, and Elm.
Jul 10, 2016
Idealized versions of Moessner's theorem and Long's theorem
In this post, we present idealized versions of Moessner's theorem and Long's theorem.
Jun 29, 2016
A grid of Moessner triangles
In this post, we introduce a new combinatorial property of Moessner triangles.
May 17, 2016
Deriving Moessner's sieve from Horner's method
In this post, we derive Moessner's sieve from Horner's method.
Apr 8, 2016
Obtaining Taylor Polynomials with Horner's method
In this post, we calculate Taylor Polynomials with Horner's method.
Mar 4, 2016
A characteristic function of Moessner's sieve
In this post, we introduce a characteristic function of Moessner's sieve.
Feb 19, 2016
A dual to Moessner's sieve
In this post, we introduce a dual to Moessner's sieve.
Jan 12, 2016
An introduction to Moessner's theorem and Moessner's sieve
In this post, we introduce Moessner's theorem and Moessner's sieve.
Dec 20, 2015
Rotating Pascal's triangle and the binomial coefficient
In this post, we introduce the rotated versions of Pascal's triangle and the binomial coefficient.
Nov 7, 2015
An introduction to Pascal's triangle and the binomial coefficient
In this post, we introduce Pascal's triangle and the binomial coefficient.
Oct 16, 2015
Equivalence of interpretation and compilation followed by execution
In this post, we prove equivalence between interpretation and compilation of code.
Sep 26, 2015
An interpreter, a compiler, and a virtual machine
In this post, we implement an interpreter, a compiler, and a virtual machine.
Aug 3, 2015
An introduction to Horner's method
In this post, we introduce Horner's method for polynomial evaluation and polynomial division.
Jul 18, 2015
A primer on the Coq Proof Assistant
In this post, we give a short primer on interactive theorem proving in the Coq Proof Assistant.