David R. MacIver1d ago

So like I mentioned I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel!

A remarkably short number of months later, Hegel. Hegel is a property-based testing protocol and family of client libraries which makes it easy to do Hypothesis-grade PBT everywhere.

Today: Rust. Tomorrow: The world! (Muahaha)

https://antithesis.com/blog/2026/hegel/

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

Show threadDavid R. MacIver1d ago

More soberly: In a week or two, Go. Then some other languages.

And of course a whole bunch of engineering and UX work as people use this thing and inevitably find that it is perfect and wonderful and has no flaws and we just have to spend all our time fielding praise for how great we are.

(And maybe fix a few bugs)

Show threadDavid R. MacIver
Lots of plans for the future of these libraries. This is very much just the start. But I'm pretty pleased with where we are as a start.
Mar 24 at 3:32pmWeb