- Your type checker may be wrong - an introduction to formal proof verification and the Curry-Howard Correspondence
- Zero knowledge Tolstoyan art
- Some intuition behind the contrapositive
- An introduction to Turing machines and computation
- Minimising the product of sums chosen from intervals
- The main components of the MLP
- The maths behind the MLP