熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
好的,考慮到 GPT-5.4 和 Codex 的驚人智慧和能力,並且考慮到我相信我們現在已經達到了 AGI 的第一個層次,我現在將開始委託我自己的 @karpathy 自我研究風格的代理來解決極其困難或不可能的計算機科學和軟體工程問題。
以下是我目前的清單:
1. 自我托管的 Wasm Rust 編譯器
2. ProofScript
3. Rust AI 編譯器
4. 一般計算的實時有效性證明
5. 高效的完全同態加密
我大約一兩個小時前剛開始進行第一項。自我托管 Rust 用於 Wasm 是我至少想要六年的事情。這基本上會給我們一個在 Wasm 中的 Rust 編譯器,所以想像一下 rustc 在瀏覽器或 Node.js 中運行。npm install rustc,然後你就可以開始編譯 Rust 程式。
一個非常實用的例子是 Rust playground 網頁應用程式。現在它基本上是一個客戶端-伺服器架構,編譯必須在伺服器上進行。將 rustc 編譯成 Wasm,我們可以省去這個往返,直接在瀏覽器中編譯 Rust。
我會告訴你進展如何。
@mwilliammyers @karpathy 僅供參考,gpt-5.4 codex 已經在 rustc 自我托管上工作了大約 5-6 小時,現在看起來快要編譯它的第一個簡單 crate,rust-base64,使用 rustc 在 wasmtime 中。我非常期待看看這是否能成功。
@mwilliammyers @karpathy 好的,它只到完全在 Wasm 中鏈接。我現在正在啟動鏈接步驟,並將讓它運行到早上結束,直到完成或卡住。
174
熱門
排行
收藏
