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 threadDev
@regehr the swarm testing paper was presented at their office and the speaker was the ceo!
Mar 24 at 9:43pmWeb
Show threadJohn Regehr1d ago
@dev oh wow, I hadn't realized this connection!