Antithesis
@antithesis.com
Don't take it from us, part 2: Take it from @awscloud.bsky.social
December 19, 2025 at 5:34 PM
Don't take it from us, part 2: Take it from @awscloud.bsky.social
Don't take it from us, take it from @coderabbitai.bsky.social - they just published a study finding that PRs co-authored by AI have 1.7x more issues than those written by squishy carbon lifeforms.
December 18, 2025 at 3:45 PM
Don't take it from us, take it from @coderabbitai.bsky.social - they just published a study finding that PRs co-authored by AI have 1.7x more issues than those written by squishy carbon lifeforms.
Someone just asked us if we use our own instance of FoundationDB. Actually we use something much cooler - our own analytical tree database.
We built it in Rust, in just 9 months, and Richard Hart, the mastermind behind it, talked about how we did it in this talk at the #MonsterscaleSummit.
We built it in Rust, in just 9 months, and Richard Hart, the mastermind behind it, talked about how we did it in this talk at the #MonsterscaleSummit.
December 17, 2025 at 7:34 PM
Someone just asked us if we use our own instance of FoundationDB. Actually we use something much cooler - our own analytical tree database.
We built it in Rust, in just 9 months, and Richard Hart, the mastermind behind it, talked about how we did it in this talk at the #MonsterscaleSummit.
We built it in Rust, in just 9 months, and Richard Hart, the mastermind behind it, talked about how we did it in this talk at the #MonsterscaleSummit.
From global top 50 to "moving away completely" in 6 months. One solution is to have another, more intelligent system review the code the AI is writing...
December 15, 2025 at 6:46 PM
From global top 50 to "moving away completely" in 6 months. One solution is to have another, more intelligent system review the code the AI is writing...
By the way, he also just joined our engineering team. Welcome aboard David!
December 11, 2025 at 9:04 PM
By the way, he also just joined our engineering team. Welcome aboard David!
@drmaciver.bsky.social is the primary author of the world's most widely used property-based testing tool, the #Hypothesis library for #Python. On this episode of the #BugBash podcast, he chats with Akshay and Will about shrinking, context windows, and making testing tools usable. Full links below.
December 11, 2025 at 9:03 PM
@drmaciver.bsky.social is the primary author of the world's most widely used property-based testing tool, the #Hypothesis library for #Python. On this episode of the #BugBash podcast, he chats with Akshay and Will about shrinking, context windows, and making testing tools usable. Full links below.
Thanks for a great conversation TBPN! A clip from Will's segment, making this felt like popping a VHS tape in the recorder. Link to the full segment below.
December 10, 2025 at 5:28 PM
Thanks for a great conversation TBPN! A clip from Will's segment, making this felt like popping a VHS tape in the recorder. Link to the full segment below.
A new #Jepsen report: we demonstrate data loss and persistent split-brain in the NATS streaming system, in response to simulated power failures/OS crashes.
https://jepsen.io/analyses/nats-2.12.1
https://jepsen.io/analyses/nats-2.12.1
Jepsen: NATS 2.12.1
jepsen.io
December 8, 2025 at 8:14 PM
Knowledge drain and maintainer/contributor burnout are so hard to measure, but so difficult for #OSS communities to address. We're glad etcd found a way here.
Learn how the etcd open source project overcame a significant knowledge drain and reliability issues by implementing deterministic simulation testing.
By @hjoslyn.bsky.social, thanks to @antithesis.com
By @hjoslyn.bsky.social, thanks to @antithesis.com
How etcd Solved Its Knowledge Drain With Deterministic Testing
Learn how the etcd open source project overcame a significant knowledge drain and reliability issues by implementing deterministic simulation testing.
bit.ly
December 8, 2025 at 2:09 PM
Knowledge drain and maintainer/contributor burnout are so hard to measure, but so difficult for #OSS communities to address. We're glad etcd found a way here.
We thought you only get this kind of treatment when you IPO!
Thanks NYSE!
Thanks NYSE!
December 5, 2025 at 9:26 PM
We thought you only get this kind of treatment when you IPO!
Thanks NYSE!
Thanks NYSE!
Customers often ask us for recommendations on how to test their systems, since this isn't the kind of thing that's taught in school (though it really should be!), so we just published our first testing tactics guide.
This one documents a simple test workload we call the “ring test.”
This one documents a simple test workload we call the “ring test.”
December 5, 2025 at 4:25 PM
Customers often ask us for recommendations on how to test their systems, since this isn't the kind of thing that's taught in school (though it really should be!), so we just published our first testing tactics guide.
This one documents a simple test workload we call the “ring test.”
This one documents a simple test workload we call the “ring test.”
How're real estate prices in SF, you ask?
Well, yesterday we raised a $105M Series A, AND we opened an SF office... coincidence? You decide.
Thanks to the #SFSystemsClub for inaugurating our new space with a high energy, standing-room-only event!
Well, yesterday we raised a $105M Series A, AND we opened an SF office... coincidence? You decide.
Thanks to the #SFSystemsClub for inaugurating our new space with a high energy, standing-room-only event!
December 4, 2025 at 5:44 PM
How're real estate prices in SF, you ask?
Well, yesterday we raised a $105M Series A, AND we opened an SF office... coincidence? You decide.
Thanks to the #SFSystemsClub for inaugurating our new space with a high energy, standing-room-only event!
Well, yesterday we raised a $105M Series A, AND we opened an SF office... coincidence? You decide.
Thanks to the #SFSystemsClub for inaugurating our new space with a high energy, standing-room-only event!
We just raised a $105M Series A, led by Jane Street.
They say a startup's customers are really its investors, but they don't usually mean it like this.
Here's to making deterministic simulation testing the normal way to validate software.
Some posts about it below.
They say a startup's customers are really its investors, but they don't usually mean it like this.
Here's to making deterministic simulation testing the normal way to validate software.
Some posts about it below.
December 3, 2025 at 2:55 PM
We just raised a $105M Series A, led by Jane Street.
They say a startup's customers are really its investors, but they don't usually mean it like this.
Here's to making deterministic simulation testing the normal way to validate software.
Some posts about it below.
They say a startup's customers are really its investors, but they don't usually mean it like this.
Here's to making deterministic simulation testing the normal way to validate software.
Some posts about it below.
If a debate breaks out at your dinner table, take a break and listen to @rohan.padhye.org share how two camps that have long misunderstood each other - industry and academia - can learn from each other instead.
This latest ep of the #BugBash podcast is live now, whereever you get your podcasts.
This latest ep of the #BugBash podcast is live now, whereever you get your podcasts.
November 26, 2025 at 7:09 PM
If a debate breaks out at your dinner table, take a break and listen to @rohan.padhye.org share how two camps that have long misunderstood each other - industry and academia - can learn from each other instead.
This latest ep of the #BugBash podcast is live now, whereever you get your podcasts.
This latest ep of the #BugBash podcast is live now, whereever you get your podcasts.
Sometimes people ask us what bugs cost. In this case, the answer seems to be: 40 weeks of engineer time, per quarter, at google salaries. But hey, this was a great read!
lalitm.com/fixits-are-g...
lalitm.com/fixits-are-g...
We stopped roadmap work for a week and fixed 189 bugs
Discussed on Hacker News, lobste.rs and r/programming
It’s Friday at 4pm. I’ve just closed my 12th bug of the week. My brain is completely fried. And I’m staring at the bug leaderboard, genuinely sad ...
lalitm.com
November 25, 2025 at 7:09 PM
Sometimes people ask us what bugs cost. In this case, the answer seems to be: 40 weeks of engineer time, per quarter, at google salaries. But hey, this was a great read!
lalitm.com/fixits-are-g...
lalitm.com/fixits-are-g...
We absolutely cannot wait for @wickstrom.tech to turn our foundational technology loose on a bunch of UIs.
UPDATE:
After 18 months of sitting out a noncompete, I'm finally back working on generative testing. Not only that, I'm joining @antithesis.com next week, and I can't wait to build testing technology with such a deeply technical and committed group.
Everything in its right place.
After 18 months of sitting out a noncompete, I'm finally back working on generative testing. Not only that, I'm joining @antithesis.com next week, and I can't wait to build testing technology with such a deeply technical and committed group.
Everything in its right place.
November 24, 2025 at 2:36 PM
We absolutely cannot wait for @wickstrom.tech to turn our foundational technology loose on a bunch of UIs.
The latest episode of the #BugBash podcast has @qianli.dev from DBOS talking about the hard truths of ergonomics. As always, if it ain't easy, it probably won't happen.
Full episode links below.
Full episode links below.
November 20, 2025 at 9:47 PM
The latest episode of the #BugBash podcast has @qianli.dev from DBOS talking about the hard truths of ergonomics. As always, if it ain't easy, it probably won't happen.
Full episode links below.
Full episode links below.
A pocket primer on deterministic simulation testing in a single tweet. Maybe twitter shouldn't have removed the length limits?
All the same, absolutely worth a read!
x.com/itunpredicta...
All the same, absolutely worth a read!
x.com/itunpredicta...
sisyphus bar and grill on X: "The most interesting thing going on outside of AI today is Deterministic Simulation Testing. Among systems/infra people this is well understood to be a major technological shift; it's how FoundationDB and @TigerBeetleDB short-cutted the usual 10 year DB buildout. The basic idea" / X
The most interesting thing going on outside of AI today is Deterministic Simulation Testing. Among systems/infra people this is well understood to be a major technological shift; it's how FoundationDB and @TigerBeetleDB short-cutted the usual 10 year DB buildout. The basic idea
x.com
November 18, 2025 at 5:03 PM
A pocket primer on deterministic simulation testing in a single tweet. Maybe twitter shouldn't have removed the length limits?
All the same, absolutely worth a read!
x.com/itunpredicta...
All the same, absolutely worth a read!
x.com/itunpredicta...
Couldn't agree more. And with more and more of our time spent specifying software anyway as we start working with LLM copilots, there's a natural dovetailing of approaches.
Property-based testing to me feels like a really good point in the testing/formal methods design space. PBT is rigorous in the sense that you're writing a spec of some kind, while being easy to understand and not having much of the chaotic behavior that characterizes heavyweight formal methods
November 18, 2025 at 2:31 PM
Couldn't agree more. And with more and more of our time spent specifying software anyway as we start working with LLM copilots, there's a natural dovetailing of approaches.
What a #kubecon, what a week!
In case you missed it, we announced a partnership with the @cncf.bsky.social to ensure that the open source software that the world depends on stays dependable. Watch the announcement below!
In case you missed it, we announced a partnership with the @cncf.bsky.social to ensure that the open source software that the world depends on stays dependable. Watch the announcement below!
November 17, 2025 at 5:32 PM
What a #kubecon, what a week!
In case you missed it, we announced a partnership with the @cncf.bsky.social to ensure that the open source software that the world depends on stays dependable. Watch the announcement below!
In case you missed it, we announced a partnership with the @cncf.bsky.social to ensure that the open source software that the world depends on stays dependable. Watch the announcement below!
Today our CEO, Will Wilson, announced a partnership with
@cncf.bsky.social to provide free reliability testing for Graduated and Incubating projects. Stop by booth 457 to learn more!
@cncf.bsky.social to provide free reliability testing for Graduated and Incubating projects. Stop by booth 457 to learn more!
November 11, 2025 at 5:35 PM
Today our CEO, Will Wilson, announced a partnership with
@cncf.bsky.social to provide free reliability testing for Graduated and Incubating projects. Stop by booth 457 to learn more!
@cncf.bsky.social to provide free reliability testing for Graduated and Incubating projects. Stop by booth 457 to learn more!
Hullo #Kubecon! Drop by and see us at booth 457 and enter our raffle to win this out-of-print NES Lego set!
Perfect for filling the hours when you're waiting for your handwritten integration tests to run.
Perfect for filling the hours when you're waiting for your handwritten integration tests to run.
November 11, 2025 at 2:48 PM
Hullo #Kubecon! Drop by and see us at booth 457 and enter our raffle to win this out-of-print NES Lego set!
Perfect for filling the hours when you're waiting for your handwritten integration tests to run.
Perfect for filling the hours when you're waiting for your handwritten integration tests to run.
And if you're in the EU, come see us at #WebsummitLisbon (Booth 0402-48)! Max Jacobson is giving a keynote on the Developer Stage on Tuesday, and we'll have some awesome new continent-appropriate swag, perfect for the next football match where you just want both teams to deliver bug free software.
November 10, 2025 at 4:44 PM
And if you're in the EU, come see us at #WebsummitLisbon (Booth 0402-48)! Max Jacobson is giving a keynote on the Developer Stage on Tuesday, and we'll have some awesome new continent-appropriate swag, perfect for the next football match where you just want both teams to deliver bug free software.
Hullo #Kubecon! We'll be at booth 457, talking about Nintendo games and the great work the @etcd team did with Antithesis this year. We'll have a few surprises we're keeping mum about for now, but we're proud to wear our love for open source distributed systems infrastructure on our sleeve!
November 10, 2025 at 4:43 PM
Hullo #Kubecon! We'll be at booth 457, talking about Nintendo games and the great work the @etcd team did with Antithesis this year. We'll have a few surprises we're keeping mum about for now, but we're proud to wear our love for open source distributed systems infrastructure on our sleeve!