Y
Hacker News
new
|
ask
|
show
|
jobs
user:
permute
created:
2026-05-27
karma:
50
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
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
93 points
|
21 comments
0 points
|
0 comments
0 points
|
0 comments