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
Including only some files in your tarball ...more
Possibly useful? ...more
Upgrade all the things – BIOS, OS, the lot ...more