News for hackers. Stuff that matters.
Re:How I got a CS degree with pen and paper and why I'm doin... by xixi77 on Wednesday January 27, 2016 @04:55PM (#10983802)
That is not a proof by the CS standard though -- well, unless the job is defined as "write a program that processes these N test inputs known in advance", in which case a program that prints the expected hardcoded output in response to each of the expected inputs and otherwise returns an error would be a good implementation :)

I personally avoid using a word "proof" to mean anything other than a mathematical proof. It can be done with code, for sure, but as grandparent said, usually isn't.

There are no comments on this comment yet.