anchor.fm
<![CDATA[The BugBash Podcast]]><![CDATA[Stop Talking About Formal Methods]]><![CDATA[An Oceanographer Talks About Scientific Rigor in Software Engineering]]><![CDATA[Virtual Time on a Deadline: Building an Open-Source Deterministic Hypervisor]]><![CDATA[Replication Before Raft: 15 Years of Correctness at MongoDB]]><![CDATA[The People Behind the Hamsters and Other Stories of Downtime]]><![CDATA[From 18 months to 6: High-velocity database engineering]]><![CDATA[A Wild Hypothesis: The Python Library that Kills PhDs]]><![CDATA[Dev in the Street]]><![CDATA[Why simple workloads find the hardest bugs]]><![CDATA[Programming as an Act of Building Vocabulary]]><![CDATA[The Dollar Bet that Fuzzed Figma: Exploding Laptops and UI Reliability with Jonathan Chan]]><![CDATA[Semmathesy and the Agentic Era: Learning Systems in 2026]]><![CDATA[From Scale to Rigor: An Engineering Journey at Meta and Oxide]]><![CDATA[Escaping the Spaghetti: How to Test Untestable Codebases]]><![CDATA[How rr Became a Protected Species: A Story of Necessary Hacks]]><![CDATA[Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage]]><![CDATA[Hypothesis vs. Hallucinations: Property Testing AI-Generated Code]]><![CDATA[From the Lab to Production: Making Cutting-Edge Testing Practical]]><![CDATA[Ergonomics, reliability, durability]]><![CDATA[No actually, you can property test your UI]]><![CDATA[Slow down to go fast: TDD in the age of AI with Clare Sudbery]]><![CDATA[Fixing five "two-year" bugs per day]]><![CDATA[No really, some bugs aren’t real]]><![CDATA[Every map is wrong, but we made one anyway]]><![CDATA[Fail loudly, fail fast, fail in production]]><![CDATA[Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS]]><![CDATA[FoundationDB: From Idea to Apple Acquisition]]>
Today, we're joined by Anjana Rajan and Jonathan Ring, co-founders of Atalanta, to explore how they are bridging the software understanding gap.
