O kama pona!

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

Entries:

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

Things

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

• 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

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:

• The Definitive Guide to GTFS, by Quentin Zervaas
• The Definitive Guide to GTFS-Realtime, by Quentin Zervaas
• The Lux Programming Language, by the Lux Developers