Articles by permute
61

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com/schildep)

7 hours ago permute github.com
32

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com/schildep)

a month ago permute github.com
2

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com/schildep)

a month ago permute github.com