News for hackers. Stuff that matters.

A comment on Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code. Parent comment

Re:Show HN: Formally verified 3D CSG: Trust 93 lines spec, n... by TobiasJacob on Tuesday July 28, 2026 @11:47AM (#49085688)
It uses exact rational numbers everywhere, represented as quotient of 2 unbounded integers.
[ Parent | on HN ]

There are no comments on this comment yet.