
Antithesis
@AntithesisHQ
Followers
2K
Following
351
Media
80
Statuses
563
A platform for building the impossible. Autonomous testing trusted by @PalantirTech @MongoDB @Ethereum and many others.
The Multiverse
Joined August 2022
RT @glcst: Turso, the next evolution of SQLite (previously codenamed "Limbo") reaches its first alpha milestone and first official release.….
0
56
0
RT @ordepdev: Such a great talk from Will Wilson (@AntithesisHQ) on software reliability. Planes rarely crash despite insane complexity—why….
0
1
0
RT @glcst: Always cool to see @AntithesisHQ in action. We just deployed new code for caching of the sqlite b tree pages. It survived 2 day….
0
7
0
RT @debasishg: Testing and observability convergence at a different level - another case for deterministic simulation testing. Nice BugBash….
0
1
0
One of our Summer interns is integrating Fray with Antithesis for even more bug-finding deliciousness! 🪲.
@AntithesisHQ has put up recordings from last few DC Systems, including this gem on Controlled Concurrency Testing for JVM Programs by @moarbugs (Rohan Padhye)! 🙌🏼🙌🏼. Check it out! Fray, the concurrency testing toolkit for the JVM:
0
3
13
A great blog post from @jessejiryudavis @MongoDB about combining Antithesis and formal methods. There are many paths to reliability, and you have to walk all of them.
0
1
4
This was one of the most requested recordings from #BugBash this year -- Lawrie Green's terrific explanation of autonomous testing. Lawrie makes it sound so simple and so logical, it makes you wonder why this isn't how everyone tests their software.
0
3
11
We're thrilled to be part of @redpoint’s 2025 InfraRed 100 list, which highlights 100 transformative companies in cloud infrastructure. Proud to be in such outstanding company - congratulations to everyone listed!
2
7
17
Tomorrow, June 10th is DC systems no.7.Smart talks. Smart people. Maybe a few dumb memes. Featuring @danslimmon (ex-Etsy, ex-Hashicorp) breaking down Queuing Theory and @micharu123 (@harborlabs) walking through what secure-by-design means when human lives are on the line.
0
0
2
The folks at @TigerBeetleDB were some of our earliest customers at Antithesis, so it was such a pleasure to be able to work with both them and @aphyr together. It's bucketing in DC area this weekend, stay in and read the report!.
0
3
9
Not to sound like monomaniacs here, but have you ever thought about all the code out there that's supposedly un-testable?. @mitchellh came to #bugbash to talk about how he thinks about making supposedly un-testable things testable -- and he makes a compelling argument that this.
0
3
15
Will was on the @StackOverflow podcast yesterday! It's less about DST,* and more about taking risks on people, running away from CS, and fixing the new things first. *Look, this is still a podcast with us, so there's really quite a lot about DST in it.
0
0
2
Next Tuesday is #AWSSummit DC, but the real party will be out here in Vienna, at #DCSystems 007!. If you're in town, come join us -- or if you're a DC native, come escape the madness downtown!. We have @danslimmon talking about Queueing Theory, and @micharu123 from @HarborLabs on.
0
2
6
If you saw Will's talk at #WebSummitVancouver yesterday and want to learn how to actually do the kind of testing he spoke about, come join our masterclass at 1pm Pacific!.
0
0
5
If you're at @WebSummit Vancouver come say hi! Will's taking to the AI stage at 3:25 to talk about why AI won't stop your software from breaking. And if you'd like to know how to implement the ideas he's talking about, we'll be doing a masterclass tomorrow at 1pm tomorrow.
0
3
5