2020

04-11 Baby Rudin - Notes on example 7.6

2019

11-27 Reduktionen
11-26 Installing Podman and friends on NixOS
07-23 Setting up a local Postgres dev database on NixOS
07-07 Linux Software you should check out