The BugBash Podcast
Hosted by David Wynn and Carl Sverre · Antithesis
5.0from 15 ratings
- 29
- Episodes
- 16
- Transcribed
- 15
- Ratings
- Weekly
- Cadence
- 2025
- First episode
About The BugBash Podcast
The BugBash podcast is a lively look at all aspects of software reliability, by enthusiasts, for everyone. Each episode brings leading engineers and researchers together for deep dives on everything from formal methods to testing to observability to human factors. There’s concrete advice on best practices, and nuanced discussion of how these strategies combine to deliver software that works. And if you’re enjoying these conversations, check out the talks from BugBash 2025 on YouTube, and join us at BugBash 2026 on April 23-24, 2026, in Washington DC!
- Publisher
- Antithesis
- Category
- technology
- Language
- en
- Explicit
- No
- First episode
- 23 Jul 2025
- Latest episode
- 7 Oct 2026
Latest episodes
16 of 29 episodes have a transcript.
7 Oct 2026TRANSCRIPT
Retrofitting Proofs onto Existing Rust Codebases
1 Oct 2026TRANSCRIPT
Beyond Academic Proof: Scaling Provable Correctness in Production
24 Sept 2026TRANSCRIPT
Stop Talking About Formal Methods
Inside a recent episode
Retrofitting Proofs onto Existing Rust Codebases
Published 7 Oct 2026 · Transcript excerpt
[…] And so it does not look like a separate syntax in that case. In fact, we've had Rust projects that were written originally in Rust. They are written in Rust and without verification in mind. And we wanted to then prove properties about it, adding verifications afterward. So we just added these attributes. So we didn't change the code at all. Well, We often have to change the code because the process of verifying with Verus uncovers bugs. So we have a separate PR where we say, oh, we've discovered this bug, fixed the executable code. And then once those PRs land, then we have the check-in that just adds the Verus annotation. […]
Read the full transcript with a Pod Engine plan.
See plansWho has been a guest on The BugBash Podcast
Names identified in recent episode analyses. Showing up to five guests.
- Jay Lorch
- Chris Hawblitzel
- Shuxian Wang
- Ram Alagappan
- Aishwarya Ganesan
Reach and audience
Public platform figures. Ratings count people who left a rating, not total listeners.
- Apple Podcasts (US)
- 5.0 / 5
- 7 ratings
- Spotify
- 5.0 / 5
- 8 ratings
Contact The BugBash Podcast
- Guest appearances
- Books guests
Based on episode analysis; this does not confirm that the show is currently accepting guests.
Shows with a similar audience
Questions about The BugBash Podcast
Who hosts The BugBash Podcast?
David Wynn and Carl Sverre host the show. Published by Antithesis.
How often do new episodes come out?
The show publishes weekly, based on its RSS feed.
Does The BugBash Podcast take guests?
Yes. Guests have been identified in episode analyses.
Where can I read transcripts?
16 of 29 episodes have a transcript on Pod Engine. Full transcripts are available with a Pod Engine plan.
Host of The BugBash Podcast?
Claim your podcast to manage its listing and keep your show details accurate.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show
Podcast research with Pod Engine