·
Archived topic · source no longer tracked
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
Time & source
Times shown in UTC
Display time zone: UTC
Local time zone unavailable; showing UTC.
IngestedOffset at this time: UTC+0Jul 28, 2026, 18:00 UTC
- Ingested
- Jul 28, 2026, 18:00
- Source type
- Unclassified