Setting up HotCRP for local hosting ...more
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