熱點事件持續更新
Lasm releases Lean WebAssembly
1 篇報導1 個報導來源4 小時前更新
先了解這件事
AI 綜述
Lasm 讓 Lean 4 程式直接編譯成 WebAssembly，支援 Node、Serverless、Edge 與瀏覽器即時部署。
- 編譯與部署：一份 Lean 程式碼可產生 Node 伺服器、Lambda、Cloudflare Workers、Bun、Deno、WASI、瀏覽器等多種平臺輸出。
AI 根據報導生成 · 3 小時前更新
最新進展10月30日 10:05
Lasm：利用 Lean 4 編譯 WebAssembly，支援 Node、Serverless 與 Edge 即時部署報導時間線
沿著報導，瞭解事件的不同面向。
10月30日
- Hacker News (official RSS)精選Lasm：利用 Lean 4 編譯 WebAssembly，支援 Node、Serverless 與 Edge 即時部署
Lasm 讓 Lean 4 程式直接編譯成 WebAssembly，支援 Node、Serverless、Edge 與瀏覽器即時部署。 - 編譯與部署：一份 Lean 程式碼可產生 Node 伺服器、Lambda、Cloudflare Workers、Bun、Deno、WASI、瀏覽器等多種平臺輸出。
本事件熱度趨勢
還沒有足夠的連續觀測資料，暫不繪製趨勢。