Zero-axiom Lean 4 proof of Yang–Mills R^4 defect via Peano arithmetic
Middle of the pack
Beat 68% of Show HN launches that day
#10 of 47 on Nov 13
8.4% of Other launches (8 of 95) reached 10+ points in the last 7 days. See Other →
points · since listing → Nov 13, 10:27 UTC
Still tracked: re-read by each daily run while under ~168h old (window closes ~Nov 20, 06:47 UTC).
comments · buzz 0 in latest interval
listed Nov 13, 06:47 UTC
Traction (points) over time
Key statistics
- Traction
- 3points
- Comments
- 0
- Rank in MISC this week
- #21of 99 HN
- Rank overall this week
- #204of 1,038 HN
- Sector hit rate
- 8.4%8/95 · 7D
- Traction line
- Below10+ points
- First reading
- 3Nov 13, 10:27 UTC
- Last reading
- 3Nov 13, 10:27 UTC
- Readings
- 1over 4h
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 of Yang–Mills R^4 defect via Peano arithmetic.
Free, every Tuesday. Unsubscribe anytime.
Top on Nov 13 · 47 Show HN launches that day, by points
- #1I built a Rick and Morty explainer video generator11 points
- #2PharmA2A, an open protocol for pharmacy-to-supplier orders on A2A8 points
- #3KittyBrowser, I built a web browser in your terminal5 points
- #4UmsfuseFUSE driver and tools for UMSDOS4 points
- #5As IrfanView isn't on Linux, I've vibe-coded my own image viewer4 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
Listed in the latest interval; no earlier reading to compare
Velocity
——
Votes per hour since listing (age capped at 48h)
Listed under 6h ago; too early to measure
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
Still being tracked; graded once settled (48h)
Launch-day race · #10 of 47 Show HN launches on 2026-11-13
- #8Vibeberry.io3 points
- #9Wonderchat3 points
- #10Zero-axiom Lean 4 proof of Yang–Mills R^4 defect via Peano arithmetic3 points
- #11Real-time inventory of natural stone slabs in US3 points
- #12Woolly3 points
Maker? Add your website and we will link it from this page.
Discussion
No comments yet. Open on Hacker News →
Keep going
- #11 of 47 on Nov 13Real-time inventory of natural stone slabs in US →
- 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