Antithesis
@antithesis.com
His research focuses on using data-centric languages and analysis techniques to build and reason about data-intensive distributed systems, in order to make them scalable, predictable and robust to the failures and nondeterminism endemic to large-scale distribution.
January 15, 2026 at 5:27 PM
His research focuses on using data-centric languages and analysis techniques to build and reason about data-intensive distributed systems, in order to make them scalable, predictable and robust to the failures and nondeterminism endemic to large-scale distribution.
Awards, you ask?
He is a recipient of the NSF CAREER Award, the Facebook Research Award, the USENIX ATC 2020 Best Presentation Award, the SIGMOD 2021 Distinguished PC Award, the SoCC 2025 Best Paper award, and the UCSC Excellence in Teaching Award.
He is a recipient of the NSF CAREER Award, the Facebook Research Award, the USENIX ATC 2020 Best Presentation Award, the SIGMOD 2021 Distinguished PC Award, the SoCC 2025 Best Paper award, and the UCSC Excellence in Teaching Award.
January 15, 2026 at 5:26 PM
Awards, you ask?
He is a recipient of the NSF CAREER Award, the Facebook Research Award, the USENIX ATC 2020 Best Presentation Award, the SIGMOD 2021 Distinguished PC Award, the SoCC 2025 Best Paper award, and the UCSC Excellence in Teaching Award.
He is a recipient of the NSF CAREER Award, the Facebook Research Award, the USENIX ATC 2020 Best Presentation Award, the SIGMOD 2021 Distinguished PC Award, the SoCC 2025 Best Paper award, and the UCSC Excellence in Teaching Award.
We're excited that he's coming - and you should come too!
luma.com/bugbash2026
luma.com/bugbash2026
BugBash 2026 ยท Luma
BugBash 2026
What does it take to build reliable software?
Join us in DC where we'll gather the brightest minds in tech to find out!
On April 23-24 2026,โฆ
luma.com
January 15, 2026 at 5:26 PM
We're excited that he's coming - and you should come too!
luma.com/bugbash2026
luma.com/bugbash2026
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!
That sounds fun: antithesis.com/company/care...
I just wanna hear Yusuf talk: www.youtube.com/watch?v=b059...
I just wanna hear Yusuf talk: www.youtube.com/watch?v=b059...
Careers at Antithesis
Join us and help build our autonomous testing platform
antithesis.com
January 6, 2026 at 10:37 PM
That sounds fun: antithesis.com/company/care...
I just wanna hear Yusuf talk: www.youtube.com/watch?v=b059...
I just wanna hear Yusuf talk: www.youtube.com/watch?v=b059...
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.
Let's all write good software - Will Wilson
YouTube video by Antithesis
youtu.be
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.
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.
December 19, 2025 at 5:34 PM
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
That looks like the start of a vicious cycle. Keeping software reliable in the AI age is going to get harder and harder, and no one tool or approach is going to be enough.
www.coderabbit.ai/blog/state-o...
Thanks for the great work y'all!
www.coderabbit.ai/blog/state-o...
Thanks for the great work y'all!
AI vs human code gen report: AI code creates 1.7x more issues
We analyzed 470 open-source GitHub pull requests, using CodeRabbitโs structured issue taxonomy and found that AI generated code creates 1.7x more issues.
www.coderabbit.ai
December 18, 2025 at 3:45 PM
That looks like the start of a vicious cycle. Keeping software reliable in the AI age is going to get harder and harder, and no one tool or approach is going to be enough.
www.coderabbit.ai/blog/state-o...
Thanks for the great work y'all!
www.coderabbit.ai/blog/state-o...
Thanks for the great work y'all!
Our favorite part?
"while pull requests per author increased by 20% year-over-year, thanks to help from AI, incidents per pull request increased by 23.5%."
"while pull requests per author increased by 20% year-over-year, thanks to help from AI, incidents per pull request increased by 23.5%."
December 18, 2025 at 3:45 PM
Our favorite part?
"while pull requests per author increased by 20% year-over-year, thanks to help from AI, incidents per pull request increased by 23.5%."
"while pull requests per author increased by 20% year-over-year, thanks to help from AI, incidents per pull request increased by 23.5%."
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...
Full eps:
Youtube: youtu.be/VkcnVYegAYc
Spotify: open.spotify.com/episode/5KN5...
Apple podcasts: podcasts.apple.com/us/podcast/h...
Youtube: youtu.be/VkcnVYegAYc
Spotify: open.spotify.com/episode/5KN5...
Apple podcasts: podcasts.apple.com/us/podcast/h...
Hypothesis vs. hallucinations: Property testing AI-generated code
YouTube video by Antithesis
youtu.be
December 11, 2025 at 9:05 PM
Full eps:
Youtube: youtu.be/VkcnVYegAYc
Spotify: open.spotify.com/episode/5KN5...
Apple podcasts: podcasts.apple.com/us/podcast/h...
Youtube: youtu.be/VkcnVYegAYc
Spotify: open.spotify.com/episode/5KN5...
Apple podcasts: podcasts.apple.com/us/podcast/h...
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.
Full segment, all 9 minutes of it: youtu.be/rByJs6RYl5Y
Will Wilson on TBPN, Monday 8 Dec 2026
YouTube video by Antithesis
youtu.be
December 10, 2025 at 5:34 PM
Full segment, all 9 minutes of it: youtu.be/rByJs6RYl5Y