How to set NixOS channels sensibly ...more
December 13, 2023 · #old #linux #nixos
Setting up OneDrive under NixOS ...more
Trying out WSL2 on Windows 11 ...more
A reference, because I can never remember ...more
Cursed bugs from the past ...more
Setting up HotCRP for local hosting ...more