Va bene, considerando l'incredibile intelligenza e le capacità di GPT-5.4 e Codex, e considerando che credo che abbiamo ora raggiunto il primo livello di AGI, inizierò a commissionare i miei agenti in stile autoresearch di @karpathy per risolvere problemi di informatica e ingegneria del software estremamente difficili o impossibili. Ecco la mia lista attuale: 1. Compilatore Rust Wasm auto-ospitato 2. ProofScript 3. Compilatore AI Rust 4. Prove di validità in tempo reale per il calcolo generale 5. Crittografia completamente omomorfica performante Ho appena iniziato un'ora o due fa con il numero 1. L'auto-ospitalità di Rust per Wasm è qualcosa che desidero da almeno sei anni. Questo ci darebbe essenzialmente un compilatore Rust in Wasm, quindi immagina rustc che gira nel browser o in Node.js. npm install rustc, e sei pronto a compilare programmi Rust. Un esempio molto pratico di dove questo sarebbe utile è l'applicazione web Rust playground. In questo momento è essenzialmente un'architettura client-server, dove la compilazione deve avvenire su un server. Con rustc compilato in Wasm, potremmo eliminare quel round-trip e semplicemente compilare Rust direttamente nel browser. Ti farò sapere come va.
@mwilliammyers @karpathy FYI gpt-5.4 codex sta lavorando sul self-hosting di rustc da circa 5-6 ore ormai, e sembra che sia vicino a compilare il suo primo semplice crate, rust-base64, con rustc in wasmtime. Sono estremamente entusiasta di vedere se questo funziona
102