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 declarative and precise.
Jun 14, 2017

Making builds reliable and reproducible

In this post, we present how to 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 derive Moessner’s sieve from Horner’s method.
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 a minimal interpreter, a compiler, and a virtual machine in Coq.
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.