Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs that understand formal verification and its programming languages.
Lean is one of the most popular languages that allow for formal verification, and to me is incredibly powerful because it is a general purpose programming language with formal verification built directly into it.
You can build general purpose software in Lean, and formally verify it in Lean. Amazing.
Lasm brings Lean to the browser, Node, serverless, and edge environments (and more). The idea is that you can now write web apps, frontend to backend, in Lean and formally verify these apps.
Imagine an Express server or Hono server, running on Cloudflare Workers, with formal verification of its specification.
I'm an agentic engineer with an emphasis in software engineering, and Lasm was built mostly by Claude Opus 5.5 with my high-level direction.
Comments URL: https://news.ycombinator.com/item?id=50299004
Points: 7
# Comments: 0
Article URL: https://github.com/picocss/pico/discussions/754
Comments URL: https://news.ycombinator.com/item?id=50298964
Points: 44
# Comments: 15
Β© Meridith Kohut for The New York Times
Β© Dado Ruvic/Reuters
Β© Heather Diehl/Getty Images
Grand jury subpoenas sent to election workers in Los Angeles come amid escalating tensions between the Trump administration and California election officials over the state's voter rolls.
(Image credit: Patrick T. Fallon)
Β© Kerry Tasker/Reuters
Article URL: https://github.com/herdrdev/herdr-app
Comments URL: https://news.ycombinator.com/item?id=50298436
Points: 39
# Comments: 33
Login