LAUNCH·INDEX

Lasm

Write formally verified webapps in Lean for Node/serverless/edge

INFRData & Infrastructure·HNShow HN
Visit product ↗

Breakout launch

Beat 96% of Show HN launches that day

#5 of 132 on Oct 30

Share on X

Launched something? See how it compares every week

The weekly Launch Index: the launches that broke through, and the categories heating up. Free, every Tuesday.

Free, every Tuesday. Unsubscribe anytime.

36+3 (+9.1%)

points · traction gained Oct 30, 16:20 UTC → Oct 31, 15:35 UTC

Still tracked: re-read by each daily run while under ~168h old (window closes ~Nov 6, 02:05 UTC).

20

comments · buzz +1 in latest interval

3d

listed Oct 30, 02:05 UTC

Traction (points) over time

02550Oct 31ListedOct 30, 16:20 UTC · 33 points · 19 comments · 14h after listingOct 31, 15:35 UTC · 36 points · 20 comments · 37h after listing
2 readings (one per daily ingest run). Dots are recorded values; lines just connect them — nothing in between is measured.

Key statistics

Traction
36points
Comments
20
Rank in INFR this week
#1of 58 HN
Rank overall this week
#25of 998 HN
Sector hit rate
6.0%3/50 · 7D
Traction line
Hit10+ points
First reading
33Oct 30, 16:20 UTC
Last reading
36Oct 31, 15:35 UTC
Readings
2over 37h

Grades · each graded against other Data & Infrastructure launches from the same source

Momentum

A

+3 points

Traction gained in the latest daily interval

Better than 99% · vs 49 still-tracked Data & Infrastructure · Show HN launches

Velocity

A

0.97 points/h

Votes per hour since listing (age capped at 48h)

Better than 97% · vs 174 Data & Infrastructure · Show HN launches, last 30 days

Engagement

—

5.6 per 10 points

Comments per 10 points

Too few peers to grade (17; need 20)

Staying Power

—

—

Votes at last reading ÷ votes at first reading

Still being tracked; graded once settled (48h)

Launch-day race · #5 of 132 Show HN launches on 2026-10-30

  1. #3I built a multiplayer game where you're an aerial fighter cat81 points
  2. #4Arsaze60 points
  3. #5Lasm36 points
  4. #6Sketch Stadium35 points
  5. #7Automatic deduction of FlashAttention kernel from ~25 lines of SQL25 points
All launches on 2026-10-30 →

Is this your launch? Show your rank

Add this badge to your site or README. It updates every day with your current rank.

Lasm on Launch Index
<a href="https://launchindex.ai/product/68614" target="_blank"><img src="https://launchindex.ai/badge/68614" alt="Lasm on Launch Index" height="54" /></a>

Discussion

Read the 20 comments on Hacker News →

Others in this sector · top Show HN launches in Data & Infrastructure by traction, last 7 days

All Data & Infrastructure stocks →

Data as of Oct 31, 2026, 3:03 PM UTC. Sector comes from keyword rules on the title and tagline and can be wrong. How it works