Apparently I have a blog here. I'm as surprised as you are!


  1. 2022-05-22 Hacking on Isabelle/ML
  2. 2021-11-13 Are Nix Expressions Pacman-Complete?


Sometimes I do things. Sometimes I also don't, but some of those that I did are listed here:

I generally try to keep these away from GitHub or similar platforms; instead I host the code for most of them on my own instance of cgit. Unfortunately that also means there's no obvious way to e.g. create an issue on one of my repositories if you've found a bug.

Tbh I'm still trying to figure out what a good alternative might look like; in the meantime, feel free to ping me (via mail or on the fediverse) for issues/bugs, and I'll also be delighted to receive patches either directly via mail or as a git request-pull.