Linux-compatible laptops I love linux but I hate googling for “wifi hangs after suspend” 2018-05-28 – 2020-11-13
Comfy Ubuntu Various bits of setup for a research machine 2014-10-14 – 2020-10-27
Code editors The best thing since punchcards 2014-11-11 – 2020-06-14
MAPLE An OK computer algebra system 2020-05-19
Clojure 2015-01-05 – 2019-11-30
Informations Entropies and other measures of surprise 2011-11-25 – 2019-09-10
Atom A text editor I seemed to be using 2017-06-19 – 2018-11-06
Models of computation Turing machines, λ-calculus, term-rewriting and other models of what may be computed. 2017-06-18 – 2017-06-18
Syntax 2015-01-18 – 2016-06-22