Archives

Here you can find all my previous posts:
  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