World

Page 12 of 17 · 489 retained trends

344WorldGlobalScore 40

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

A Hacker News discussion about Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge. The submitted context says: 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…

Hacker NewsSingle-source evidence
Read the full article