News for hackers. Stuff that matters.

A comment on Getting Past C. Parent comment

Re:Getting Past C by MichaelBurge on Tuesday January 03, 2017 @09:51PM (#13315290)
That's the old "formal proofs are useless because the proof checker might have a bug" argument. It's not very persuasive.
[ Parent | on HN ]
Re:Getting Past C by scott_karana on Tuesday January 03, 2017 @10:06PM (#13315351)
It's MaulingMonkey's argument ad absurdum is what is is :P
[ Parent | on HN ]