Trying out WSL2 on Windows 11 ...more
2 min · March 13, 2023 · #old #tech #wsl2
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
Using Discord on an iPad without installing the app ...more
A (partial) list of things I did ...more