Articles, talks, stories, & more
Read, watch, and learn.
Everything Antithesis.
Your agent can now ship reliable distributed systems
Testing Datadog's Next-Generation Event Platform Intake with Antithesis
Why we taught agents to break distributed safety properties
Free log storage with a time machine
S3 · Ep. 4
Replication Before Raft: 15 Years of Correctness at MongoDB
S3 · Ep. 3
The People Behind the Hamsters and Other Stories of Downtime
S3 · Ep. 2
From 18 months to 6: High-velocity database engineering
Ways research teams fail
Breaking the WAL
S3 · Ep. 1
A Wild Hypothesis: The Python Library that Kills PhDs
Introduction to property-based testing
Finding bugs in Raft implementations
Bug Bash is coming to Europe!
My quest to see all of Tetris
Issue 000
Steel, Rust, and truth
Behaviors as the backbone of software correctness
Building confidence in an always-in-motion distributed streaming system
Gary Marcus in conversation with Will Wilson
Why do so few buildings fall down?
Making high performance storage boring
Fast and fault-tolerant: pick two
Protocol-aware deterministic simulation testing
Now more than ever: building reliable software in the age of agents
Informal methods
From dams to data: how to think about infrastructure
Where all the ladders start
We won, what now?
When did the bug start?
Antithesis report: Tigris Data
What are skiplists good for?
Keeping the cloud afloat with deterministic simulation testing
S2 · Ep. 8
Why simple workloads find the hardest bugs
S2 · Ep. 7
Programming as an Act of Building Vocabulary
He thinks AI code may break everything
Antithesis skills for agents
S2 · Ep. 6
The Dollar Bet that Fuzzed Figma
Hypothesis, Antithesis, synthesis
A declarative restoration
S2 · Ep. 5
Symmathesy and the Agentic Era: Learning Systems in 2026
S2 · Ep. 4
From Scale to Rigor: An Engineering Journey at Meta and Oxide
A fighting retreat
S2 · Ep. 3
Escaping the Spaghetti: How to Test Untestable Codebases
Formal methods for the unsafe side of the Force
S2 · Ep. 2
How rr Became a Protected Species: A Story of Necessary Hacks
Catching a caching bug at Readyset
S2 · Ep. 1
Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage
How we interfaced single-threaded C++ with multi-threaded Rust
S1 · Ep. 11
Hypothesis vs. hallucinations: Property testing AI-generated code
When your customer leads your Series A
Testing a single-node, single threaded, distributed system written in 1985
S1 · Ep. 10
From the Lab to Production: Making Cutting-Edge Testing Practical
S1 · Ep. 9
Ergonomics, reliability, durability
Antithesis launches Kubernetes support
They don't even have eyes
S1 · Ep. 8
No actually, you can property test your UI
Antithesis and the open source community
Did you get lucky or unlucky?
S1 · Ep. 7
Slow down to go fast: TDD in the age of AI with Clare Sudbery
S1 · Ep. 6
Fixing five "two-year" bugs per day
Obscure feature + obscure feature + obscure feature = bug
S1 · Ep. 5
No really, some bugs aren't real
S1 · Ep. 4
Every map is wrong, but we made one anyway
Optimizing our way through Metroid
Observability at scale
S1 · Ep. 3
Fail loudly, fail fast, fail in production
Reliability on the road
S1 · Ep. 2
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
Finding the cracks
S1 · Ep. 1
FoundationDB: from idea to Apple acquisition
What does AI testing done right look like?
Pre-observability
Why software keeps breaking and why AI isn't the shortcut
Testing 2.0 The Paradigm Shift to Full System Simulations
It's not recklessness, it's science
The soda war of software
Property Based Testing (PBT) Masterclass
Make the computers work
Nothing's untestable
Thinking has no replacement
Fix the new things first!
Finding a way to make on-call better
Adoption is a social problem
The pragmatic magic of semi-formal methods
How Antithesis lets Clément Salaün of Formance sleep soundly at night
Antithesis for founders
No power, no programs
Our own worst best customer
Hunting for one-in-a-million bugs in NATS
Depth is all you need: how Antithesis crushes Gradius
How to make your own luck
How much did Sony’s recent PlayStation Network outage cost?
An interview with Mark Logan, Tech Lead for Sui Core
Rolling for our new initiative: Test Composer
Introducing our reactive Notebook: the paradigm devs deserve.
Your computer can test better than you (and that's a good thing)
Crushing Castlevania with Antithesis
We gave $186,000 to the open source community
Debugging in the Multiverse
Software reliability, part 1: What is property-based testing?
In the labyrinth of unknown unknowns
The Testing Pyramid is upside-down
At the Mountains of Madness
An ounce of prevention is worth a pound of cure
Solving Zelda with the Antithesis SDK
The worst bug we faced at Antithesis
From zero to first bug
Working with Antithesis at MongoDB
How Antithesis finds bugs (with help from the Super Mario Bros.)
Antithesis announces Artificial General 8-bit Intelligence (AG8I)
So you think you want to write a deterministic hypervisor?
Announcing the Antithesis Open Source Giveaway Program
Testing the Ethereum merge
Accelerating developers at MongoDB
Is something bugging you?
get started
Velocity and verification. Finally, both.
Talk with one of our product experts to see how Antithesis can help you ship confidently, no matter who’s writing your code.