Hegel, a universal property-based testing protocol and family of PBT libraries (hegel.dev)

54 points by PaulHoule 2 hours ago

17 comments:

by aw1621107 2 hours ago

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

by tybug an hour ago

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

by samth an hour ago

Is the protocol documented so that other people can build language front-ends?

by tybug an hour ago

Yes! I just wrote up documentation for the protocol earlier this week: https://hegel.dev/reference/protocol.

In reality, we hope to provide more guidance than this to people who want to write their own language frontend. This protocol reference doesn't talk about the realities of [hegel-core](https://github.com/hegeldev/hegel-core) and how to invoke it, for example.

We intend to write a "How to write your own Hegel library" how-to guide. You can subscribe to this issue to get notified when we write that: https://github.com/hegeldev/website/issues/3.

If you're eager, pointing your favorite LLM at https://hegel.dev/reference/protocol + https://github.com/hegeldev/hegel-rust and asking it to write you one for your language of choice should be enough to get you started!

by triplechill an hour ago

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

by aerhardt 2 hours ago

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

by delis-thumbs-7e an hour ago

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

by mykowebhn 16 minutes ago

Did you start with the Preface, or are you going to read it at the end?

(I strongly recommend the latter.)

by efficax an hour ago

Just wait until you get into the Science of Logic

by sigbottle an hour ago

I'm starting with the Science of Logic!

I want to cry...

by mykowebhn 15 minutes ago

The first part of his Encyclopedia will help a lot, and might be better to read first before diving into SoL.

by mykowebhn an hour ago

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

by sigbottle an hour ago

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

by mykowebhn 20 minutes ago

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

by aerhardt an hour ago

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

by bwestergard 21 minutes ago
by supliminal an hour ago

A Hegel just flew over your house.

Data from: Hacker News, provided by Hacker News (unofficial) API