Kenneth Lane Thompson, más conocido como Ken Thompson, es un pionero en las ciencias de la computación. Su trabajo con el lenguaje de programación B y el sistema operativo UNIX y Plan 9 para los laboratorios Bell. Se le adjudica a Thompson, junto a Dennis Ritchie, la creación de UNIX.

Ver en Wikipedia

Noticias que mencionan Ken Thompson

Cómo se muestran las fuentes en pantalla: un proceso complejo

Este artículo explora el renderizado de fuentes desde cero, un proceso que a menudo se da por sentado pero que es sorprendentemente complejo. La renderización de fuentes implica mostrar texto en una pantalla, y presenta desafíos significativos, como escalar fuentes a diferentes tamaños manteniendo l

Compiladores: ¿Siempre dan el mismo resultado?

El artículo explora la pregunta de si los compiladores son deterministas, un tema crucial en el desarrollo de software, especialmente con la creciente integración de modelos de lenguaje grandes (LLMs). La respuesta, según el autor, depende de si se considera desde una perspectiva teórica (ciencia de

Regex ultrarrápido: F# revoluciona las expresiones

RE# es un motor de expresiones regulares (regex) innovador, desarrollado en F#, que ha logrado un rendimiento significativamente superior a los motores existentes en .NET y otros sistemas industriales. El proyecto, liderado por Ian Erik Varatalu, fue publicado en POPL 2025 y ahora está disponible de

Rob Pike: 5 Claves para Programar Mejor

Las '5 Reglas de Programación' de Rob Pike, un ingeniero influyente en Google y creador de lenguajes como Go, ofrecen una guía valiosa para el desarrollo de software eficiente y mantenible. Estas reglas, que se basan en principios establecidos por otros grandes de la informática, enfatizan la import

Rob Pike estalla contra un correo de agradecimiento enviado por una IA

Rob Pike, cocreador del lenguaje de programación Go, arremetió en la red social Bluesky contra un agente de inteligencia artificial que le envió un correo electrónico agradeciéndole sus contribuciones al software. El mensaje, generado automáticamente por un experimento de agentes autónomos, provocó

Cómo cabía el corrector ortográfico de Unix en 64 kB de RAM

Cómo cabía el corrector ortográfico de Unix en 64 kB de RAM En la década de 1970, los ingenieros de los Laboratorios Bell de AT&T enfrentaron un reto técnico que parecía imposible: desarrollar un corrector ortográfico funcional para Unix que pudiera operar con apenas 64 kB de memoria RAM, una limit

Julia y el problema de los dos lenguajes en la computación científica

La computación científica arrastra desde hace décadas un dilema conocido como el problema de los dos lenguajes: los investigadores prototipan en Python por su facilidad, pero reescriben las partes críticas en C++ o Rust para ganar rendimiento, porque Python resulta demasiado lento. En 2012, cuatro c

Aiki Alpha 2: el lenguaje se reescribe a sí mismo

Aiki Alpha 2 ya está disponible, etiquetado como v0.4.0-alpha-35 y distribuido desde la página de releases de su repositorio en GitHub. Frente a Alpha 1, que convirtió al lenguaje en algo tangible, Alpha 2 hace explícita su arquitectura: la gramática pasa a ser la única autoridad sobre la superficie

El camino hacia MS-DOS 2: la UNIX que nunca fue

MS-DOS nació en 1981 como un clon minimalista de CP/M pensado para el IBM PC original, un compromiso que dejó insatisfechos a Paul Allen y Bill Gates. Ambos habían licenciado el código fuente de UNIX V7 en febrero de 1980 a través de Western Electric y lanzado XENIX el 25 de agosto de ese mismo año,

El PDP-11, la máquina que definió la informática moderna

En 1970, Digital Equipment Corporation lanzó el PDP-11, un ordenador de 16 bits con un juego de instrucciones ortogonal que simplificó la programación y estableció el patrón que aún hoy siguen arquitecturas como Intel x86 y Motorola 68000. Su diseño, capaz de escalar desde un controlador embebido de

Por qué Go encaja en el desarrollo de software asistido por IA

El desarrollo de software atraviesa un cambio de paradigma: las herramientas de IA generan grandes bloques de código, pero los humanos siguen siendo responsables de revisarlos, depurarlos, definir la arquitectura y garantizar la fiabilidad del sistema. En este nuevo escenario, la productividad de un

Visión general de las plantillas de ensamblador en línea

El lenguaje Odin incorpora un sistema de plantillas de ensamblador en línea (inline asm) diseñado como entidades llamables que se instancian en el lugar de cada llamada, comportándose como intrínsecos. Por ahora, la implementación solo cubre objetivos amd64 (windows_amd64, linux_amd64 y darwin_amd64

El sistema de tiempo compartido Unix: nacimiento, decisiones clave y legado

Este artículo repasa los orígenes del sistema operativo Unix a partir del artículo seminal de Dennis Ritchie y Ken Thompson publicado en Communications of the ACM. La historia comienza cuando Thompson, decepcionado por la retirada de AT&T del proyecto Multics, encontró en los laboratorios Bell un PD

Builds bootstrapeables: cómo y por qué reconstruir el software desde cero

En la conferencia FOSSY 2026, celebrada en el campus de la Universidad de Columbia Británica (Vancouver, Canadá), Timothy Sample pronunció una charla en la pista 'Toolchains and Other Development Tools' dedicada a los builds bootstrapeables, una disciplina menos conocida que los builds reproducibles

Evocation: un compilador de Forth autoalojable y autoarranque

Evocation es un dialecto de la programación Forth diseñado por Irenes, caracterizado por su enfoque en la teoría de tipos, bases de datos y el diseño de lenguajes. A diferencia de la mayoría de los compiladores de Forth, Evocation es autoalojable, lo que significa que se puede construir utilizando ú

Toda decisión de software es una decisión de confianza

Un nuevo marco teórico, respaldado por un paper en revisión en el IEEE Computer Security Foundations Symposium (CSF 2027), establece que la verificación técnica en sistemas informáticos tiene un límite demostrable. El trabajo, coautoría de Zach Collier y el autor del texto, demuestra que más allá de