The Curious Engineer

All blogs / Distributed systems / cloud

Antithesis blog

antithesis.com

Articles, talks, podcasts, and more from the Antithesis team — on testing, debugging, distributed systems, and building reliable software.

Distributed systems / cloudTesting / QASoftware / engineering practice

’24’25’26
Posts
111 from 13 Feb 2024 to 30 Oct 2026
Posting
weekly (37 in the last year)
Kind
company blog
Feed
https://antithesis.com/blog/rss.xml

2026 29

  1. Why Antithesis?
  2. Your agent can now ship reliable distributed systems
  3. S3 · Ep. 4PodcastSep 2, 2026Replication Before Raft: 15 Years of Correctness at MongoDB
  4. Testing Datadog's Next-Generation Event Platform Intake with Antithesis
  5. Why we taught agents to break distributed safety properties
  6. Free log storage with a time machine
  7. Ways research teams fail
  8. Breaking the WAL
  9. Finding bugs in Raft implementations
  10. Bug Bash is coming to Europe!
  11. My quest to see all of Tetris
  12. When did the bug start?
  13. Antithesis report: Tigris Data
  14. What are skiplists good for?
  15. Keeping the cloud afloat with deterministic simulation testing
  16. Antithesis skills for agents
  17. Hypothesis, Antithesis, synthesis
  18. Bug Bash talksMay 18, 2025Adoption is a social problem
  19. A declarative restoration
  20. Bug Bash talksMay 23, 2025Thinking has no replacement
  21. A fighting retreat
  22. Bug Bash talksMay 30, 2025Nothing's untestable
  23. Bug Bash talksJun 6, 2025Make the computers work
  24. Formal methods for the unsafe side of the Force
  25. Bug Bash talksJun 19, 2025The soda war of software
  26. Bug Bash talksJun 26, 2025It's not recklessness, it's science
  27. Catching a caching bug at Readyset
  28. How we interfaced single-threaded C++ with multi-threaded Rust
  29. S1 · Ep. 1PodcastJul 25, 2025FoundationDB: from idea to Apple acquisition

2025 48

  1. Bug Bash talksJul 28, 2025Finding the cracks
  2. When your customer leads your Series A
  3. S1 · Ep. 2PodcastAug 6, 2025Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
  4. Bug Bash talksAug 8, 2025Reliability on the road
  5. S1 · Ep. 3PodcastAug 20, 2025Fail loudly, fail fast, fail in production
  6. Bug Bash talksAug 22, 2025Observability at scale
  7. Antithesis launches Kubernetes support
  8. They don't even have eyes
  9. S1 · Ep. 4PodcastSep 3, 2025Every map is wrong, but we made one anyway
  10. S1 · Ep. 5PodcastSep 18, 2025No really, some bugs aren't real
  11. Antithesis and the open source community
  12. Did you get lucky or unlucky?
  13. S1 · Ep. 7PodcastOct 15, 2025Slow down to go fast: TDD in the age of AI with Clare Sudbery
  14. S1 · Ep. 6PodcastOct 1, 2025Fixing five "two-year" bugs per day
  15. Obscure feature + obscure feature + obscure feature = bug
  16. S1 · Ep. 8PodcastOct 30, 2025No actually, you can property test your UI
  17. Optimizing our way through Metroid
  18. S1 · Ep. 9PodcastNov 12, 2025Ergonomics, reliability, durability
  19. S1 · Ep. 10PodcastNov 26, 2025From the Lab to Production: Making Cutting-Edge Testing Practical
  20. S1 · Ep. 11PodcastDec 10, 2025Hypothesis vs. hallucinations: Property testing AI-generated code
  21. S2 · Ep. 1PodcastFeb 18, 2026Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage
  22. What does AI testing done right look like?
  23. Pre-observability
  24. S2 · Ep. 2PodcastFeb 25, 2026How rr Became a Protected Species: A Story of Necessary Hacks
  25. S2 · Ep. 3PodcastMar 4, 2026Escaping the Spaghetti: How to Test Untestable Codebases
  26. S2 · Ep. 4PodcastMar 11, 2026From Scale to Rigor: An Engineering Journey at Meta and Oxide
  27. S2 · Ep. 5PodcastMar 18, 2026Symmathesy and the Agentic Era: Learning Systems in 2026
  28. S2 · Ep. 6PodcastMar 25, 2026The Dollar Bet that Fuzzed Figma
  29. Fix the new things first!
  30. Finding a way to make on-call better
  31. S2 · Ep. 7PodcastApr 2, 2026Programming as an Act of Building Vocabulary
  32. S2 · Ep. 8PodcastApr 8, 2026Why simple workloads find the hardest bugs
  33. The pragmatic magic of semi-formal methods
  34. How Antithesis lets Clément Salaün of Formance sleep soundly at night
  35. Antithesis for founders
  36. No power, no programs
  37. Our own ~~worst~~ best customer
  38. Bug Bash talksMay 13, 2026We won, what now?
  39. Hunting for one-in-a-million bugs in NATS
  40. Bug Bash talksMay 13, 2026Where all the ladders start
  41. Depth is all you need: how Antithesis crushes Gradius
  42. Bug Bash talksMay 13, 2026From dams to data: how to think about infrastructure
  43. How to make your own luck
  44. Bug Bash talksMay 13, 2026Informal methods
  45. How much did Sony’s recent PlayStation Network outage cost?
  46. Bug Bash talksMay 13, 2026Now more than ever: building reliable software in the age of agents
  47. An interview with Mark Logan, Tech Lead for Sui Core
  48. Bug Bash talksMay 13, 2026Protocol-aware deterministic simulation testing

2024 34

  1. Rolling for our new initiative: Test Composer
  2. Bug Bash talksMay 13, 2026Fast and fault-tolerant: pick two
  3. Introducing our reactive Notebook: the paradigm devs deserve.
  4. Bug Bash talksMay 13, 2026Making high performance storage boring
  5. Your computer can test better than you (and that's a good thing)
  6. Bug Bash talksMay 13, 2026Why do so few buildings fall down?
  7. Crushing Castlevania with Antithesis
  8. Bug Bash talksMay 13, 2026Gary Marcus in conversation with Will Wilson
  9. We gave $186,000 to the open source community
  10. Bug Bash talksMay 13, 2026Building confidence in an always-in-motion distributed streaming system
  11. Debugging in the Multiverse
  12. Bug Bash talksMay 13, 2026Behaviors as the backbone of software correctness
  13. Software reliability, part 1: What is property-based testing?
  14. In the labyrinth of unknown unknowns
  15. NewsletterJun 23, 2026Issue 000
  16. Bug Bash talksMay 13, 2026Steel, Rust, and truth
  17. The Testing Pyramid is upside-down
  18. At the Mountains of Madness
  19. An ounce of prevention is worth a pound of cure
  20. Solving Zelda with the Antithesis SDK
  21. ResourcesAug 10, 2026Introduction to property-based testing
  22. The worst bug we faced at Antithesis
  23. S3 · Ep. 1PodcastAug 12, 2026A Wild Hypothesis: The Python Library that Kills PhDs
  24. From zero to first bug
  25. Working with Antithesis at MongoDB
  26. How Antithesis finds bugs (with help from the Super Mario Bros.)
  27. S3 · Ep. 2PodcastAug 19, 2026From 18 months to 6: High-velocity database engineering
  28. Antithesis announces Artificial General 8-bit Intelligence (AG8I)
  29. S3 · Ep. 3PodcastAug 26, 2026The People Behind the Hamsters and Other Stories of Downtime
  30. So you think you want to write a deterministic hypervisor?
  31. Announcing the Antithesis Open Source Giveaway Program
  32. Testing the Ethereum merge
  33. Accelerating developers at MongoDB
  34. Is something bugging you?