Hacker News new | ask | show | jobs
The call for invariant-driven development (blog.trailofbits.com)
2 points by galapago 488 days ago