Sir Tony Hoare —el hombre detrás del algoritmo que ordena casi todos los datos del planeta— murió el jueves 5 de marzo de 2026 a los 92 años. Con él se va uno de los arquitectos más silenciosos pero influyentes de la informática moderna: alguien cuyo trabajo está en cada búsqueda de Google, cada base de datos, cada lenguaje de programación concurrente que existe hoy.
Pocos nombres resuenan tanto en los fundamentos invisibles de la tecnología actual como el de Charles Antony Richard Hoare — C.A.R. Hoare para los papers, Tony Hoare para todos los demás. Si alguna vez has escuchado hablar de quicksort, Hoare logic o CSP, estás escuchando hablar de él.
El algoritmo que mueve el mundo: quicksort
En 1959, Hoare era un joven de 25 años aprendiendo ruso en Moscú cuando tuvo la idea del quicksort. Era tan elegante que al principio pensó que no podía funcionar. Lo publicó en 1962 y desde entonces se convirtió en el algoritmo de ordenamiento más implementado de la historia.
Aprende IA con nosotros
Únete gratis a mi comunidad en Skool, donde compartimos noticias, tutoriales y recursos para seguir aprendiendo juntos.
👥 Únete gratis 🚀¿Por qué importa? Porque cualquier vez que buscas algo, filtras una lista, ordenas resultados por precio o fecha, hay una probabilidad alta de que quicksort —o una variante suya— esté haciendo el trabajo pesado. Está en el kernel de Linux, en las librerías estándar de C, Java, Python, JavaScript. No hay desarrollador que haya escapado de él.
Su idea central es elegante: elige un elemento pivot, separa los menores a la izquierda y los mayores a la derecha, repite recursivamente. En promedio, resuelve en O(n log n) lo que la fuerza bruta resolvería en O(n²). Esa diferencia en la práctica puede ser la diferencia entre procesar millones de registros en segundos o en horas.
Hoare Logic: demostrar que el código funciona como se supone
Quicksort sería suficiente para cualquier carrera. Pero Hoare no se detuvo ahí. En 1969 publicó “An Axiomatic Basis for Computer Programming” — el paper que fundó lo que hoy conocemos como Hoare logic o lógica de Hoare.
La idea: si puedes especificar matemáticamente qué condiciones se cumplen antes de ejecutar un bloque de código (precondición) y qué se garantiza después (postcondición), puedes probar formalmente que el programa hace lo que dice hacer. No testear — probar.
Esta intuición está en la base de toda la verificación formal de software moderna: desde los sistemas de tipos avanzados en Rust y Haskell, hasta las herramientas de análisis estático que detectan bugs antes de que lleguen a producción, pasando por los métodos formales usados en aviónica, sistemas médicos y chips de seguridad. La IA de hoy genera código — Hoare le dio las herramientas teóricas para verificar que ese código es correcto.
CSP: el origen conceptual de la concurrencia moderna
En 1978 Hoare publicó Communicating Sequential Processes (CSP), un modelo matemático para describir sistemas donde múltiples procesos se ejecutan en paralelo y se comunican entre sí. Suena abstracto, pero tiene consecuencias concretas directas:
- Go adoptó directamente la filosofía de CSP para sus goroutines y canales (“Don’t communicate by sharing memory; share memory by communicating”)
- Erlang y su modelo de actores bebió directamente de esta fuente
- Rust y su sistema de ownership para concurrencia segura tiene raíces en estas ideas
- Los sistemas distribuidos modernos, desde Kubernetes hasta los agentes IA que se comunican entre sí, deben sus fundamentos a CSP
El Premio Turing y la cita que todos deberían tener enmarcada
En 1980, la ACM le otorgó el Premio Turing — el Nobel de la informática — “por sus contribuciones fundamentales a la definición y diseño de lenguajes de programación”. En su discurso de aceptación pronunció una de las frases más citadas de la historia del software:
“There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies. The first method is far more difficult.”
Cuarenta y seis años después, sigue siendo el diagnóstico más preciso de por qué tanto software es tan complicado.
Por qué importa en la era de la IA
Vivimos en un momento donde los modelos de lenguaje generan miles de líneas de código por minuto. La deuda de verificación es real: el código generado por IA es plausible, pero no necesariamente correcto. Hoare pasó su carrera entera construyendo las herramientas matemáticas para responder exactamente esa pregunta: ¿cómo sabes que un programa hace lo que dices que hace?
También dedicó sus últimos años, desde Microsoft Research en Oxford, a los Unifying Theories of Programming — un proyecto para unificar todos los formalismos que había creado en un solo framework coherente. Un hombre que a los 80 años todavía intentaba hacer las cosas más simples.
La informática moderna fue construida en capas. Algunas de las más profundas llevan su firma. Tenía 92 años y dejó un legado que seguirá ejecutándose cuando ninguno de nosotros esté aquí.
