News for hackers. Stuff that matters.

A comment on Why is writing mathematical proofs more fault-proof than writing code? (2011). Parent comment

Re:Why is writing mathematical proofs more fault-proof than ... by qubex on Monday January 01, 2018 @12:55PM (#16047089)
I answered myself with a comment, which was a faux ps. It’s rectified now.
[ Parent | on HN ]

There are no comments on this comment yet.