Monday 1 January 2018

New top story on Hacker News: Why is writing mathematical proofs more fault-proof than writing code? (2011)

Why is writing mathematical proofs more fault-proof than writing code? (2011)
3 by dgellow | 1 comments on Hacker News.


No comments:

Post a Comment