Rust salvará a Linux de la IA: Greg Kroah-Hartman sobre errores en C y las garantías de seguridad de Rust

En la Rust Week 2026, Greg Kroah-Hartman, mantenedor del kernel estable de Linux, hizo una afirmación audaz: Rust salvará a Linux de la creciente avalancha de vulnerabilidades de seguridad descubiertas por IA. Citó errores graves recientes como Dirty Frag, Copy Fail y Fragnesia como evidencia de que el código C tradicional no puede seguir el ritmo de las herramientas automatizadas de detección de fallos. El equipo del kernel emite ahora aproximadamente 13 CVEs al día.
¿Por qué Rust? Verificación en tiempo de compilación
Kroah-Hartman demostró con ejemplos reales: un error de Bluetooth de 15 años que desreferenciaba un puntero sin verificar, y un error de Xen donde se olvidó un bloqueo en una ruta de error. Estima que el 60% de los errores del kernel caen en dos categorías: condiciones de error no verificadas y errores de bloqueo. Rust elimina esto por completo en tiempo de compilación.
Destacó las abstracciones de bloqueo de Rust en el kernel: "La única forma de acceder a los punteros internos de las estructuras es adquiriendo ese bloqueo, y liberándolo automáticamente. El compilador lo hace... Simplemente no puedes escribir código para acceder a esos valores sin adquirir el bloqueo." Esto traslada la verificación de corrección de la revisión humana al compilador.
Impacto en el código C
Incluso si Rust desapareciera mañana, Kroah-Hartman dijo que su influencia ya ha forzado a Linux a adoptar mejores patrones en C: "Tomamos esto de Rust. Gracias." Nuevos "guardias" en C y bloqueos con ámbito inspirados en el modelo de propiedad de Rust ahora dificultan que el código C maneje incorrectamente bloqueos y memoria.
Con aproximadamente 5.000 desarrolladores pero solo unos 700 mantenedores, el tiempo de revisión es el cuello de botella. Las garantías de seguridad de Rust permiten a los mantenedores aprobar código más rápido: "Si puedo revisar tu código más fácilmente, puedo echarle un vistazo y decir: 'Oye, claramente lo hiciste bien porque usas ese patrón'."
Conclusión
Kroah-Hartman no afirma que Rust sea mágico, sino que elimina directamente las clases de errores más comunes y peligrosas. Las herramientas de IA están acelerando el descubrimiento de vulnerabilidades, pero las verificaciones en tiempo de compilación de Rust ofrecen una defensa escalable. Cada vez más código del kernel de Linux se escribirá en Rust, y el código C existente se está limpiando bajo la influencia de Rust.
📖 Lee la fuente completa: HN AI Agents
👀 Ver también

La discusión en Reddit destaca una reducción del 68% en tokens para agentes de IA mediante cambios en la infraestructura.
Un usuario de Reddit informa haber reducido el uso de tokens de agentes de IA en un 68,5% al cambiar de una infraestructura estándar a un sistema operativo nativo para agentes con acceso nativo a estados en JSON, reduciendo las comprobaciones de estado de aproximadamente 9 comandos de shell a 1 llamada estructurada.

Claude-Code v2.1.33: Mejorando la Automatización con Precisión
La última versión de Claude-Code v2.1.33 introduce características clave que revolucionan aún más a los agentes de codificación de IA, aumentando tanto la eficiencia como la precisión.

Terry Tao sobre verificadores de pruebas de IA: Lean, colaboración y matemáticas formales
Terry Tao predice que los matemáticos colaborarán en grupos de cientos y sus demostraciones serán verificadas por ordenadores como Lean, no por humanos. Un extracto de Quanta Magazine explora esta visión.

Resultados AIME 2026: Modelos abiertos y cerrados superan el 90%
Modelos de IA logran 90%+ en AIME 2026, con DeepSeek V3.2 ejecutando toda la prueba por solo bash.09.