Essays
Articles
The shape of behaviour
From booleans pretending to be states, through Harel's hierarchy, orthogonality and history, to the SCXML algorithm, a pure step function, and five charts a Lean proof found that no test had built.
The goat does not choose the play
Where a language model belongs in a program: at a choice point, picking among the moves a chart offers, with every answer journaled so the run replays without any model.