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!
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!
This is going to be such a good time. Garbage Free Reference Counting and Epidemic Algorithms!
If you run a technical meetup in the Bay Area and are looking for space to meet, hit us up!
If you run a technical meetup in the Bay Area and are looking for space to meet, hit us up!
RSVP on Meetup: www.meetup.com/papers-we-lo...
Big thanks to @antithesis.com for sponsoring the meetup - after getting to know everyone there, I can't think of a company that loves papers more ❤️
Big thanks to @antithesis.com for sponsoring the meetup - after getting to know everyone there, I can't think of a company that loves papers more ❤️
January 14, 2026 at 10:18 PM
This is going to be such a good time. Garbage Free Reference Counting and Epidemic Algorithms!
If you run a technical meetup in the Bay Area and are looking for space to meet, hit us up!
If you run a technical meetup in the Bay Area and are looking for space to meet, hit us up!
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.
If you're starting the year by learning a new skill, say, "writing software that doesn't fall down", a dist-sys reliability glossary, primers on testing approaches, and testing strategies for complex systems, are available and free to access on our resources page.
We hope you find them useful!
We hope you find them useful!
January 8, 2026 at 10:22 PM
If you're starting the year by learning a new skill, say, "writing software that doesn't fall down", a dist-sys reliability glossary, primers on testing approaches, and testing strategies for complex systems, are available and free to access on our resources page.
We hope you find them useful!
We hope you find them useful!
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!
@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!