Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

(github.com) by permute | Jun 4, 2026 | 0 comments on HN