Aller au contenu
Technologie

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

BPlusTree3 Home Mixer Bun efficacité du flux S… Zig

← utilise

BPlusTree3 TECHNOLOGIE confiance élevée stable Source ↗
Home Mixer TECHNOLOGIE confiance élevée stable Source ↗
Bun TECHNOLOGIE confiance élevée stable Source ↗

→ réduit

efficacité du flux SDD (friction élevée) CONCEPT confiance élevée atemporel Source ↗

→ remplace

Zig TECHNOLOGIE confiance élevée stable Source ↗

Citée dans (2)