Hacker GitHub

← All repos

schildep/verified-3d-mesh-intersection

View on GitHub ↗ ★ 110 Lean

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

6 mentions on Hacker News by 2 people: 1 story, 5 comments · first 2026-07-28 · latest 2026-07-28

Mentions per year 6 mentions · busiest year 2026 (6)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 115
    Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
    story by permute · 2026-07-28 · 49 comments