I work as a software engineer @Taito.ai. Broadly, I'm interested writing correct software. As a hobby I do recreational mathematics, programming language theory and rock climbing.
- fp, A point-free programming language.
- vl, Tool for writing shell scripts in TypeScript.
- sp, CLI tool for interacting with spotify.
- lines, CLI tool for generating line counts of a project.
- Advent Of Code is the worlds largest programming competition, taking place every year during december, in which I've participated for many years. 🎄
- nns, educational machine learning examples.
- gists, my greatest github gists as a single repository.
- Myy, a lambda calculus interpreter.
- oluet-api, Graphql API for querying all kinds of beer and other drinks!
- nix-darwin configurations for my personal/work macbooks.
- Personal website.