I work as a software engineer @Adalyon. 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 Codeis the worlds largest programming competition, taking place every year during december, in which I've participated for many years. 🎄
- nns,hello world 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-darwinconfigurationsfor my personal/work macbooks.
- Personalwebsite.