LAUNCH·INDEX
LNCH1,007+7.6%
Gemini 4 Argon plays St…HN228▲+42Jockey by TwelveLabsPH412▲+36WonderhopHN100▲+41Harness by AutonomousPH326▲+26FakeipediaHN29▲+27Tesla RoadsterPH244▲+25SignWithPH213▲+19Stoke MoneyHN29▲+8DottrPH120▲+9FlipflopHN140▲+5Muse Spark OpenPH84▲+7Camera Controls and Mot…HN9▲+5PomeradoPH171▲+6Fly a Tesla Roadster ov…HN8▲+4Memory ChessPH120▲+5rStationHN53▲+3Nemotron 3.5 Super VLPH77▲+5Things to Do APIHN6▲+2Tetriz HarnessPH67▲+5Netsat, a shared intern…HN3▲+2Hintly for Google Meet™PH132▲+3Guitoro, a virtual guit…HN570▲+1iKnowMyMacPH62▲+3UnfencedHN311▲+1

Experimental: traction = early-adopter votes (PH) / points (HN), not downloads or usage; updated about once a day and frozen ~31–36h after launch on Product Hunt (7 days on Show HN); sectors come from keyword rules (~70–75% accurate); data starts Oct 3 (HN) / Oct 9 (PH). “—” means not enough data; nothing is estimated. How it works

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.

Lemma, an IDE for reading mathematics (macOS, open source)

DEVTDeveloper Tools·HNShow HN
Visit product ↗
30

points · traction gained Oct 17, 02:39 UTC → Oct 17, 13:13 UTC · % shown only when the previous traction was 5+

Still tracked: re-read by each daily run while under ~168h old (window closes ~Oct 19, 14:10 UTC).

0

comments · buzz 0 in latest interval

5d

listed Oct 12, 14:10 UTC

Traction (points) over time

035Oct 13Oct 14Oct 15Oct 16Oct 17ListedOct 12, 18:53 UTC · 2 points · 0 comments · 5h after listingOct 13, 17:00 UTC · 2 points · 0 comments · 27h after listingOct 14, 14:36 UTC · 2 points · 0 comments · 48h after listingOct 15, 14:14 UTC · 3 points · 0 comments · 72h after listingOct 16, 14:01 UTC · 3 points · 0 comments · 96h after listingOct 17, 02:39 UTC · 3 points · 0 comments · 108h after listingOct 17, 13:13 UTC · 3 points · 0 comments · 119h after listing
7 readings (one per daily ingest run). Dots are recorded values; lines just connect them — nothing in between is measured.

Key statistics

Traction
3points
Comments
0
Rank in DEVT this week
#34of 162 HN
Rank overall this week
#202of 993 HN
Sector hit rate
10.6%17/161 · 7D
Traction line
Below10+ points
First reading
2Oct 12, 18:53 UTC
Last reading
3Oct 17, 13:13 UTC
Readings
7over 119h

Launch-day race · #28 of 141 Show HN launches on 2026-10-12

  1. #26I bought a bunch of 'smart' devices. AI was able to hack most of them3 points
  2. #27Boole-1.7B, a 1-bit LLM that outperforms Bonsai-1.7B3 points
  3. #28Lemma, an IDE for reading mathematics (macOS, open source)3 points
  4. #29Nitro3 points
  5. #30Closed Form3 points
All launches on 2026-10-12 →

Is this your launch? Show your rank

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

Lemma, an IDE for reading mathematics (macOS, open source) on Launch Index
<a href="https://launchindex.ai/product/8126" target="_blank"><img src="https://launchindex.ai/badge/8126" alt="Lemma, an IDE for reading mathematics (macOS, open source) on Launch Index" height="54" /></a>

Discussion HNHacker News·0 comments

No comments yet.

How comments are shown
  • Same layout for Show HN and Product Hunt, converted to plain text (formatting removed, links kept).
  • Times are in your local time; hover a time for the exact date.
  • Top-level comments first, oldest first, each followed by its direct replies (indented one level).
  • Product Hunt comments by the product's makers are labelled “Maker”.
  • Fetched live from the original site (cached ~15 min), never stored here. Long comments are excerpts — the full text and thread are on the original site.

Others in this sector · top Show HN launches in Developer Tools by traction, last 7 days

All Developer Tools stocks →

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