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

 (github.com)

9 points | by Nolan_Lwin 7 hours ago

1 comments