John Regehr1d ago

this looks exciting! David is incredibly good at what he does (tool support for property-based testing and test case reduction)

https://antithesis.com/blog/2026/hegel/

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

Show threadJohn Regehr1d ago
sigh.... @DRMacIver...
Show threadzwarich11h ago
@regehr @DRMacIver Do codebases have a Weltgeist?
Show threadDavid R. MacIver
@zwarich @regehr I've certainly worked with some haunted codebases.
9:53pmWeb