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

(github.com)

9 points | by Nolan_Lwin 9 hours ago

1 comments