Hacker News new | ask | show | jobs
user: permute
created: 2026-05-27
karma: 131

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
109 points | 47 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
93 points | 21 comments
0 points | 0 comments
0 points | 0 comments