Antithesis
@antithesis.com
We've lost count of how many copies of DDIA we've got around the office - new hires bring it in, old hires "adopt" copies... It's not quite our scripture, but it might be our verse.
February 18, 2026 at 6:05 PM
We've lost count of how many copies of DDIA we've got around the office - new hires bring it in, old hires "adopt" copies... It's not quite our scripture, but it might be our verse.
Someone asked what BugBash is about. This is what BugBash is about.
Early bird pricing ends today.
Early bird pricing ends today.
February 13, 2026 at 3:50 PM
Someone asked what BugBash is about. This is what BugBash is about.
Early bird pricing ends today.
Early bird pricing ends today.
DC Systems tomorrow!
We just uploaded a bunch of talks from DC Systems last year. Here's just one of Richard Hart's hot takes about systems programming.
Tomorrow, come hear @aaroneline.bsky.social talk about flow-directed closure conversion for typed languages.
We just uploaded a bunch of talks from DC Systems last year. Here's just one of Richard Hart's hot takes about systems programming.
Tomorrow, come hear @aaroneline.bsky.social talk about flow-directed closure conversion for typed languages.
February 9, 2026 at 6:38 PM
DC Systems tomorrow!
We just uploaded a bunch of talks from DC Systems last year. Here's just one of Richard Hart's hot takes about systems programming.
Tomorrow, come hear @aaroneline.bsky.social talk about flow-directed closure conversion for typed languages.
We just uploaded a bunch of talks from DC Systems last year. Here's just one of Richard Hart's hot takes about systems programming.
Tomorrow, come hear @aaroneline.bsky.social talk about flow-directed closure conversion for typed languages.
Set your alarms: the BugBash podcast returns next week for season 2 -- another 10 conversations about formal methods, database testing, observability, type safety, and more. Catch up on season 1 below.
Is there someone you'd love to see on the pod? Let us know in the comments!
Is there someone you'd love to see on the pod? Let us know in the comments!
February 4, 2026 at 7:17 PM
Set your alarms: the BugBash podcast returns next week for season 2 -- another 10 conversations about formal methods, database testing, observability, type safety, and more. Catch up on season 1 below.
Is there someone you'd love to see on the pod? Let us know in the comments!
Is there someone you'd love to see on the pod? Let us know in the comments!
#DCSystems returns for 2026!
We're starting the year with a special homage to one of our favorite meetups, @paperswelove.org
On Tuesday Feb 10, @aaroneline.bsky.social will present and lead a discussion of: Flow-Directed Closure Conversion for Typed Languages, by Cejtin, Jangannathan, & Weeks.
We're starting the year with a special homage to one of our favorite meetups, @paperswelove.org
On Tuesday Feb 10, @aaroneline.bsky.social will present and lead a discussion of: Flow-Directed Closure Conversion for Typed Languages, by Cejtin, Jangannathan, & Weeks.
February 2, 2026 at 5:24 PM
#DCSystems returns for 2026!
We're starting the year with a special homage to one of our favorite meetups, @paperswelove.org
On Tuesday Feb 10, @aaroneline.bsky.social will present and lead a discussion of: Flow-Directed Closure Conversion for Typed Languages, by Cejtin, Jangannathan, & Weeks.
We're starting the year with a special homage to one of our favorite meetups, @paperswelove.org
On Tuesday Feb 10, @aaroneline.bsky.social will present and lead a discussion of: Flow-Directed Closure Conversion for Typed Languages, by Cejtin, Jangannathan, & Weeks.
Closing out the week, and the mainstage speaker lineup for #BugBash 2026: Steve Klabnik, co-author of The Rust Programming Language, aka the greatest piece of software documentation ever written. 🦀 🦀 🦀
Early bird sales ending soon.
Early bird sales ending soon.
January 30, 2026 at 8:31 PM
Closing out the week, and the mainstage speaker lineup for #BugBash 2026: Steve Klabnik, co-author of The Rust Programming Language, aka the greatest piece of software documentation ever written. 🦀 🦀 🦀
Early bird sales ending soon.
Early bird sales ending soon.
One more #BugBash speaker announcement!
Matt Barrett, Co-founder & CEO at Adaptive, will be talking about the architecture and testing that go into their implementation of the Raft algorithm. It ain't easy, even if they make it look easy.
Tickets below.
Matt Barrett, Co-founder & CEO at Adaptive, will be talking about the architecture and testing that go into their implementation of the Raft algorithm. It ain't easy, even if they make it look easy.
Tickets below.
January 30, 2026 at 6:23 PM
One more #BugBash speaker announcement!
Matt Barrett, Co-founder & CEO at Adaptive, will be talking about the architecture and testing that go into their implementation of the Raft algorithm. It ain't easy, even if they make it look easy.
Tickets below.
Matt Barrett, Co-founder & CEO at Adaptive, will be talking about the architecture and testing that go into their implementation of the Raft algorithm. It ain't easy, even if they make it look easy.
Tickets below.
Last year Ben Eggers brought the house down with every SRE's favorite game of Guess the Impact -- sometimes he didn't even cause the incidents himself.
Coming back to #BugBash this year! Tickets and talk below.
Coming back to #BugBash this year! Tickets and talk below.
January 29, 2026 at 4:14 PM
Last year Ben Eggers brought the house down with every SRE's favorite game of Guess the Impact -- sometimes he didn't even cause the incidents himself.
Coming back to #BugBash this year! Tickets and talk below.
Coming back to #BugBash this year! Tickets and talk below.
Type-safe, type-unsafe, single-thread, multi-thread, getting Rust and C++ to work together on this project was like using crabs as gears. Michael Gibson and Shuxian Wang brought down the house at #RustUnconf this year with this story, and here it is on our blog. Link below.
January 29, 2026 at 2:31 PM
Type-safe, type-unsafe, single-thread, multi-thread, getting Rust and C++ to work together on this project was like using crabs as gears. Michael Gibson and Shuxian Wang brought down the house at #RustUnconf this year with this story, and here it is on our blog. Link below.
Why does software break more often than, say, airplanes, or buildings? Just one of the questions we'll be looking diving into at #BugBash, and here to represent team buildings, Brian Potter of the incredible Construction Physics substack!
January 28, 2026 at 9:30 PM
Why does software break more often than, say, airplanes, or buildings? Just one of the questions we'll be looking diving into at #BugBash, and here to represent team buildings, Brian Potter of the incredible Construction Physics substack!
Maybe it's all the LLMs, but recently, it's felt like we've seen a lot more interest in how to build software rigorously -- and the latest signal in that department is this really awesome indie developer conference happening this summer, organized by the one and only @isaacvando.bsky.social .
January 27, 2026 at 5:46 PM
Maybe it's all the LLMs, but recently, it's felt like we've seen a lot more interest in how to build software rigorously -- and the latest signal in that department is this really awesome indie developer conference happening this summer, organized by the one and only @isaacvando.bsky.social .
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