https://marco.org/2008/04/10/beware-of-bugs-in-the-above-code-i-have-only
Beware of bugs in the above code; I have only proved it correct, not tried it.
— Donald Knuth (via igowen)
I’m Marco Arment: a programmer, writer, podcaster, geek, and coffee enthusiast.
https://marco.org/2008/04/10/beware-of-bugs-in-the-above-code-i-have-only
Beware of bugs in the above code; I have only proved it correct, not tried it.
— Donald Knuth (via igowen)