A Lean 4 port of libexpat's XML 1.0 parsing semantics
Launched A Lean 4 port of libexpat's XML 1.0 parsing semantics? Get the free weekly brief →
Quiet launch
Beat 39% of Show HN launches that day
#74 of 164 on Nov 4
8.4% of Other launches (8 of 95) reached 10+ points in the last 7 days. See Other →
points · traction gained Nov 10, 10:45 UTC → Nov 11, 10:42 UTC · % shown only when the previous traction was 5+
Traction frozen — tracking ended at 164h after listing. Show HN votes are re-read for ~168h.
comments
listed Nov 4, 14:34 UTC
Traction (points) over time
Key statistics
- Traction
- 2points
- Comments
- 0
- Rank in MISC this week
- —not listed in the last 7 days
- Rank overall this week
- —
- Sector hit rate
- 8.4%8/95 · 7D
- Traction line
- Below10+ points
- First reading
- 2Nov 4, 21:23 UTC
- Last reading
- 2Nov 11, 10:42 UTC
- Readings
- 8over 164h
Get the launches that broke through, every Tuesday.
8 of 95 Other launches on Show HN reached 10+ points over the last 7 days. The weekly brief shows what they did differently, so you can compare A Lean 4 port of libexpat's XML 1.0 parsing semantics.
Free, every Tuesday. Unsubscribe anytime.
Top on Nov 4 · 164 Show HN launches that day, by points
- #1A decent text-to-image model trained for ~$20K (Apache 2.0 Weights)286 points
- #2After a decade of reversing, I got co-op working in DOS Wing Commander256 points
- #3Vegetable Gardening for Engineers217 points
- #4I built a tool that prices a pre-built PC part by part122 points
- #5Kino AI (YC S23)AI media manager and video editor112 points
More in Other · top Show HN launches, last 7 days
- Coldframe, a honeypot that poses as a supermarket fridge controller289 points0
- Valencia, Spain in Sim City/Isometric View252 points▲ +5
- FlideMake Jev-like decision models up to 9.5x faster124 points0
- MeowDisplay Is iPhone Mirroring, but in Reverse120 points0
- MicronOberon with the Power of C66 points▲ +6
Grades · each graded against other Other launches from the same source
Momentum
——
Traction gained in the latest daily interval
Not re-read in the latest run, so no recent gain
Velocity
C0.04 points/h
Votes per hour since listing (age capped at 48h)
Better than 49% · vs 377 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 · #74 of 164 Show HN launches on 2026-11-04
- #72Meshword2 points
- #73Skykeep2 points
- #74A Lean 4 port of libexpat's XML 1.0 parsing semantics2 points
- #75QAmcp2 points
- #76SpaceApp2 points
Maker? Add your website and we will link it from this page.
Discussion
No comments yet. Open on Hacker News →
Keep going
- #75 of 164 on Nov 4QAmcp →
- Case studyHow HackerBooks reached 1,861 points on Show HN with a five-word pitch →
- Case studyHow "Steal My Bitcoin" turned a two-word dare into the #1 Show HN of the week →
- CategoryOther: supply, hit rate, top launches →
Every Tuesday: the launches that broke through and the categories heating up. Get the free weekly brief →
Data as of Nov 13, 2026, 9:22 AM UTC. Sector comes from keyword rules on the title and tagline and can be wrong. How it works