▲ 2 pointsThe call for invariant-driven developmentblog.trailofbits.comby galapago·1y ago·0 comments·view on hn ↗