Mastodawn

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

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

sigh.... @DRMacIver...

@regehr Believe it or not, that one isn't my fault. Most of the subheadings were added in in editing.

Admittedly I found it funny so I didn't even consider not leaving it in, so I guess it's still sortof my fault...

@regehr @DRMacIver Do codebases have a Weltgeist?

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

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

@regehr the swarm testing paper was presented at their office and the speaker was the ceo!

@dev oh wow, I hadn't realized this connection!