News for hackers. Stuff that matters.

poteeweet

They didn't mean "prove" as in mathematically "prove" than an algorithm works, they meant it in mechanical terms (does it compile, does it run, does it past test inputs, etc.).