Hegel, a universal property-based testing protocol and family of PBT libraries

aerhardt

Off-topic but only today I was thinking of Hegel-related names for a certain business idea. Was wondering who had registered all the domains, well here's one. It would a completely different domain, and also a derivation of the name, so nothing to worry about there. But if I build something in Rust, I'll remember you :)

aw1621107

A bit of an intro/announcement blog post for Hegel ("Hypothesis, Antithesis, synthesis", [0]) was submitted here ~2 weeks ago [1] and got a fair bit of discussion (106 comments). [0]: https://antithesis.com/blog/2026/hegel/ [1]: https://news.ycombinator.com/item?id=47504094

mykowebhn

Oh god, as someone who studies and admires Hegel, please change the name from Hegel.

triplechill

Awesome! I've been waiting for hegel-go and can't wait to take it for a spin

delis-thumbs-7e

I’m studying currently Phenomenology of Geist. No code is so gard to read as it.

tybug

I didn't expect to see Hegel when opening up HN today! Feel free to ask any questions about it. We released hegel-go earlier this week, and plan to release hegel-cpp sometime next week, so look forward to that :)

utdemir

PSA: On the surface it looks great - but it's something that spawns a Python server (with uv - I think) and does communicate with it during tests. I don't think it's complexity we need to take on on our unit tests. A saner approach would be to start with a FFI-friendly language and create bindings. I don't think just being able to use an already written framework in Python is worth the trade-off.

MoonWalk

Now that's how you write a title.

jgalt212

In the era of AI codegen, I think property-based testing will and should see greater uptake. Unit tests are too brittle for the grind on it till it works methods of agentic written code.

kiernanmcgowan

Hypothesis: customer says something is bugged Antithesis: the tests pass with 100% coverage Synthesis: the bug is a feature