News for hackers. Stuff that matters.

A comment on The Anti-Human Consequences of Static Typing. Parent comment

Re:The Anti-Human Consequences of Static Typing by jeapostrophe on Monday August 12, 2013 @07:21PM (#6202897)
Certainly, but most math proofs aren't "rigorous proofs" by any stretch.
[ Parent | on HN ]

There are no comments on this comment yet.