Mastodawn

John Regehr 1d 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.

John Regehr 1d ago

sigh.... @DRMacIver...

@regehr @DRMacIver Do codebases have a Weltgeist?

David R. MacIver 11h ago

@zwarich @regehr I've certainly worked with some haunted codebases.

Ben Rosengart 10h ago

@zwarich @regehr @DRMacIver some, but there are off-the-shelf scanners that can help