Assure – formal verification for every PR Posted by Veloc1te on Thursday October 22, 2026 @09:21PM from the symbolia.ai dept. https://symbolia.ai/ ( Read More... | no comments | 2 points | on HN )
Google for the Physical World Posted by Veloc1te on Sunday March 21, 2021 @04:44AM from the planitstar.com dept. https://www.planitstar.com ( Read More... | 6 comments | 5 points | on HN )