Hi there!
A confused entity sometimes leaves thoughts here. Don't expect them to be frequent.
Entries:
-
2023-11-29Am selben Bahnsteig gegenüber?Platform data for bahnhof.name via OverpassQL
-
2023-01-05Run yourself a local telephone network with Asterisk and NixOSA description of the phones used at 22f3
-
2022-05-22Hacking on Isabelle/MLAn attempt at helpful notes for beginners
-
2021-11-13Are 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, the backend of a passenger information system used by the Ilztalbahn to automatically generate and publish real-time data (e.g. delays) by tracking running vehicles via GNSS.
- bahnhof.name, a little web service to look up ril100 codes of German railway stations and basic station info
- showrt, a small command-line tool to display gtfs realtime feeds, mostly for debugging purposes.
- walint, a linter to check workadventure maps for common mistakes and errors. Used by online chaos events during the pandemic.
- traveltext, a small command-line client for travelynx.
- I also help with maintaining infra4future.de at hacc Munich, and on occasion you may catch me despairing over delicious heaps of cable salad at c3voc.
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