HN Explorer

permute

↗ HN profile [ 1739 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)

    To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins…

    115 points 20
  2. Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com)

    To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I…

    93 points 9