Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed Von Hackernews 04. Juni 2026 Programming ORIGINAL QUELLE:github.com Quelle: Hackernews Comments Tags: comments, formerly, Security, show, terrifier