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

31–40 of 42 posts

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

#31

Post by sigbottle »

mykowebhn wrote: post #16
sigbottle wrote: post #13

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

Also I thought that 20th century analytic thought dissolved metaphysics entirely and didn't want to talk about it. I mean sure then you can question, "why delete metaphysics" but then you can't say that the 20th century brought this kind of stuff

> It treated ontological Being as fixed, as beings nailed to a wall, lifeless and immobile.

This reads more as a response to Plato & Kant

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

#33

Post by nicoty »

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.

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

#36

Post by felixyz »

sigbottle wrote: post #31
mykowebhn wrote: post #16

Earlier quoted context omitted.

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

Also I thought that 20th century analytic thought dissolved metaphysics entirely and didn't want to talk about it. I mean sure then you can question, "why delete metaphysics" but then you can't say that the 20th century brought this kind of stuff > It treated ontological Being as fixed, as beings nailed to a wall, lifeless and immobile. This reads more as a response to Plato & Kant

"didn't want to talk about it", absolutely. "dissolved metaphysics entirely", absolutely not.

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

#37

Post by mbo »

sjdv1982 wrote: post #35

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?

Given some system under test (SUT) with inputs (T, G...) and expected outputs derived from the inputs T', G' etc., a property based testing framework attempts to exercise the entire domain of values assignable to T, G, etc. against the SUT.

The generators of T, typically called an Arbitrary can be constrained, e.g Arbitrary could generate any float or just non-negative integers. Ideally we would define an Arbitrary or Arbitrary.

A sufficiently expressive type system makes it easier to narrow the gap between what is generated and what is assignable to type T, making it clearer what the valid input domain to the SUT is.

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

#38

Post by tybug »

antoinebalaine wrote: post #27
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 :)

How exciting! I wrote my own pbt lib for zig ( https://github.com/AntoineBalaine/zlowcheck ) and it made me sad I couldn't get it nearly close to hypothesis. Looking forward to see this grow! Any hope for ffi through the c abi?

We plan to rewrite hypothesis in rust and expose an FFI through that! This is a medium term plan (months, not weeks or years), but we're acutely aware that relying on a python component is not a long-term solution.

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

#39

Post by sigbottle »

felixyz wrote: post #36
sigbottle wrote: post #31

Earlier quoted context omitted.

Also I thought that 20th century analytic thought dissolved metaphysics entirely and didn't want to talk about it. I mean sure then you can question, "why delete metaphysics" but then you can't say that the 20th century brought this kind of stuff > It treated ontological Being as fixed, as beings nailed to a wall, lifeless and immobile. This reads more as a response to Plato & Kant

"didn't want to talk about it", absolutely. "dissolved metaphysics entirely", absolutely not.

Look, I read Continental philosophers too and I think they're cool, my point is that that kind of statement isn't what an analytic philosopher would say

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

#40

Post by delis-thumbs-7e »

mykowebhn wrote: post #17
delis-thumbs-7e wrote: post #8

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

Did you start with the Preface, or are you going to read it at the end? (I strongly recommend the latter.)

I started the preface, read maybe a page and thought it was a joke and I actually downloaded somebody’s machine-generated lark. After brief study I jumped forward and also got some explanatory texts (Routledge guide) to read with it.
Post reply on HN