permute Karma 126 Created 2 months ago Recent Submissions 1. ▲ Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com) 102 points · 7 hours ago · 44 comments 2. ▲ Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com) 93 points · 1 month ago · 21 comments All submissions on HN · View profile on HN