Setting up HotCRP for local hosting ...more
2 min · October 17, 2021 · #old #linux #academic #publishing
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
Recycling storage ...more
Spotlight on Time Machine ...more