Viewing profile — DRMacIver

So with the caveat that I'm not super familiar with Validity... The biggest thing that leaps out at me looking at it is that Hegel is very built around flexible user-specified data…

They're random but with a lot of tweaks to the distribution that makes weird edge cases pop up with fairly high probability, and with some degree of internal mutation, followed by …

Yeah, that's true. I was going to say that it's maybe not fair to count things that just don't even make sense in Rust, but I guess the logical analogue is something like `Box ` wh…

> To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel. Looks like the mods deleted the last long thread about this, so best not to relitigate, but short …

You're very welcome! I'm glad it's been useful for you.

Ugh, yeah. Duplicating the code under test is a bad habit that Claude has had when writing property-based tests from very early on and has never completely gone away. Hmm now that …

What do you think we're currently missing that Python's `from_type` has? I actually think the auto-deriving stuff we currently have in Rust is as good or better than from_type (e.g…

Please let us know how it goes! As Liam says, the derive generator is not very well dogfooded at present. The claude skill is a bit better, but we've only been through a few iterat…

Answered this over here: https://news.ycombinator.com/item?id=47506274

The short answer to how it fits into existing ecosystems is... in competition I suppose. We've got a lot of respect for the people working on these libraries, but we think the Hypo…

Ouch. Classic Claude. It does tend to cheat when it gets stuck, and I've had some success with stricter harnesses, reflection prompts and getting it to redo work when it notices it…

TBF PBT has been the present in Python for a while now. 10 years ago might have been a little early (Hypothesis 1.0 came out 11 years ago this coming Thursday), but we had pretty w…

So I think a short list of big API differences are something like: * Hypothesis/Hegel are very much focused on using test assertions rather than a single property that can be true …

> But the problem remains verifying that the tests actually test what they're supposed to. Definitely. It's a lot harder to fake this with PBT than with example-based testing, but …

It's on the agenda! We definitely want to rewrite the Hegel core server in rust, but not as much as we wanted to get it working well first. My personal hope is that we can port mos…

We looked at it and given that the repo was archived nearly two years ago decided it wasn't a problem.

Conversation with Will (Antithesis CEO) a couple months ago, heavily paraphrased: Will: "Apparently Hegel actually hated the whole Hegelian dialectic and it's falsely attributed to…

Post author here btw, happy to take questions, whether they're about Hegel in particular, property-based testing in general, or some variant on "WTF do you mean you wrote rust bind…

How popular do you want it to be? The Python survey data ( https://lp.jetbrains.com/python-developers-survey-2024/ ) holds pretty consistently at 4% of Python users saying they use…

Interesting. I've not seen that before. My best guess is that it might be an old trio version or something, but I'm not sure.

FWIW shrinkray gets to 162 bytes if I leave it to run for about 10 minutes. https://gist.github.com/DRMacIver/ee025c90b4867125b382a13aaa... I think it might do a little but not a l…

I think the easiest way to think about it is that it's gradient descent, it's just a slightly weird form of it over a discrete space. If you imagine you've got some neighbourhood f…

Yes, that's me. I accidentally got obsessed with test-case reduction as a result of writing Hypothesis, and wrote shrinkray because I thought it was ridiculous that I hadn't put al…

Well, I do have my own reducer (shrinkray is mine), but I actually hadn't considered using TreeSitter grammars for it. That's a good idea, thanks!