Baiklah, mengingat kecerdasan dan kemampuan GPT-5.4 dan Codex yang menakjubkan, dan mengingat bahwa saya yakin kita sekarang telah mencapai tingkat pertama AGI, saya sekarang akan mulai menugaskan agen gaya @karpathy autoresearch saya sendiri untuk memecahkan masalah ilmu komputer dan rekayasa perangkat lunak yang sangat sulit atau mustahil. Berikut daftar saya saat ini: 1. Kompiler Wasm Rust yang dihosting sendiri 2. ProofScript 3. Kompiler Rust AI 4. Bukti validitas waktu nyata untuk komputasi umum 5. Enkripsi Homomorfik Sepenuhnya Berkinerja Saya baru saja memulai satu atau dua jam yang lalu dengan nomor 1. Hosting sendiri Rust for Wasm adalah sesuatu yang saya inginkan setidaknya selama enam tahun. Ini pada dasarnya akan memberi kita kompiler Rust di Wasm, jadi bayangkan rustc berjalan di browser atau Node.js. npm instal rustc, dan Anda akan mengkompilasi program Rust. Contoh yang sangat praktis tentang di mana ini akan berguna adalah aplikasi web taman bermain Rust. Saat ini pada dasarnya adalah arsitektur klien-server, di mana kompilasi harus terjadi di server. Dengan rustc yang dikompilasi ke dalam Wasm, kita dapat memotong pulang pergi itu dan hanya mengkompilasi Rust langsung di browser. Saya akan memberi tahu Anda bagaimana kelanjutannya.

@mwilliammyers @karpathy FYI codex gpt-5.4 telah mengerjakan rustc self-hosting selama 5-6 jam sekarang, dan sepertinya sudah hampir mengkompilasi peti sederhana pertamanya, rust-base64, dengan rustc di wasmtime. Saya sangat bersemangat untuk melihat apakah ini berhasil

@mwilliammyers @karpathy Oke, itu hanya menautkan sepenuhnya di Wasm. Saya mem-bootnya sekarang pada langkah penautan dan akan membiarkannya berjalan sepanjang pagi sampai selesai atau macet