FM News

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

by Hacker News4d agogithub.com

fmode.me/n/show-hn-formally-verified-3d-csg-trust-93-lines-spec-not-1000-lines-ai-code

Read the full article

https://github.com/schildep/verified-3d-mesh-intersection

More from FM News

Running Kimi K3 on MI355X at Better Performance per Dollar Than B3001 pts · Hacker News The Rowboat1 pts · Seth Godin Elena, a library for building Progressive Web Components1 pts · Hacker News The teenage hitmen recruited to kill across Europe1 pts · Hacker News

Back to FM News