Antithesis
banner
antithesis.com
Antithesis
@antithesis.com
bug nerds 🐛 🐞 🐜

You hate testing. You'll love us.

https://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!
January 26, 2026 at 7:42 PM
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
Ron Minsky from Jane Street is coming to speak at #BugBash. A few early bird tickets left!
January 22, 2026 at 8: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.
January 21, 2026 at 7:23 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!
January 19, 2026 at 6:16 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.
January 16, 2026 at 3:54 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!
January 15, 2026 at 5:23 PM
Mia Shaker, Senior Software Engineer, talks about what it's like to work at Antithesis.

We’re hiring.
January 12, 2026 at 8:33 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.
January 6, 2026 at 10:37 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.
January 5, 2026 at 9:53 PM
By the way, he also just joined our engineering team. Welcome aboard David!
December 11, 2025 at 9:04 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.
December 10, 2025 at 5:28 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.
November 26, 2025 at 7:09 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.
November 20, 2025 at 9:47 PM