Vai al contenuto

root / tags / 1

#1

2 fiches

Agenti di codifica IA e Skills Traduzione verificata automaticamente

Rewriting Bun in Rust

Resoconto tecnico di prim'ordine di **Jarred Sumner**, creatore di **Bun** (runtime JS/TS, >22M download/mese), sulla **riscrittura completa di Bun da Zig a Rust in 11 giorni** (3→14 maggio 2026) guidata da **Claude** — un caso di studio eccezionale di ingegneria del software assistita dall'IA **su scala industriale**. Motivazione: una classe ricorrente di bug (use-after-free, double-free, leak) derivante dal mix di memoria gestita da GC (JavaScriptCore) e memoria manuale (Zig); in **Rust sicuro**, questi bug diventano **errori di compilazione** con pulizia automatica (`Drop`/RAII) — "un ciclo di feedback migliore di una guida di stile". Rifiutando il dogma secondo cui "una riscrittura è sempre una cattiva idea" (un anno di blocco delle correzioni di bug per 3 ingegneri), Sumner sceglie un **porting meccanico** (preservare l'architettura, cambiamento minimo del comportamento) validato dalla **suite di test esistente, scritta in TypeScript e quindi indipendente dal linguaggio** (60.624 test, 1,39M asserzioni `expect()`, 0 test rimossi, 6 piattaforme). L'harness: **~50 workflow dinamici** in **Claude Code**, cicli *scrittura → 2+ revisori avversari → applicazione*, fino a **64 istanze Claude in parallelo** (4 worktree × 16), con **PORTING.md** + **LIFETIMES.tsv** generati in preparazione. Numeri: **6.502 commit** (picco 695/h, 58/min, ~1.300 righe/min), diff finale **+1.009.272 righe**, ~16.000 errori di compilazione trattati come una coda, **5,9 miliardi di token di input non in cache + 690M di output ≈ 165.000 $**. Leve metodologiche chiave: la **revisione avversaria** (un secondo Claude, contesto separato, vede solo il diff, incaricato di trovare perché è sbagliato — individua bug sottili che sono *semanticamente* diversi ma *sintatticamente* identici) e il principio **"correggere il processo che genera il codice, non il codice a mano".** Modello utilizzato: una pre-release di **Claude Fable 5** (classe Mythos). Dopo il merge: **11 round di revisione di sicurezza Claude Code**, fuzzing guidato dalla copertura 24/7 (100 miliardi di esecuzioni → ~15 PR), **4% di codice `unsafe`** (78% su una singola riga), **19** regressioni note corrette. In produzione: Claude Code v2.1.181, la prima release su Bun-in-Rust, **+10% di avvio più veloce su Linux**. Dichiarato in apertura: **Bun è stato acquisito da Anthropic nel dicembre 2025**.

#Bun#Jarred Sumner#riscrittura da Zig a Rust

Jarred Sumner (créateur de Bun ; travaille chez Anthropic depuis le rachat de Bun en décembre 2025)

Economia e Mercato Traduzione verificata automaticamente

Arthur Mensch (MistralAI) devant la commission d'enquête sur les vulnérabilités numériques — compte de l'Assemblée nationale

Testimonianza di **Arthur Mensch** (co-fondatore e CEO di **Mistral AI**) accompagnato da **Audry Herblin-Stoupe** (direttrice degli affari pubblici) davanti alla **commission d'enquête sur les vulnérabilités numériques** dell'Assemblea nazionale (presieduta da Philippe Latombe, assente — seduta presieduta dal relatore). Testimonianza sotto giuramento, ~1h15, maggio 2026. Tesi cardine di Mensch: ***"il cloud è intelligenza artificiale"*** — nessuna distinzione tra servizi digitali e IA, l'IA è l'unità atomica della catena del valore del cloud, dai semiconduttori (ASML) al deployment aziendale. **Mistral nel 2026**: 1.000 dipendenti, valutazione di 12 miliardi di euro, obiettivo di **1 miliardo di euro di fatturato entro fine 2026**, 1 miliardo di euro investiti in R&S nel corso dell'anno, 30% del fatturato in Francia / 70% fuori dalla Francia / ~75% in Europa, clienti: DINUM, Caisse des dépôts, France Travail, MACGM, Stellantis, TotalEnergies, BNP Paribas, ministère des Armées, Lussemburgo (amministrazione centrale). **Quadro concettuale di Mensch**: l'IA è una **risorsa naturale** — *"trasformiamo l'elettricità in intelligenza, in generazione di token."* Economia: 1 GW di data center = **50 miliardi di dollari di investimento in 5 anni**, genera **20 miliardi di dollari di token/anno** ≈ 50% di margine lordo. Lungo la catena elettrone→token, **circa il 10% del valore è nell'elettrone**, il 90% altrove (chip, software, servizi). **Tesi macro allarmista**: se l'Europa importa il 10% del proprio monte salari in IA non europea, ciò equivale a **un deficit commerciale aggiuntivo di 1.000 miliardi di euro**; sono necessari 20.000 miliardi di euro di investimenti infrastrutturali per servire l'Europa (40 GW Francia / 400 GW Europa). **Strategia di sovranità**: ***"non pensare alla sovranità come isolazionismo ma come leva."*** **Pressione temporale**: *"non abbiamo tempo"* — una finestra di **2 anni** prima che le risorse energetiche europee vengano monopolizzate dagli hyperscaler americani che investono **1.000 miliardi di dollari/anno**. **Cinque diagnosi operative**: (1) Onere normativo = 5 addetti alla compliance in Mistral, 27 normative non sincronizzate, imprenditori che lasciano per gli Stati Uniti; (2) Mercato frammentato = ~60 operatori telco europei contro 3 negli Stati Uniti; (3) Appalti pubblici sottoutilizzati come leva strategica (50% del PIL UE); (4) Energia: 9 GW di surplus francese a rischio di essere monopolizzati da attori statunitensi entro 2 anni; (5) Distillazione = una tecnica di riduzione dei costi, **non** un recupero tecnologico. **Dottrina della difesa**: Mistral collabora con il ministère des Armées, rifiutando esplicitamente una "supervisione" dell'uso finale ("non abbiamo legittimità democratica"), un posizionamento *anti-Anthropic-Mythos*. **Cybersicurezza**: riconosce le capacità offensive dei modelli ("cresce in modo lineare, prevedibile, per tutti nello stesso momento"), si oppone al *fear marketing* di un concorrente americano (implicitamente Anthropic). **Campus IA**: partecipazione fortemente minoritaria, potenziale fornitore (Mistral + hyperscaler), 35 miliardi di euro MGX/Abu Dhabi + Nvidia, 100 ettari a Saint-Arnoult, 1,4–1,6 GW (= Flamanville), energia nucleare francese = impronta di carbonio ridotta. **Annotazione**: team di dottorandi (non più microworker), Madagascar per la robotica con garanzie salariali. **Modello di business**: nessuna bolla sul lato della domanda, **collo di bottiglia dell'offerta** (chip, memoria, elio, elettroni). **Conclusione di avvertimento**: *"se non lo facciamo abbastanza in fretta, diventeremo uno stato vassallo."*

#Arthur Mensch#Mistral AI#Audry Herblin-Stoupe

**Arthur Mensch** (cofondateur et directeur général de **Mistral AI**) accompagné d'**Audry Herblin-Stoupe** (directrice des affaires publiques et de la communication, Mistral AI). Mensch a cofondé Mistral AI le 28 avril 2023 avec **Guillaume Lample** et **Timothée Lacroix** — tous les trois précédemment dans les *« gros acteurs américains »* (Google DeepMind / Meta FAIR). Audition tenue devant la **commission d'enquête de l'Assemblée nationale sur les vulnérabilités numériques** · présidée par **Philippe Latombe** (député MoDem, Vendée — absent ce jour). Séance présidée par la **rapporteur** (non nommée dans le transcript) · avec interventions du président lui-même (revenu en cours) · du député **Arnaud Saint-Martin** (LFI/Saint-Arnoult — sa circonscription accueille Campus IA) · et de la rapporteur sur les questions économiques.