Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed from Hacker News on 2026-06-04 22:06 (#763G3) Comments
