• 05 May, 2026 BugBash 2026, or how the correctness decade has started
• 15 Jan, 2026 What I Tell Colleagues About Using LLMs for Engineering
• 19 Dec, 2025 Specs Are Back, But We're Missing the Tools