- Compilers and Language Design
- Machine Learning
- Mathematical Finance
- Simulated Physics & Chemistry
- Logical Foundations
- My trading bot
- A virtual machine or two, depends on the mood
WIP: Presentation turned blog series: Building the simplest possible thing over and over again.
A statically typed dimensional analysis calculator written in Agda.
A Simple Quantum Virtual Machine, implemented in OCaml