The future of software isn't tests. It's proofs

9 points | by Nolan_Lwin 8 hours ago

1 comments