Lasm brings formally verified Lean apps to JS and WebAssembly runtimes
hargup13 · x · 2026-10-29
Developer lastmjs released Lasm, described as "Lean for JavaScript and WebAssembly runtimes," enabling formally verified Lean apps to run on Node.js servers, serverless and edge platforms, and in the browser.
The author claims formal verification is "now possible everywhere that JS and Wasm run," and shared the GitHub repo — an attempt to push Lean from a research tool into mainstream web runtimes.
More from coding & agent
- Dev shows GPT-6 Astra staging a JUCE recreation of the Roland TB-303 synth — kylegawley · 2026-10-29
- Espressif launches ESP-Mosaico: an ESP32-S31 kit built for vibe coding — songguoxiansen · 2026-10-29
- Dev shares design notes for a remote MCP server letting 20+ Claude projects share one board — mmmmjjjj1228 · 2026-10-29
- Dev post-trains Qwen3-4B into a tool-using agent: 66 MB llama.cpp LoRA runs on a Mac, val 0.51→0.83 — DesignerIsland5524 · 2026-10-29
- Dev builds read-only Grok Bot assistant that answers questions from your Mac screen and call history — bfrench · 2026-10-29
- Dev recalls 5,000 GitHub contributions in one day: "I could see reasoning traces in my sleep" — vincent_koc · 2026-10-29