Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
permute | Dark Hacker News
user:
permute
created:
May 27, 2026
karma:
97
submissions
comments
1.
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
(github.com)
68 points
by
permute
2 hours ago
|
26 comments
2.
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
(github.com)
93 points
by
permute
53 days ago
|
21 comments
3.
59 days ago
|
discuss