Yhn BusinessBanking first seen 4 d ago, last 23 min ago, peak #2
Lasm brings formally verified webapps to Node and serverless
Original: Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
A developer has released Lasm, an open-source tool that lets programmers write web applications in the Lean theorem prover so they can be formally verified and then deployed to Node.js, serverless platforms, or edge runtimes. The project, shared on Hacker News, is drawing attention for combining mathematical proof of correctness with mainstream web deployment targets.
Why now: Formal verification is rarely applied to ordinary web development, so a tool bridging Lean and Node/serverless deployment is novel to the programming community.
LasmLeanNode.jsHacker NewsGitHub
Rank over time, top of the chart is #1. 481 snapshots from 4 d ago to 23 min ago.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/4191704