2026-04-29 06:26 UTC
@danluu Have you used Hegel yet? I think "fuzzing" is a little bit different in spirit than property-based testing, but the tools can seem similar.
And the arguments about LLMs are the same for both fuzzing and PBT.
Hegel's shrinking and caching story has worked out really well for me in practice. And I'm in a pretty normal language of just TypeScript. PBT has grown well past Haskell.
Replies (1)
-
@danluu@mastodon.social 2026-04-29 07:40
@shajra I've found libraries/frameworks like that are often counterproductive because the performance isn't there and I get tests per second by writing a custom thing. Never tried Hegel, but it looks like it has a Python backend, so I expect the same issue there. It seems like there's a plan to re-write that to be faster at some point, so I might give it a shot then. I'm using the term fuzzing loosely and probably doing what people call PBT, I guess? I've never paid much attention to the terms.