A malleable and formally verified Web engine
Strong launch
Beat 88% of Show HN launches that day
#18 of 175 on Oct 29
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.
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 5, 06:28 UTC).
comments · buzz 0 in latest interval
listed Oct 29, 06:28 UTC
Traction (points) over time
Key statistics
- Traction
- 6points
- Comments
- 0
- Rank in MISC this week
- #9of 88 HN
- Rank overall this week
- #88of 998 HN
- Sector hit rate
- 8.0%7/88 · 7D
- Traction line
- Below10+ points
- First reading
- 6Oct 29, 16:38 UTC
- Last reading
- 6Oct 31, 15:35 UTC
- Readings
- 3over 57h
Grades · each graded against other Other launches from the same source
Momentum
C+0 points
Traction gained in the latest daily interval
Better than 48% · vs 77 still-tracked Other · Show HN launches
Velocity
A0.13 points/h
Votes per hour since listing (age capped at 48h)
Better than 86% · vs 338 Other · Show HN launches, last 30 days
Engagement
——
Comments per 10 points
Needs 10+ points; below that the ratio is mostly noise
Staying Power
——
Votes at last reading ÷ votes at first reading
Needs 10+ points and readings from two runs
Launch-day race · #18 of 175 Show HN launches on 2026-10-29
- #16OpenArcanum7 points
- #17Sunlight7 points
- #18A malleable and formally verified Web engine6 points
- #19Fabivo6 points
- #20SortSage6 points
Is this your launch? Show your rank
Add this badge to your site or README. It updates every day with your current rank.
<a href="https://launchindex.ai/product/65265" target="_blank"><img src="https://launchindex.ai/badge/65265" alt="A malleable and formally verified Web engine on Launch Index" height="54" /></a>Discussion
No comments yet. Open on Hacker News →
Others in this sector · top Show HN launches in Other by traction, last 7 days
- 42 points0
- hyperbin
This Halloween, take out your Trash before monsters move in
15 points▲ +6 - Agentsh
A Decentralized, Scalable Multiagent Harness
12 points0 - 11 points0
- ReVault
new secure archive format
10 points0 - Fishoid
an ambient fish tank for your screen
7 points▲ +7 - 7 points▲ +1
- Achive
12y/O built commitment app, 95% of failed stakes to hospice
7 points0
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