The call for invariant-driven developmentblog.trailofbits.com2 points·galapago··0 commentsOpen articleSaveView on HN