» Tag
csg
2 postsFormally Verified 3D CSG: Trust a 93-Line Spec, Not 1000 Lines of AI Code
First formally verified 3D mesh intersection kernel in Lean 4: a 93-line spec replaces review of 1000+ lines of AI code and 60,000+ lines of proofs.
Forge3D Spaces: Text-to-3D Building CAD Running in the Browser
Forge3D Spaces converts text prompts into 3D buildings in-browser using an LLM-to-solver pipeline, WebGPU fallback, and real-time CSG wall cutting.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com