Donald Knuth

person · 8 menciones

Donald Ervin Knuth es un reconocido experto en ciencias de la computación estadounidense y matemático, famoso por su fructífera investigación dentro del análisis de algoritmos y compiladores.

Ver en Wikipedia

Noticias que mencionan Donald Knuth

Un ensemble de 126 solvers generados con IA gana la pista SAT del SC26

LymphoSAT, el solver presentado por el investigador H. Garrison-Rayn en la SAT Competition 2026, se ha alzado con el primer puesto en la pista SAT, derrotando a otros 27 participantes, diez de los cuales también incorporaban componentes de inteligencia artificial. La clave del proyecto no es un únic

Akvorado escala su RIB de BMP mediante particionamiento (sharding)

Akvorado, la herramienta de monitorización de redes que enriquece flujos con información de encaminamiento BGP mediante el protocolo BMP, necesitaba escalar su base de datos de rutas (RIB) para soportar decenas de millones de entradas, dado que la tabla de encaminamiento de Internet supera el millón

Pero rasurarse el yak es divertido

Este artículo reflexiona sobre el fenómeno conocido como "yak shaving", término que alude a encadenar tareas auxiliares hasta perder de vista el objetivo original. La expresión la acuñó Carlin Vieri, estudiante de doctorado del MIT AI Lab, tras ver un episodio de Yak Shaving Day en la serie animada

Tectonic: el sistema de tipografía que moderniza TeX

Tectonic es un sistema de composición tipográfica moderno que convierte archivos TeX en PDF de manera eficiente. A diferencia de las instalaciones tradicionales de TeX, Tectonic es autocontenido y no requiere una distribución completa de TeX Live; descarga automáticamente los recursos de LaTeX neces

El punto tipográfico: una unidad de medida con más de 500 años de confusión

El punto tipográfico es una unidad de medida histórica originaria de 1517, diseñada para representar el tamaño mínimo significativo de impresión. Sin embargo, esta aparente simplicidad enmascara una realidad compleja: no existe una definición universal de 'punto', lo que ha generado inconsistencias