Yhn BusinessBanking first seen 3 d ago, last 2 min ago, peak #2
Lasm brings formally verified webapps to Node with Lean
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 formally verified web applications in the Lean proof assistant language and deploy them to Node.js, serverless and edge environments. The project is on GitHub, and early reactions on Hacker News are discussing how mathematical verification could reduce bugs in web development.
Why now: Formal verification is rarely applied to everyday web development, so the idea of provably correct webapps is drawing curiosity from developers.
Rank over time, top of the chart is #1. 345 snapshots from 2 d ago to 2 min ago.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/4191704