Articles, Talks, Customer Stories, & more...
Apr 21, 2026
Antithesis report: Tigris Data
Apr 16, 2026
What are skiplists good for?
Ep. 19Apr 8, 2026
Why simple workloads find the hardest bugs
Ep. 18Apr 2, 2026
Programming as an Act of Building Vocabulary
Apr 1, 2026
He thinks AI code may break everything
Ep. 17Mar 25, 2026
The Dollar Bet that Fuzzed Figma: Exploding Laptops and UI Reliability with Jonathan Chan
Mar 25, 2026
Antithesis skills for agents
Mar 24, 2026
Hypothesis, Antithesis, synthesis
Ep. 16Mar 18, 2026
Symmathesy and the Agentic Era: Learning Systems in 2026
Mar 18, 2026
A declarative restoration
Ep. 15Mar 11, 2026
From Scale to Rigor: An Engineering Journey at Meta and Oxide
Mar 6, 2026
A fighting retreat
Ep. 14Mar 4, 2026
Escaping the Spaghetti: How to Test Untestable Codebases
Feb 26, 2026
Formal methods for the unsafe side of the Force
Ep. 13Feb 25, 2026
How rr Became a Protected Species: A Story of Necessary Hacks
Feb 19, 2026
Catching a caching bug at Readyset
Ep. 12Feb 18, 2026
Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage
Jan 29, 2026
How we interfaced single-threaded C++ with multi-threaded Rust
Ep. 11Dec 10, 2025
Hypothesis vs. hallucinations: Property testing AI-generated code
Dec 3, 2025
When your customer leads your Series A
Dec 1, 2025
Testing a single-node, single threaded, distributed system written in 1985
Ep. 10Nov 26, 2025
From the Lab to Production: Making Cutting-Edge Testing Practical
Ep. 9Nov 12, 2025
Ergonomics, reliability, durability
Nov 5, 2025
Antithesis launches Kubernetes support
Oct 31, 2025
They don't even have eyes
Ep. 8Oct 30, 2025
No actually, you can property test your UI
Oct 16, 2025
Antithesis and the open source community
Ep. 7Oct 15, 2025
Slow down to go fast: TDD in the age of AI with Clare Sudbery
Oct 15, 2025
Did you get lucky or unlucky?
Ep. 6Oct 1, 2025
Fixing five "two-year" bugs per day
Sep 19, 2025
Obscure feature + obscure feature + obscure feature = bug
Ep. 5Sep 18, 2025
No really, some bugs aren't real
Ep. 4Sep 3, 2025
Every map is wrong, but we made one anyway
Aug 22, 2025
Observability at scale
Aug 22, 2025
Optimizing our way through Metroid
Ep. 3Aug 20, 2025
Fail loudly, fail fast, fail in production
Aug 8, 2025
Reliability on the road
Ep. 2Aug 6, 2025
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
Jul 28, 2025
Finding the cracks
Ep. 1Jul 25, 2025
FoundationDB: from idea to Apple acquisition
Jul 23, 2025
What does AI testing done right look like?
Jul 2, 2025
Pre-observability
Jul 1, 2025
Why software keeps breaking and why AI isn't the shortcut
Jul 1, 2025
Experiences with Semi Formal Proofs
Jun 26, 2025
It's not recklessness, it's science
Jun 26, 2025
Testing 2.0 The Paradigm Shift to Full System Simulations
Jun 19, 2025
The soda war of software
Jun 13, 2025
Property Based Testing (PBT) Masterclass
Jun 6, 2025
Make the computers work
May 30, 2025
Nothing's untestable
May 23, 2025
Thinking has no replacement
May 22, 2025
Fix the new things first!
May 22, 2025
Finding a way to make on-call better
May 18, 2025
Adoption is a social problem
May 12, 2025
The pragmatic magic of semi-formal methods
May 1, 2025
How Antithesis lets Clément Salaün of Formance sleep soundly at night
Apr 30, 2025
Antithesis for founders
Apr 2, 2025
No power, no programs
Mar 27, 2025
Our own worst best customer
Mar 18, 2025
Hunting for one-in-a-million bugs in NATS
Feb 21, 2025
Depth is all you need: how Antithesis crushes Gradius
Feb 13, 2025
How to make your own luck
Feb 10, 2025
How much did Sony’s recent PlayStation Network outage cost?
Jan 16, 2025
An interview with Mark Logan, Tech Lead for Sui Core
Nov 20, 2024
Rolling for our new initiative: Test Composer
Nov 13, 2024
Introducing our reactive Notebook: the paradigm devs deserve.
Nov 5, 2024
Your computer can test better than you (and that's a good thing)
Sep 20, 2024
Crushing Castlevania with Antithesis
Sep 16, 2024
We gave $186,000 to the open source community
Sep 10, 2024
Debugging in the Multiverse
Aug 20, 2024
In the labyrinth of unknown unknowns
Aug 20, 2024
Software reliability, part 1: What is property-based testing?
Aug 6, 2024
The Testing Pyramid is upside-down
Jul 10, 2024
At the Mountains of Madness
Jun 18, 2024
An ounce of prevention is worth a pound of cure
Jun 3, 2024
Solving Zelda with the Antithesis SDK
May 21, 2024
The worst bug we faced at Antithesis
May 9, 2024
From zero to first bug
Apr 22, 2024
Working with Antithesis at MongoDB
Apr 17, 2024
How Antithesis finds bugs (with help from the Super Mario Bros.)
Apr 1, 2024
Antithesis announces Artificial General 8-bit Intelligence (AG8I)
Mar 20, 2024
So you think you want to write a deterministic hypervisor?
Feb 28, 2024
Announcing the Antithesis Open Source Giveaway Program
Feb 13, 2024