Why is writing mathematical proofs more fault-proof than writing code? (2011)
5 by dgellow | 1 comments on Hacker News.
Monday, 1 January 2018
Hacker News
Home
Hacker News
New top story on Hacker News: Why is writing mathematical proofs more fault-proof than writing code? (2011)
No comments:
Post a Comment