More The BugBash Podcast episodes
Published 18 Feb 2026
Duration: 01:20:22
Advances in distributed systems design are explored, including updates on object storage, the CAP theorem, and the role of AI in testing and verification.
Its been nine years since Designing Data-Intensive Applications became the standard text for distributed systems. Today, Martin Kleppmann and Chris Ri...
The podcast explores the evolution of distributed systems design, highlighting updates in the second edition of Designing Data Intensive Applications. It discusses modern shifts in system architecture, including the adoption of cloud-native object storage, a reevaluation of the CAP theorem, and the increasing role of AI in testing and software verification. The conversation addresses the practical implications of these changes, such as the relevance of strong consistency in contemporary systems and the use of formal methods and property-based testing to ensure software correctness.
Further topics include the challenges of applying formal proofs in industry settings, the potential of AI in generating test cases and content, and the importance of testing in building reliable software. The discussion also examines trade-offs between cloud computing and traditional infrastructure, the emergence of new database designs influenced by cloud-native principles, and the ongoing balance between theoretical rigor and practical application in software development.
25 Mar 2026 The Dollar Bet that Fuzzed Figma: Exploding Laptops and UI Reliability with Jonathan Chan
FuzzMap, a React UI stress-testing tool inspired by AFL, addresses challenges in state instrumentation, visualizing complex state machines, and efficiency trade-offs while exploring future directions like backend expansion, LLM integration, and concolic testing.
18 Mar 2026 Semmathesy and the Agentic Era: Learning Systems in 2026
AI reshapes software development through Semathesis systems, enhancing productivity and collaboration while navigating challenges like legacy code limitations, the shift from deterministic coding to adaptive AI agents, and balancing automation with human oversight in complex, dynamic environments.
11 Mar 2026 From Scale to Rigor: An Engineering Journey at Meta and Oxide
Software correctness and reliability are discussed in the context of transitioning data-driven environments to hardware systems, with a focus on property-based testing and formal methods.
4 Mar 2026 Escaping the Spaghetti: How to Test Untestable Codebases
Challenges in ensuring software reliability are explored, including unpredictable user behavior, legacy code modernization, and testing methodologies to uncover bugs and validate real-world interactions.
25 Feb 2026 How rr Became a Protected Species: A Story of Necessary Hacks
Researchers and developers discuss the evolution of the RR project, a debugging tool that originated as a research collaboration at Mozilla to enhance Firefox, and its transformation into a widely adopted utility.