Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

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

hegel.dev

Post reply on HN
Print view View original

11–20 of 42 posts

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

#11

Post by samth »

tybug wrote: post #10

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

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

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

#12

Post by sigbottle »

efficax wrote: post #9
delis-thumbs-7e wrote: post #8

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

Just wait until you get into the Science of Logic

I'm starting with the Science of Logic!

I want to cry...

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

#14

Post by tybug »

samth wrote: post #11
tybug wrote: post #10

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

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

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!

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

#15

Post by bwestergard »

aerhardt wrote: post #6
mykowebhn wrote: post #4

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

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

It isn't. See: https://www.jstor.org/stable/2708045

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

#16

Post by mykowebhn »

sigbottle wrote: post #13
mykowebhn wrote: post #4

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

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.

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

#18

Post by mykowebhn »

sigbottle wrote: post #12
efficax wrote: post #9

Earlier quoted context omitted.

Just wait until you get into the Science of Logic

I'm starting with the Science of Logic! I want to cry...

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

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

#20

Post by aerhardt »

bwestergard wrote: post #15
aerhardt wrote: post #6

Earlier quoted context omitted.

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

It isn't. See: https://www.jstor.org/stable/2708045

I’ve read primary text excerpts from Hegel and some secondary sources too, and already knew that he didn’t write in that style, but the general idea that many forces in life develop themselves dialectically (the antithesis sometimes being expressed as alienation) is very similar in concept.

That a myth has developed around the terminology and methodology is persuading, but also there’s nothing wrong with a programming library to call itself Hegel.

Interesting paper regardless thanks for sharing.

Post reply on HN