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

En onze jours, entre le 3 et le 14 mai 2026, Jarred Sumner a porté Bun de Zig vers Rust : 535 496 lignes de Zig réécrites sous le harnais d'environ 50 workflows dynamiques dans Claude Code. Le motif était une seule classe de bug, use-after-free, double-free et fuites produites par le mélange entre la mémoire gérée par le ramasse-miettes de JavaScriptCore et la mémoire gérée manuellement. En Rust sûr, ces défaillances se manifestent sous forme d'erreurs de compilation, et le nettoyage revient à `Drop` et au RAII. Sumner présentait cela comme une boucle de rétroaction meilleure qu'un guide de style.

Kent Beck a rencontré la face opposée de la même propriété. En construisant BPlusTree3 sur 110 à 130 heures, il s'est retrouvé bloqué par le modèle de possession de Rust et la complexité cumulative qu'il produisait, puis a fait écrire le code d'abord en Python avant de le faire transposer en Rust par le Remote Agent d'Augment pour pouvoir repartir. Un rapport de recherche de janvier 2026 sur l'adéquation des langages au Spec Drive Development classe Rust comme à friction élevée pour la même raison : le Borrow Checker entre en collision avec la sortie probabiliste des LLM, et les boucles de correction qui en résultent coûtent des tokens et du temps.

Rust apparaît aussi comme le substrat choisi partout où la coordination constitue le goulot d'étranglement : Home Mixer et Thunder dans la pile de recommandation de X que xAI a rendue open source le 15 mai 2026, et le relais Nostr derrière Buzz de Block. La garantie et la friction ne sont qu'un même mécanisme vu de ses deux extrémités. Après le portage de Bun, environ 4% du code est en `unsafe`, et 19 régressions ont été corrigées après la fusion.

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
7
Citée dans
2 fiches

Voisinage

BPlusTree3 Home Mixer Bun Buzz 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 ↗
Buzz TECHNOLOGIE confiance élevée évolutif 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)