Rust
Rust — Technologie. inconvénient_SDD : Borrow Checker vs nature probabiliste LLM · rôle : Langage cible ; safe Rust transforme UAF/double-free/fuites en erreurs de compilation, nettoyage auto via Drop (RAII) ; ~4 % de code unsafe après portage
Jarred Sumner a réécrit Bun de Zig vers Rust en onze jours, du 3 au 14 mai 2026, en s'appuyant sur une cinquantaine de workflows dynamiques dans Claude Code. La motivation tenait à une seule classe de bugs : use-after-free, double-free et fuites nés du mélange entre la mémoire à ramasse-miettes de JavaScriptCore et la mémoire gérée manuellement de Zig. En Rust sûr, ces bugs deviennent des erreurs de compilation, le nettoyage étant pris en charge par Drop. Le portage a représenté 6 502 commits et environ 16 000 erreurs de compilation traitées comme une file de travail, a coûté environ $165,000 en tokens, et a laissé 4% de code unsafe.
La même rigueur se lit comme un handicap ailleurs. Un rapport de recherche sur l'adéquation des langages au Spec Drive Development place Rust à l'extrémité la plus contraignante : le borrow checker entre en conflit avec la nature probabiliste des LLM, produisant des boucles de correction coûteuses en tokens comme en temps. Kent Beck s'est heurté à la version concrète de ce problème en construisant BPlusTree3, abandonnant deux versions à mesure que le modèle de possession de Rust faisait gonfler la complexité, avant de débloquer le travail en écrivant d'abord en Python puis en transposant vers Rust via le Remote Agent d'Augment.
Rust apparaît aussi comme infrastructure plutôt que comme sujet. Home Mixer, l'orchestrateur du fil For You de X, et Thunder, son magasin de candidats en mémoire alimenté par Kafka, sont tous deux écrits dans ce langage.
Ce qui reste non tranché, c'est si le compilateur est le relecteur le plus fiable de l'agent ou sa charge la plus lourde. La réécriture de Bun a rendu les deux vrais à la fois : 16 000 erreurs à écluser, et une classe de bugs mémoire qui ne pouvait plus passer en production.
- Type
- Technologie
- inconvénient_SDD
- Borrow Checker vs nature probabiliste LLM
- rôle
- Langage cible ; safe Rust transforme UAF/double-free/fuites en erreurs de compilation, nettoyage auto via Drop (RAII) ; ~4 % de code unsafe après portage
- relations
- 6
- Citée dans
- 2 fiches
Voisinage
← utilise
→ réduit
→ remplace