“¡Es que no me da la vida!”, es una frase fácil de oír en el mundo contemporáneo. Si alguna vez habíamos vivido cabalgando el tiempo, hilvanados en él, ahora el tiempo se ha enseñoreado y nos domina. La tiranía […]
Martin Gadner.Konrad JacobsNos preguntábamos la semana pasada cuál es la cadena más larga que se puede construir con tres dígitos -1, 2 y 3- sin repetir ninguno ni ninguna secuencia de dígitos de forma consecutiva. La respuesta es que no
El enigmático Dr. Matrix Leer más
14 de noviembre de 1969. El día había amanecido gris y las condiciones empeoraban hora a hora. Un frente frío avanzaba desde el noroeste, trayendo lluvia y actividad eléctrica. Una espesa capa de nubes cubría ya la costa occidental de
Regreso a la Luna: la aventura del ‘Apolo 12′ Leer más
Edmund E. Clarke.Universidad carnegie mellon Encontrar errores en los programas informáticos es una tarea titánica con una curiosa historia. Uno de los padres de la técnica del model checking (verificación de modelos) para el análisis y detección de dichos fallos
El hombre que ideó cómo detectar ‘aceitunas envenenadas’ en los programas informáticos Leer más