Programming, Made Complicated

Substrates ’25 Vision Statement

Ode to Id (Notes on COLA’s object model), Part N

Ode to Id (Notes on COLA’s object model), Part 2

Ode to Id (Notes on COLA’s object model), Part 1

People Whose Research Programmes I May Need To Understand

Notes on the “late binding” of Virtual Memory, etc.

Unix Commitments, Formalised (part 2)

Unix Commitments, formalised (part 1)

The Unix Binary wants to be a Smalltalk Method, Not an Object

The Commitments-As-Contracts School of PL Philosophy

Challenge: Derive a 3D Rotation Calculus Without Magic Tricks