Alright, considering the astounding intelligence and capabilities of GPT-5.4 and Codex, and considering that I believe we have now reached the first level of AGI, I will now begin to commission my own @karpathy autoresearch-style agents to solve extremely difficult or impossible computer science and software engineering problems. Here's my current list: 1. Self-hosted Wasm Rust compiler 2. ProofScript 3. Rust AI compiler 4. Real-time validity proofs for general computation 5. Performant Fully Homomorphic Encryption I just started an hour or two ago with number 1. Self-hosting Rust for Wasm is something I've wanted for at least six years. This would essentially give us a Rust compiler in Wasm, so imagine rustc running in the browser or Node.js. npm install rustc, and you're off compiling Rust programs. A very practical example of where this would be useful is the Rust playground web application. Right now it's essentially a client-server architecture, where compilation must happen on a server. With rustc compiled into Wasm, we could cut out that round-trip and just compile Rust right in the browser. I'll let you know how it goes.

@mwilliammyers @karpathy FYI gpt-5.4 codex has been working on the rustc self-hosting for like 5-6 hours now, and it looks like it's getting close to compiling its first simple crate, rust-base64, with rustc in wasmtime. I'm extremely excited to see if this works