Antithesis (@AntithesisHQ) / X

Antithesis

1,116 posts

Antithesis

@AntithesisHQ

A platform for building the impossible. Autonomous testing trusted by @JaneStreetGroup, @MongoDB, @ConfluentInc and many others.

The Multiverse

Joined August 2022

Antithesis
@AntithesisHQ
Jun 26
Latest DC Systems videos are now online! You know you want to spend your weekend rewiring a 1980s credit card terminal. John Sutley shows you how. And those things don't have a lot of computing power, so you'll need to watch Mikail Khan's talk for some deep ideas on how to
471
Antithesis
@AntithesisHQ
Jun 26
@fiiissshh
171
Antithesis
@AntithesisHQ
Jun 26
Replying to @AntithesisHQ
Retrocomputing on the cheap by John Sutley: youtu.be/XF7laFeLklM Summoning control from the void in graph IR by Mikail Khan: youtu.be/8T0IrlRAcEE
342
Antithesis
@AntithesisHQ
Jun 26
If you couldn't make it to PWL this month, this was a terrific session. Highly recommended.
/sesh/null
@nerdsane
Jun 26
Replying to @nerdsane @RhysSullivan and 2 others
Full presentation slides I gave at a meetup organized by @AntithesisHQ - I’ll turn this into a blog if there’s interest. docs.google.com/presentation/d…
383
Antithesis
@AntithesisHQ
Jun 25
There's a saner world out there.
1.2K
Antithesis
@AntithesisHQ
Jun 25
If you're in town for AWS Summit DC, check out this meetup on real-time data infrastructure, low-latency data processing, and modern data and AI-native architectures on AWS. Hosted by our friends and fellow DST fans at @RisingWaveLabs, creators of MadSim
827
Antithesis
@AntithesisHQ
Jun 25
Register: luma.com/real-u0j8 MadSim: github.com/madsim-rs/mads… RisingWave and DST: risingwave.com/blog/determini…
Real-Time Data on AWS · Luma
From luma.com
182
Antithesis
@AntithesisHQ
Jun 24
Lightning strikes twice! Here are the rest of the lightning talks from Bug Bash 2026. Bug Bash 2027 will be in early April in Washington DC. Mark your calendars!
462
Antithesis
@AntithesisHQ
Jun 24
Replying to @AntithesisHQ @owickstrom and @dergoegge
@confusedqubit from @LoopholeLabs talks about how GPU problems today remind him of storage problems from 2008. Also, he runs CUDA over TCP.
3.4K
Antithesis
@AntithesisHQ
Jun 24
Disconnect3d from @trailofbits has never actually hacked a check-in kiosk or ATM. That we know of.
331
Antithesis
@AntithesisHQ
Jun 24
A rare chance to get hands on with Antithesis in the field, coming to LA on July 9! We'll be running a workshop on integrating Antithesis into an agentic coding loop, it's like asking agents to write tests for their code, except this is one test they can't delete (and it's
719
Antithesis
@AntithesisHQ
Jun 24
Verifying AI-authored code: Teaching your agents how to correct their own output · Luma
From luma.com
297
Antithesis
@AntithesisHQ
Jun 23
DC Systems rides again! DC Systems 016 will be on Tuesday 14 July. Jarred Nicholls will tell us what all engineers can learn from High-Frequency Trading and Samarth Kishor will talk about static analysis as a proof tool As always, there will be pizza, there will be beer. Save
429
Antithesis
@AntithesisHQ
Jun 23
DC Systems 016 · Luma
From luma.com
265
Antithesis
@AntithesisHQ
Jun 19
The lightning talks are often the best part of a conference, and the lightning talks at Bug Bash were no exception. Not that we have short attention spans or anything... The first 5 are here for your Saturday, because we know you work on the weekend.
1.2K
Antithesis
@AntithesisHQ
Jun 19
Replying to @AntithesisHQ @GuanniQu and 2 others
Natural language formal specification for web development? Not a mirage. Fernanda Graciolli from Midspiral talks about how.
732
Antithesis
@AntithesisHQ
Jun 19
Automating invariant discovery is a bit of a dream for us and many of our customers, here's @theonlyagrawal showing how to do it with symbolic execution.
509