{"type": "article", "title": "Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/show-hn-formally-verified-3d-csg-trust-93-lines-spec-not-1000-lines-ai-code", "original_source": "https://github.com/schildep/verified-3d-mesh-intersection", "published": "2026-07-28T13:07:14+00:00", "accessed": "2026-07-28", "id": "show-hn-formally-verified-3d-csg-trust-93-lines-spec-not-1000-lines-ai-code"}