Code editors The best thing since punchcards 2014-11-11 – 2020-06-14
MAPLE An OK computer algebra system 2020-05-19
Comfy Ubuntu Various bits of setup for a research machine 2014-10-14 – 2020-01-14
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