News for hackers. Stuff that matters.

A comment on Mathematician's anger over his unread 500-page proof. Parent comment

Re:Mathematician's anger over his unread 500-page proof by sukilot on Saturday January 10, 2015 @07:43PM (#8868575)
Why are types easier than sets? They are both computable.
[ Parent | on HN ]

There are no comments on this comment yet.