Short Remarks
February 17, 2023. The Importance Of Being Printer Friendly. On printing this website’s pages to PDF… #print-to-pdf
September 23, 2022. Errata for van Dalen’s Logic and Structure. I couldn't find one, so I wrote my own.
April 8, 2022. Instructions for Coworkers. Straightforward manner to use `git` (more or less) privately.
April 7, 2022. Iptables rules for clients and servers. Two (more or less) generic sets of iptables rules, one for clients, and another for servers.
February 23, 2022. Run git on your own server. For things that are not ready to be shared with the world...
September 21, 2021. On the joys of reinstalling systemd-boot
… Because if you have Archlinux and macOS on the same machine, updating the latter prevents you from booting the former...