Hacker Read

mike706574 | karma 6 | avg karma 3.0 · 2017-11-25 20:11:53+00:00

> He clearly hasn't proven anything about his code.

Is that a bad thing? It seems like many people are able to write software that works well and gets the job done without "proving anything" about their code in the way you're describing. Personally, I'm fine with not proving anything if I can deliver quickly and everything works, but I'd like to be convinced otherwise if there's real value there.

reply

catnaroek | karma 1638 | avg karma 0.78 · 2017-11-26 01:41:13+00:00

For basic infrastructure such as compilers and standard libraries (at least of data structures and algorithms), not providing proofs of correctness is outright criminal.

blain_the_train | karma 79 | avg karma 0.83 · 2017-11-26 12:41:48

It's not though is it... You know, because there aren't actual laws about it.

Let's try not to make inflammatory statements.

reply

lprefontaine | karma 2 | avg karma 2.0 · 2017-11-26 15:15:19+00:00

Formal verification of code has been the elusive Graal seeked by many for now a few decades.

It’s a mirage to which many have succumb but like in the desert most died of thirst trying to catch it.

reply