A confused entity sometimes leaves thoughts here. Don't expect them to be frequent.
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
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.
These books were published under an open license by other people; I’ve merely converted them into a format I find easier to read: