News for hackers. Stuff that matters.
Re:Habits of highly mathematical people by catnaroek on Saturday July 30, 2016 @03:11PM (#12194258)
I like how Conor McBride put it:

> I usually take the presence of any proofs in my code as the cue to question my definitions.

http://stackoverflow.com/a/13241158/46571

There are no comments on this comment yet.