Antithesis (@AntithesisHQ) / X

Antithesis

1,115 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
1h
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
125
Antithesis
@AntithesisHQ
1h
Retrocomputing on the cheap by John Sutley: youtu.be/XF7laFeLklM Summoning control from the void in graph IR by Mikail Khan: youtu.be/8T0IrlRAcEE
123
Antithesis
@AntithesisHQ
1h
If you couldn't make it to PWL this month, this was a terrific session. Highly recommended.
Age-restricted adult content. This content might not be appropriate for people under 18 years old. To view this media, you’ll need to log in to X. Learn more
93
Antithesis
@AntithesisHQ
21h
There's a saner world out there.
1K
Antithesis
@AntithesisHQ
21h
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
771
Antithesis
@AntithesisHQ
21h
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
167
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!
446
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.3K
Antithesis
@AntithesisHQ
Jun 24
Disconnect3d from @trailofbits has never actually hacked a check-in kiosk or ATM. That we know of.
312
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
706
Antithesis
@AntithesisHQ
Jun 24
Verifying AI-authored code: Teaching your agents how to correct their own output · Luma
From luma.com
289
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
426
Antithesis
@AntithesisHQ
Jun 23
DC Systems 016 · Luma
From luma.com
264
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.
731
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.
508