{"type": "article", "title": "Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/show-hn-formally-verified-polygon-intersection-opus-4-8-oneshots-prev-failed", "original_source": "https://github.com/schildep/verified-polygon-intersection", "published": "2026-05-30T01:21:18+00:00", "accessed": "2026-07-14", "id": "show-hn-formally-verified-polygon-intersection-opus-4-8-oneshots-prev-failed"}