En este ensayo, el autor replantea su postura sobre el papel de los lenguajes de programación ante el auge de la inteligencia artificial. Aunque durante años sostuvo que los lenguajes no marcarían grandes diferencias —alineándose con la idea del "no silver bullet" de Fred Brooks—, una experiencia concreta con Rust cambió su perspectiva. Al reescribir en menos de cinco minutos el software que genera su sitio web para usar multihilo, obtuvo un programa que funcionó a la primera y se mantuvo estable, algo prácticamente imposible en otros lenguajes.
La clave está en que Rust convierte las carreras de datos, históricamente la mayor fuente de errores en programación concurrente, en errores estáticos detectables en tiempo de compilación. Esto se logra mediante el sistema de tipos basado en propiedad (ownership) y los traits Send y Sync, que controlan cuándo un valor puede trasladarse entre hilos o ser accesible por varios a la vez. El artículo explica con ejemplos de código cómo un vector puede enviarse a otro hilo y cómo el hilo original pierde automáticamente el acceso, eliminando la necesidad de comprobaciones defensivas que suelen proliferar en código generado por IA.
El autor conecta esta propiedad con un fenómeno observado en los modelos de lenguaje: generan bien fragmentos locales de código, pero fallan al razonar sobre propiedades globales del programa, llenando el código de comprobaciones innecesarias que multiplican los estados posibles. Si esa limitación persiste, el diseño de lenguajes con garantías locales fuertes —como Rust— ofrece un camino para producir software fiable. Para ello, el texto sitúa el argumento en una línea más amplia: los grandes saltos de productividad en software han venido siempre de eliminar barreras accidentales, no de encontrar balas de plata. Rust elimina, en el dominio de la concurrencia, una barrera que antes parecía insalvable.