Notes kept in the open. Mostly on argument and its machinery, sometimes on the mathematics underneath, sometimes on code.
Permutation Cuts
A bitonic array, read backwards into the permutation that made it
Proof
Every typographic decision on the site, set at the size it actually occurs
The Measure of a Line
On why justified text is a discrete optimisation problem, and why your browser gets it wrong