\

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

51 points - today at 6:37 PM

Source
  • aw1621107

    today at 7:18 PM

    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

    • tybug

      today at 7:55 PM

      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 :)

    • triplechill

      today at 7:48 PM

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

      • aerhardt

        today at 7:12 PM

        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 :)

        • delis-thumbs-7e

          today at 7:50 PM

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

            • efficax

              today at 7:52 PM

              Just wait until you get into the Science of Logic

                • sigbottle

                  today at 8:02 PM

                  I'm starting with the Science of Logic!

                  I want to cry...

          • mykowebhn

            today at 7:26 PM

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

              • sigbottle

                today at 8:02 PM

                Yo what has been the coolest thing about Hegel's philosophy you learned?

                  • mykowebhn

                    today at 8:31 PM

                    (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.

                • aerhardt

                  today at 7:42 PM

                  Why? It’s perfectly coherent with the group of libraries and what they do.

                • supliminal

                  today at 7:31 PM

                  A Hegel just flew over your house.