Rust
Rust — Tecnología. inconveniente_SDD: Borrow Checker vs naturaleza probabilística LLM · rol: Lenguaje destino; safe Rust convierte UAF/double-free/fugas en errores de compilación, limpieza automática vía Drop (RAII); ~4 % de código unsafe tras la migración
Jarred Sumner reescribió Bun de Zig a Rust en once días, del 3 al 14 de mayo de 2026, usando alrededor de cincuenta flujos de trabajo dinámicos en Claude Code. La motivación fue una clase de error: use-after-free, double-free y fugas de memoria surgidas de mezclar la memoria gestionada por el recolector de basura de JavaScriptCore con la memoria administrada manualmente de Zig. En Rust seguro esos casos se convierten en errores de compilación, con la limpieza gestionada por Drop. El port llegó a 6.502 commits y unos 16.000 errores de compilación tratados como una cola de trabajo, costó cerca de $165.000 en tokens y dejó un 4% de código unsafe.
Esa misma rigurosidad se lee como un lastre en otros contextos. Un informe de investigación sobre la idoneidad de los lenguajes para Spec Drive Development sitúa a Rust en el extremo de alta fricción: el borrow checker entra en conflicto con la naturaleza probabilística de los LLM, lo que genera bucles de corrección costosos en tokens y en tiempo. Kent Beck se topó con la versión concreta de esto al construir BPlusTree3, abandonando dos versiones a medida que el modelo de propiedad de Rust acumulaba complejidad, hasta desbloquear el trabajo escribiendo primero en Python y transliterándolo a Rust mediante el Remote Agent de Augment.
Rust también aparece como infraestructura, no como tema. Home Mixer, el orquestador del feed For You de X, y Thunder, su almacén de candidatos en memoria alimentado por Kafka, están escritos en él.
Lo que queda sin resolver es si el compilador es el revisor más fiable del agente o su carga más pesada. La reescritura de Bun hizo ciertas ambas cosas a la vez: 16.000 errores por resolver, y una clase de errores de memoria que ya no podía llegar a producción.
- Tipo
- Tecnología
- inconveniente_SDD
- Borrow Checker vs naturaleza probabilística LLM
- rol
- Lenguaje destino; safe Rust convierte UAF/double-free/fugas en errores de compilación, limpieza automática vía Drop (RAII); ~4 % de código unsafe tras la migración
- relaciones
- 6
- Citada en
- 2 fiches
Vecindario
← utiliza
→ reduce
→ reemplaza