Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
Strong launch
Beat 76% of Show HN launches that day
#39 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 157h after listing. Show HN votes are re-read for ~168h.
comments
listed Nov 4, 21:20 UTC
Traction (points) over time
Key statistics
- Traction
- 4points
- Comments
- 1
- 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
- 3Nov 5, 18:13 UTC
- Last reading
- 4Nov 11, 10:42 UTC
- Readings
- 7over 157h
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 Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square".
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
B0.08 points/h
Votes per hour since listing (age capped at 48h)
Better than 79% · 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 · #39 of 164 Show HN launches on 2026-11-04
- #37HackerReels4 points
- #38Canopy, a cross-platform DAG engine for agents CLI4 points
- #39Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"4 points
- #40Tjaz3 points
- #41Who and where are your anagranames?3 points
Maker? Add your website and we will link it from this page.
Discussion
Keep going
- #40 of 164 on Nov 4Tjaz →
- 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