- 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
- 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 :)
- 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.
by mykowebhn
6 subcomments
- Oh god, as someone who studies and admires Hegel, please change the name from Hegel.
by kiernanmcgowan
0 subcomment
- Hypothesis: customer says something is bugged
Antithesis: the tests pass with 100% coverage
Synthesis: the bug is a feature
- How does this compare to https://academy.fpblock.com/blog/quickcheck-hedgehog-validit... ? As far as I understand, Validity also has free generators and shrinking for types by having them implement various typeclasses that represent invariants and also has pre-made combinators to test properties with.
- This is the first time I hear of property-based testing, and I am intrigued. What is the difference between this and a sufficiently expressive structural type system?
by harlequinetcie
0 subcomment
- Great project!
This together with bombadil (web version pbt / Hegel / antithesis) for qa is a great advance.
We need more and more solutions like these for Agentic Coding.
by triplechill
0 subcomment
- Awesome! I've been waiting for hegel-go and can't wait to take it for a spin
by delis-thumbs-7e
3 subcomments
- I’m studying currently Phenomenology of Geist. No code is so gard to read as it.
- 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 :)
- 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.
- Now that's how you write a title.
Hacker News