O kama pona!

Welcome to my site! I sometimes write about things that interest me on here, but don't expect frequent posts.

Entries

  1. 2025-01-25
    Git Annex & the reMarkable 2 tablet
    What to do if rmfakecloud doesn't scratch the itch
  2. 2024-10-24
    A line map for Milano's trams in TEX
    I got on a box built in the 1920ies and realised I didn't know where it was going
  3. 2023-11-29
    Am selben Bahnsteig gegenüber?
    Platform data for bahnhof.name via OverpassQL
  4. 2023-01-05
    Run yourself a local telephone network with Asterisk and NixOS
    A description of the phones used at 22f3
  5. 2022-05-22
    Hacking on Isabelle/ML
    An attempt at helpful notes for beginners
  6. 2021-11-13
    Are Nix Expressions Pacman-Complete?
    Things to not make and do with Nix-the-language

Other Things

  • tracktrain
    backend of a passenger information system for the Ilztalbahn, which generates and publishes real-time data by tracking running vehicles with GNSS.
  • bahnhof.name
    a little web site for train nerds in search of station info.
  • walint
    a linter for workadventure maps, checking for common mistakes and probable errors. Used by online chaos events during the pandemic.
  • traveltext
    a small command-line client for travelynx, which I use when travelling.
  • infra4future.de, hacc Munich & c3voc.de
    places where I volunteer to help with Nix expressions & video stuff
  • this website
    which generates an explanation of how it works from its own hakyll configuration file. Guaranteed up-to-date!

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.

Bookshelf

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)