GIỚI THIỆU VỀ PODCAST NÀY 🔗
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!
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!
Tần suất cập nhật:
weekly
Độ dài âm thanh trung bình:
53 minutes
Phỏng vấn khách mời
Tiếng Anh
Hoa Kỳ
29 tập
kể từ Ngày 23 tháng 7 năm 2025
episodic
TẬP MỚI NHẤT 🔗
In this episode we sit down with Jay Lorch and Chris Hawblitzel from Microsoft Research, along with Sr Engineer Shuxian Wang from Antithesis, all to talk about Verus.
We break down how to retrofit proofs onto code you have already shipped, without starting over from scratch.
Learn how modern SMT so…
TÌM KIẾM CÁC TẬP TRƯỚC
Tìm kiếm các tập trước của The BugBash Podcast.
TẬP TRƯỚC 🔗
Many elegant theoretical proofs exist for distributed systems, but local hardware and production realities rarely play by the rules.
Today, we're joined by UIUC professors Ram Alagappan and Aishwarya Ganesan, along with Antithesis Sr Engineer Michael Vaughn, to explore what it actually takes to bu…
For decades, formal methods were considered theoretical exercises locked in academic labs—too brittle, complicated, and expensive for most production software. But as vital systems and AI-driven infrastructure face ever greater challenges, just testing edge cases by hand is no longer enough.
Today…
Can thinking like an idealistic scientist make you a better developer?
In this episode, Deepak Cherian, oceanographer turned software engineer joins the show to discuss the massive data deluge facing scientists—and what’s being done to keep up.
Discover how Deepak’s team is building Ice Chunk to…
Building a deterministic hypervisor is an incredibly difficult feat of engineering. Doing it as a bachelor’s thesis in just four months is even more so.
In this episode, David Wynn sits down with Peter Graugaard and Nicholas Kristensen, the creators of Dhyv—an open-source deterministic hypervisor…
AI makes writing code faster, but shouldn’t it make software better, too?
Today, Jesse Jiryu Davis, Senior Staff Research Engineer at MongoDB joins Carl Sverre to discuss why the time saved by AI should be reinvested and not squandered. Jesse talks about MongoDB’s journey with formal verification –…
Behind every catastrophic system failure is a room full of stressed-out people trying to fix it. Launched in 2021, the Downtime Project was a podcast run by two seasoned distributed system engineers, who dissected post-mortems published after notable outages.
Today, those two engineers, Jamie Turn…
In this episode, Carl Sverre and David Wynn sit down with Philip O'Toole, creator of rqlite. We dive into his philosophy of using tests as a core design strategy, his tactical advice for turning AI agents into technical research assistants, and how leveraging AI tools compressed his typical 18-mont…
What happens when your open source library changes millions of lives?
In this episode, we sit down with David MacIver, Zac Hatfield-Dodds, and Liam DeVoe — three generations of maintainers of Hypothesis, the property-based testing library used by roughly 5% of all Python developers. It’s by orders …
In this episode of the Bug Bash podcast, host David Wynn shares a collection of conversations recorded at Bug Bash 2026. 11 developers share their war stories about the most interesting bugs they've encountered and resolved.
They talk about JDK issues on ARM architecture, kernel hangs related to NF…
Tuyên bố miễn trừ trách nhiệm: Podcast và tác phẩm nghệ thuật được nhúng trên trang này là của Antithesis, là tài sản của chủ sở hữu và không được liên kết hoặc xác nhận bởi Listen Notes, Inc.
CÔNG CỤ TÌM KIẾM PODCAST
Bạn có thể sử dụng trang web của chúng tôi để tìm kiếm các podcast3,821,679và các tập195,418,526theo người, địa điểm hoặc chủ đề.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
TÌM KIẾM CÁC TẬP TRƯỚC
Tìm kiếm các tập trước của The BugBash Podcast.
NHẬN PODCAST NÀY
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post quảng cáo rao vặt for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
phỏng vấn người làm podcast...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
tài khoản X chính thức của chúng tôi (trước đây là Twitter) will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
CHỈNH SỬA
Cảm ơn bạn đã giúp cơ sở dữ liệu podcast luôn cập nhật.
