#verifiedsoftware — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #verifiedsoftware, aggregated by home.social.
-
Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
https://github.com/schildep/verified-polygon-intersection
#HackerNews #polygonintersection #verifiedsoftware #formalverification #Opus4.8 #technews
-
Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
https://github.com/schildep/verified-polygon-intersection
#HackerNews #polygonintersection #verifiedsoftware #formalverification #Opus4.8 #technews