Hi there!

A confused entity sometimes leaves thoughts here. Don't expect them to be frequent.


  1. Am selben Bahnsteig gegenüber?
    Platform data for bahnhof.name via OverpassQL
  2. Run yourself a local telephone network with Asterisk and NixOS
    A description of the phones used at 22f3
  3. Hacking on Isabelle/ML
    An attempt at helpful notes for beginners
  4. Are Nix Expressions Pacman-Complete?
    Things to not make and do with Nix-the-language


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 feedback & patches via email.


These books were published under an open 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 are are in the introduction of each book)