Random notesnotes/index.typProgramming
Automergenotes/2026-03-05-automerge.typAI usagenotes/ai/index.typFormal methods
Conjecture: Inductive invariants are a symmetry reductionnotes/2026-10-12-model-checking-symmetric-invariants.typHobbies
Tapestry Lawnsnotes/2026-02-25-tapestry-lawns.typWood panel glue upsnotes/2026-02-25-panel-glue-ups.typBadmin things
USA taxesnotes/2026-03-02-usa-taxes.typUK insurancenotes/2026-03-02-uk-insurance.typBacklinksindex.typ