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

(github.com) by permute | May 30, 2026 | 0 comments on HN