News for hackers. Stuff that matters.

A comment on Mathematicians are chronically lost and confused (2014). Parent comment

Re:Mathematicians are chronically lost and confused (2014) by agentultra on Friday June 10, 2016 @06:29PM (#11880637)
Insanely useful. I believe it should be state of the art. Even model checkers are vastly more useful than nothing.
[ Parent | on HN ]

There are no comments on this comment yet.