3 ms·
I came here expecting to find some sort of problems on mathematical proofs, since he was quote saying "Beware of bugs in the above code; I have only proved it c
by raister 7y ago
I came here expecting to find some sort of problems on mathematical proofs, since he was quote saying "Beware of bugs in the above code; I have only proved it correct, not tried it." and I got out disapointed for two human mistakes and one minor historical hiccup.
- nickdrozd 7y agoTuh, you and me both. Then again, it's been said that "technically correct" is "the best kind of correct". https://www.youtube.com/watch?v=hou0lU8WMgo https://www.youtube.com/watch?v=hou0lU8WMgo