Show HN: Formally verified 3D CSG: trust a 93-line spec, not just generated code The headline points to a useful idea: a short specification can be more important than a much larger body...
THE NONILION JOURNAL
Insights for amore humanfuture.
Stories, field notes and provocations from the frontier of digital work.













