Rust
Rust — Technologie. Nachteil_SDD: Borrow Checker vs. probabilistische Natur von LLMs · Rolle: Zielsprache; safe Rust wandelt UAF/Double-Free/Lecks in Kompilierungsfehler um, automatische Bereinigung via Drop (RAII); ~4 % unsafe Code nach der Portierung
Jarred Sumner schrieb Bun in elf Tagen, vom 3. bis zum 14. Mai 2026, von Zig auf Rust um, unter Einsatz von rund fünfzig dynamischen Workflows in Claude Code. Auslöser war eine Fehlerklasse: use-after-free, double-free und Speicherlecks, die entstanden, wenn der von JavaScriptCore garbage-collectete Speicher mit manuell verwaltetem Zig-Speicher gemischt wurde. In sicherem Rust werden daraus Kompilierfehler, während Drop das Aufräumen übernimmt. Der Portierung folgten 6.502 Commits und rund 16.000 Kompilierfehler, die als Arbeitswarteschlange abgearbeitet wurden, sie kostete etwa $165.000 an Tokens und hinterließ 4% unsicheren Code.
Dieselbe Strenge liest sich anderswo als Nachteil. Ein Forschungsbericht zur Sprachwahl für Spec Drive Development verortet Rust am Ende mit der höchsten Reibung: Der Borrow Checker steht im Widerspruch zur probabilistischen Natur von LLMs und erzeugt Korrekturschleifen, die sowohl an Tokens als auch an Zeit teuer sind. Kent Beck erlebte die konkrete Ausprägung davon beim Bau von «BPlusTree3»: Er gab zwei Versionen auf, weil Rusts Ownership-Modell die Komplexität verstärkte, und löste die Blockade schließlich, indem er zunächst in Python schrieb und den Code über den Remote Agent von Augment nach Rust transliterierte.
Rust taucht auch als Infrastruktur auf, nicht als Gegenstand der Betrachtung. «Home Mixer», der Orchestrator des For-You-Feeds von X, und Thunder, dessen von Kafka gespeister In-Memory-Kandidatenspeicher, sind beide darin geschrieben.
Ungeklärt bleibt, ob der Compiler der zuverlässigste Prüfer des Agenten ist oder seine schwerste Steuer. Die Bun-Neuschreibung machte beides zugleich wahr: 16.000 Fehler, die es durchzuarbeiten galt, und eine Klasse von Speicherfehlern, die sich nicht mehr ausliefern ließ.
- Typ
- Technologie
- Nachteil_SDD
- Borrow Checker vs. probabilistische Natur von LLMs
- Rolle
- Zielsprache; safe Rust wandelt UAF/Double-Free/Lecks in Kompilierungsfehler um, automatische Bereinigung via Drop (RAII); ~4 % unsafe Code nach der Portierung
- Relationen
- 6
- Zitiert in
- 2 fiches
Nachbarschaft
← verwendet
→ reduziert
→ ersetzt