# Archive

## 2016

### November

- November 22, 2016 » Sum types in Kotlin, Elixir, and Elm

### October

- October 2, 2016 » Enumerated types in Kotlin, Elixir, and Elm

### September

- September 14, 2016 » InfoSec DIY

### August

- August 31, 2016 » Meta post: new color scheme and improved legibility

### July

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

### June

- June 29, 2016 » A grid of Moessner triangles

### May

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

### April

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

### March

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

### February

- February 19, 2016 » A dual to Moessner's sieve

### January

- January 12, 2016 » An introduction to Moessner's theorem and Moessner's sieve

## 2015

### December

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

### November

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

### October

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

### September

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

### August

- August 3, 2015 » An introduction to Horner's method

### May

- May 18, 2015 » A primer on the Coq Proof Assistant

### April

- April 25, 2015 » Checking for existence of i18n keys
- April 6, 2015 » Transpiling and linting ECMAScript 6