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 threadtj usiyan1d ago
@DRMacIver Is there a way that I can help bring this to swift?
Show threadDavid R. MacIver1d ago

@griotspeak Today: It'll be a little bit rough, but you could try just porting the rust library. It's not a huge amount of code. Bet Claude or another coding agent could do most of the work.

We're going to get the protocol properly documented and to put a bunch more work into making it easy for people to spin up new libraries, but aren't quite there yet.

Show threadtj usiyan1d ago
@DRMacIver I was more interested in hand translating. Property tests have just the right amount of randomness already, in my view.
Show threadDavid R. MacIver
@griotspeak Yeah, hand translating also perfectly valid! Give it a go. It won't be entirely straightforward, but it should be a lot easier than a full Hypothesis port.
Mar 24 at 3:56pmWeb
Show threadBadly-read literary snob1d ago
@griotspeak didn’t know you also write Swift! I’ve wanted such a library for a long while! I don’t wanna commit, as I’m already working on a side project, but if you give it a shot ping me! @DRMacIver
Show threadtj usiyan1d ago
@RosaCtrl @DRMacIver Yup! I currently use SwiftCheck but it is basically in maintenance mode since the main author now works at Apple. I *would* try to just pick up development myself but I don’t understand the e implementation well enough for all of that https://github.com/typelift/SwiftCheck
GitHub - typelift/SwiftCheck: QuickCheck for Swift

QuickCheck for Swift. Contribute to typelift/SwiftCheck development by creating an account on GitHub.

GitHub