Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
0 comments
- Points6
- Comments0
–Rank now
#26Peak rank
1Days on list
–Score · 7d
Oct 30, 2026First seen
On Hacker News
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…
- Points
- 6
- Comments
- 0
- Submitted by
- lastmjs
- Posted
- Oct 30, 2026
- Site
- github.com
Story details from Hacker News ↗ · linked article on github.com.
Trending history
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge was first seen on Hacker News · Front page on Oct 30, 2026. Since then it has appeared in 17 checks on 1 different day. Its best position was #26 of 30, reached on Oct 30, 07:07 UTC. It dropped off the list after Oct 30, 07:07 UTC.
Rank history
Position on Hacker News · Front page at every check (lower is better).
Last 14 days
Best rank per day (UTC).
26
Oct 26today
Metric history
Platform metric as reported by Hacker News.
Featured in
Archived daily, weekly and monthly lists that include this entry.
Hacker News 1 day, best #26
Questions
Is Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge trending on Hacker News right now?
Not at the moment. It was last on the list on Oct 30, 07:07 UTC, after 1 day of trending.
What is the highest rank Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge reached?
#26 on Hacker News · Front page, on Oct 30, 07:07 UTC. Trendoday checks this list every 15 minutes.
How long has Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge been trending?
It was first seen on Oct 30, 2026 and has been on the list on 1 day (17 checks) since.
How much discussion did it get on Hacker News?
6 points and 0 comments; submitted by lastmjs on Oct 30, 2026.