- 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.
Agda 4
"""
This is an implementation of a simple (< 100LoC) *runtime* pattern matching system for Python.
`pm` is a function that takes two arguments, the object being matched over and some rule for that object.