O kama pona!
A confused entity sometimes leaves thoughts here. Don't expect them to be
2023-11-29 Am selben Bahnsteig gegenüber?
Platform data for bahnhof.name via OverpassQL
2023-01-05 Run yourself a local telephone network with Asterisk and NixOS
A description of the phones used at 22f3
2022-05-22 Hacking on Isabelle/ML
An attempt at helpful notes for beginners
2021-11-13 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:
backend of a passenger information system for the
, which generates
and publishes real-time data by tracking running vehicles
a little web site for train nerds in search of station info.
a linter for workadventure maps, checking for common mistakes and probable
errors. Used by online chaos events during the pandemic.
a small command-line client for travelynx
which I use when travelling.
hacc Munich &
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.
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)