Serious fuzzing war stories right here.

will depue its insane how entire companies will live or die depending on whether they have people that care more than they are required to

This is beautiful.

But you have just taught me how to do horrible things with solidity.

Does anyone have any recommendations or links on writing out and tracking plain text invariants for further use in code reviews / fuzzing / verification? Just rolling my own at the moment.

Some awesome analysis of audit contests!

Go read the amazing python notebook / paper, not just the thread.