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.
Hegel, a universal property-based testing protocol and family of PBT libraries
21–30 of 42 posts
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#22PSA: 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.
For what it's worth the devs say their "current long-term plan is to implement a second Hegel server in Rust" [0], so the current state of affairs is probably a compromise between getting something usable for end users out and something more "sane", as you put it.
[0]: https://antithesis.com/blog/2026/hegel/#what%E2%80%99s-next
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#23Oh god, as someone who studies and admires Hegel, please change the name from Hegel.
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#24Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#25Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#26Oh god, as someone who studies and admires Hegel, please change the name from Hegel.
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#27I 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 :)
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#28I’m studying currently Phenomenology of Geist. No code is so gard to read as it.
I often gesture towards this phenomenology when religious folk casually attempt to claim "spirit" as some form of belief they hold over me. I honestly don't know if I've developed the position well, it is almost entirely through the lens of continental philosophy absorbing Hegel, but I use it to illustrate that my concept of spirit, as an atheist, may not be a different phenomenological occurrence than that of a religious framing and even shares the quality of a rich historical lineage I can draw from. I could just as easily retreat into untranslated German that sounds poetic or prophetic to the uninitiated, but that would be doing exactly what I'm asking them not to do, leaning on a vocabulary the other person can't engage with without first conceding the ground it's built on. This seems to effectively persuade them to adjust their vocabulary to a register I can actually engage with without needing to hedge for the axiomatic differences we have.
This is a comfortable mode of engagement and it is one I can share with religious folk, but I do find they often refuse this register and I will admit I can't always articulate why I find their refusal frustrating either.
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#29Antithesis: the tests pass with 100% coverage
Synthesis: the bug is a feature
Re: Hegel, a universal property-based testing protocol and family of PBT libraries
#30Earlier quoted context omitted.
Yo what has been the coolest thing about Hegel's philosophy you learned?
(I can really only do your question a modicum of justice by answering metaphorically.) That Anglo-American analytic philosophy, which has dominated much of 20th century Western philosophy and Western thought, was doomed from the start. It treated ontological Being as fixed, as beings nailed to a wall, lifeless and immobile. Hegelian philosophy, more than anything, is about movement.