Antithesis
@antithesis.com
If there's one approach to reliability that seems even harder than DST, it's probably formal verification. So Ankush Desai, Principal Scientist at Snowflake, is coming to #BugBash to demystify them!
There's a whole seminar on formal methods this year - early bird sales closing end of Jan!
There's a whole seminar on formal methods this year - early bird sales closing end of Jan!
January 26, 2026 at 7:42 PM
If there's one approach to reliability that seems even harder than DST, it's probably formal verification. So Ankush Desai, Principal Scientist at Snowflake, is coming to #BugBash to demystify them!
There's a whole seminar on formal methods this year - early bird sales closing end of Jan!
There's a whole seminar on formal methods this year - early bird sales closing end of Jan!
It wouldn't be #BugBash without some DST - so Chaitanya Bhandari from @tigerbeetle.com is coming to talk about protocol-aware deterministic simulation!
January 23, 2026 at 6:29 PM
It wouldn't be #BugBash without some DST - so Chaitanya Bhandari from @tigerbeetle.com is coming to talk about protocol-aware deterministic simulation!
6 speakers announced, 6 to go.
January 22, 2026 at 8:31 PM
6 speakers announced, 6 to go.
We're back on the #BugBash wagon (and you should be too!).
corwin, Google's uber tech lead for parallel file systems, is doing a rare talk on clustered file systems, getting performance from components not designed for it, and a long view of how visions of software reliability have evolved.
corwin, Google's uber tech lead for parallel file systems, is doing a rare talk on clustered file systems, getting performance from components not designed for it, and a long view of how visions of software reliability have evolved.
January 21, 2026 at 7:23 PM
We're back on the #BugBash wagon (and you should be too!).
corwin, Google's uber tech lead for parallel file systems, is doing a rare talk on clustered file systems, getting performance from components not designed for it, and a long view of how visions of software reliability have evolved.
corwin, Google's uber tech lead for parallel file systems, is doing a rare talk on clustered file systems, getting performance from components not designed for it, and a long view of how visions of software reliability have evolved.
Last week @akshayshah.org went on The Infra Pod, for a super, super conversation about all the reasons building software is hard today. Give it a listen!
Link below.
Link below.
January 20, 2026 at 4:40 PM
Last week @akshayshah.org went on The Infra Pod, for a super, super conversation about all the reasons building software is hard today. Give it a listen!
Link below.
Link below.
#BugBash is mostly about software reliability, but it's also about everything around that... This year, @debcha.bsky.social, Professor of Engineering at @olincollege.bsky.social, author of How Infrastructure Works, is coming to talk about how software and AI shape our world.
Early bird tix below!
Early bird tix below!
January 19, 2026 at 6:16 PM
#BugBash is mostly about software reliability, but it's also about everything around that... This year, @debcha.bsky.social, Professor of Engineering at @olincollege.bsky.social, author of How Infrastructure Works, is coming to talk about how software and AI shape our world.
Early bird tix below!
Early bird tix below!
This feed is just going to be full of #BugBash speaker announcements for a minute... today we're excited to share that @frankmcsherry.bsky.social CTO and Chief Scientist at @materialize.com awill be coming!
Registration link, and the paper in question, below.
Registration link, and the paper in question, below.
January 16, 2026 at 3:54 PM
This feed is just going to be full of #BugBash speaker announcements for a minute... today we're excited to share that @frankmcsherry.bsky.social CTO and Chief Scientist at @materialize.com awill be coming!
Registration link, and the paper in question, below.
Registration link, and the paper in question, below.
Speaker announcement no. 1 for #BugBash 2026!
First up, @palvaro.bsky.social
Peter Alvaro leads the Disorderly Labs research group at UCSC and he's an Amazon Scholar at Amazon. He's received more awards than we can list in one post.
Early bird rates while they last, registration link below!
First up, @palvaro.bsky.social
Peter Alvaro leads the Disorderly Labs research group at UCSC and he's an Amazon Scholar at Amazon. He's received more awards than we can list in one post.
Early bird rates while they last, registration link below!
January 15, 2026 at 5:23 PM
Speaker announcement no. 1 for #BugBash 2026!
First up, @palvaro.bsky.social
Peter Alvaro leads the Disorderly Labs research group at UCSC and he's an Amazon Scholar at Amazon. He's received more awards than we can list in one post.
Early bird rates while they last, registration link below!
First up, @palvaro.bsky.social
Peter Alvaro leads the Disorderly Labs research group at UCSC and he's an Amazon Scholar at Amazon. He's received more awards than we can list in one post.
Early bird rates while they last, registration link below!
Mia Shaker, Senior Software Engineer, talks about what it's like to work at Antithesis.
We’re hiring.
We’re hiring.
January 12, 2026 at 8:33 PM
Mia Shaker, Senior Software Engineer, talks about what it's like to work at Antithesis.
We’re hiring.
We’re hiring.
What’s it like to work on a product most software engineers think is science fiction?
Yusuf Van Gieson, Senior Software Engineer, talks about what it's like to work at Antithesis. We’re hiring.
Yusuf Van Gieson, Senior Software Engineer, talks about what it's like to work at Antithesis. We’re hiring.
January 6, 2026 at 10:37 PM
What’s it like to work on a product most software engineers think is science fiction?
Yusuf Van Gieson, Senior Software Engineer, talks about what it's like to work at Antithesis. We’re hiring.
Yusuf Van Gieson, Senior Software Engineer, talks about what it's like to work at Antithesis. We’re hiring.
Most developers take for granted that software's going to have bugs. But why?
A new perspective to start the new year. This was Will's opening talk at #BugBash last year - join us on April 22-24 for this year's edition!
Full links in the comments.
A new perspective to start the new year. This was Will's opening talk at #BugBash last year - join us on April 22-24 for this year's edition!
Full links in the comments.
January 5, 2026 at 9:53 PM
Most developers take for granted that software's going to have bugs. But why?
A new perspective to start the new year. This was Will's opening talk at #BugBash last year - join us on April 22-24 for this year's edition!
Full links in the comments.
A new perspective to start the new year. This was Will's opening talk at #BugBash last year - join us on April 22-24 for this year's edition!
Full links in the comments.
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!
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.
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.
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.
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!