программистское: открылось ужасное

"Nearly All Binary Searches and Mergesorts are Broken"

"A bug can exist for half a century"

http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html

остальное тож повеселило:

"It is not sufficient merely to prove a program correct; you have to test it too."