Blog

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

Entries:

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

Things

Sometimes I do things. Sometimes I also don't. But some of them are listed here:

Most of my code is published on my own instance of cgit. Unfortunately 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 directly via mail.

Bookshelf

These books were published under a Creative Commons license by other people; I've merely converted them into a format I find easier to read:

(notes on exact license & link to original publication inside each book)