El bug de los 20 años

1 view

Skip to first unread message

Manuel Alejandro Cerón Estrada

unread,

Jun 5, 2006, 1:27:35 PM6/5/06

to sl-...@googlegroups.com

Hola a todos,

Quería recomendarles un artículo de Joshua Bloch en Google Research
titulado "Extra, Extra - Read All About It: Nearly All Binary Searches
and Mergesorts are Broken". Aquí es cuando uno se da cuenta de que es
cierto que nunca se va a encontrar un programa 100% libre de bugs.
Aquí está el enlace:

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

Un saludo,

Manuel.

--
· Manuel Alejandro Cerón Estrada
· cero...@gmail.com
· http://ceronman.blogspot.com

Óscar López

unread,

Jun 5, 2006, 8:53:45 PM6/5/06

to sl-prog

Otro ejemplo de un bug que anda rondando desde hace mucho tiempo, igual
o peor de grave que el del año 2000 - el bug del año 2038:

http://www.2038bug.com/

Realmente, no existe ningún sistema suficientemente complejo del cual
se pueda afirmar está 100% libre de defectos ...

La entrada del blog mencionado arriba me hace recordar una frase
célebre de Donald Knuth, apropiada para estos casos ... ``Beware of
bugs in the above code; I have only proved it correct, not tried it.''