# Categories

## programming

- Enumerated types in Kotlin, Elixir, and Elm
- An interpreter, a compiler and a virtual machine
- Checking for existence of i18n keys
- Transpiling and linting ECMAScript 6

## mathematics

- Idealized versions of Moessner's theorem and Long's theorem
- A grid of Moessner triangles
- Deriving Moessner's sieve from Horner's method
- Obtaining Taylor Polynomials with Horner's method
- A characteristic function of Moessner's sieve
- A dual to Moessner's sieve
- An introduction to Moessner's theorem and Moessner's sieve
- Rotating Pascal's triangle and the binomial coefficient
- An introduction to Pascal's triangle and the binomial coefficient
- Equivalence proof of interpretation and compilation followed by execution
- An introduction to Horner's method
- A primer on the Coq Proof Assistant