2020

04-11 Nicht ganz so gute Beweise
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