• 05 May, 2026 BugBash 2026, or how the correctness decade has started
• 11 Aug, 2025 Two Podcast Episodes on Topics Developers Rarely Talk About