Blog posts
- Bidirectional Typechecking May 4, 2026 05/04/26
- Theorem Proving with TypeScript Dec 2, 2023 12/02/23
- Git Diffs of Untracked Files Dec 17, 2021 12/17/21
- Brainf*ck Turing Machine Interpreter Feb 20, 2020 02/20/20
- Cardioid Jul 13, 2018 07/13/18
- A Fractal Polygon Jul 12, 2018 07/12/18
- A Chaotic Heart Jun 28, 2018 06/28/18
- Marching Squares Jun 23, 2018 06/23/18
- NeuralNet.js Apr 10, 2018 04/10/18
- Lloyd Relaxation Jan 18, 2018 01/18/18
- Maze Solving with Q-learning Oct 28, 2017 10/28/17
- Maze Generation Oct 28, 2017 10/28/17
- Langton's Ant Oct 14, 2017 10/14/17
- Markov Chains Jun 28, 2017 06/28/17
- Shakespeare's Sonnets Mar 17, 2017 03/17/17
- Pi Mar 14, 2017 03/14/17
- Higher Order Newton Fractals Feb 15, 2017 02/15/17
- Lorenz Attractor Jan 25, 2017 01/25/17
- Rapidly-exploring Random Trees Jan 2, 2017 01/02/17
- Continued Fractions Dec 30, 2016 12/30/16
- Continuous Newton Method Dec 27, 2016 12/27/16
- Time-Travelling Function Dec 24, 2016 12/24/16
- Newton Fractals Dec 19, 2016 12/19/16
- Simple Harmonic Motion Dec 17, 2016 12/17/16
- Binary Sequences Nov 22, 2016 11/22/16
- Logical Consequence Nov 19, 2016 11/19/16
No posts found