Re: [OFF] 5 years to find a typo in a config script

[Luiz Henrique de Figueiredo <lhf@...>]

> > The often asked question, "How can one demonstrate that a computer program does what it is supposed to do?" has at least three answers:
> > (i) use the standard debugging technique of testing "representative" data and checking the results,
> > (ii) read the program and mysteriously discern that it works, thereby convincing oneself that the program is right or
> > (iii) give a rigorous mathematical proof of the correctness of the program.

Which reminds me of this famous quote by Donald Knuth:

"Beware of bugs in the above code; I have only proved it correct, not tried it."
https://en.wikiquote.org/wiki/Donald_Knuth