I work as a software engineer @Adalyon. Broadly, I'm interested writing correct software.

As a hobby I enjoy doing recreational mathematics, programming language theory and rock climbing

Some of my hobby software projects

• 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.
• AdventOfCode is the worlds largest programming competition, taking place every year during december. 🎄
  • 2015, Clojure.
  • 2016, 25 different programming languages.
  • 2017, WIP, Agda.
  • 2020, Python.
  • 2021, Haskell and Python.
  • 2022, Haskell.
  • 2023, Python.
• nns, hello world machine learning examples
• gists, my github gists as a single repository.
• Myy, a lambda calculus interpreter.
• js-quiz, A website for learning Javascript.
• oluet-api, Graphql API for querying all kinds of beer and other drinks!

System configurations

• My development macbook configurations.

Sources for my personal website/blog

• Personal website.