#formallyverified — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formallyverified, aggregated by home.social.
-
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
https://github.com/schildep/verified-3d-mesh-intersection
Comments: https://news.ycombinator.com/item?id=49083239
#HackerNews #formallyverified #3DCSG #trust #AIsafety #meshintersection #techinnovation
-
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
https://github.com/schildep/verified-3d-mesh-intersection
Comments: https://news.ycombinator.com/item?id=49083239
#HackerNews #formallyverified #3DCSG #trust #AIsafety #meshintersection #techinnovation