interests

stuff i enjoy, read, work on, and watch about.

mathematics

• type theory & formal verification - i’m very interested in curry-howard correspondence, dependent types, and interactive theorem proving.
• category theory - category theory is very interesting and useful, and its interesting to see its applications to computer science.

computer science & systems

• programming language design - compilers, transpilers, interpreters, type inference, and such.
• functional programming - pure functional languages, monadic error handling, and immutable data structures and the lisp-family of languages.
• nixos - nix is a very interesting project to me. i’ve built lots of random nix tools and have a large fleet of computers all managed by one repo.
• open-source - i love open source and try to keep everything mostly open source on my computers. trying to contribute more.