A reference, because I can never remember ...more
1 min · February 26, 2023 · #old #dev
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
Things we want to believe that just aren’t true ...more