Essays

• 2026 · 05 How to write safety critical code
• 2026 · 03 On staying a beginner
• 2026 · 02 Designing for uncertainty
• 2026 · 01 How I take notes