rademaker

7 ms·

1. 1.▲
   by rademaker 7mo ago

   In his latest essay, Leonardo de Moura makes a compelling case that if AI is going to write a significant portion of the world’s software, then verification must scale alongside generation. Testing and code review were never sufficient guar
2. 2.▲
   by rademaker 7y ago

   I have been working on that direction with Lean Theorem Prover ( https://leanprover.github.io ). There is also works using Coq ( https://link.springer.com/chapter/10.1007/978-3-642-35786-2_... )
3. 3.▲
   by rademaker 7y ago

   That is SUMO Ontology ( http://ontologyportal.org )! It is open, in GitHub and people can contribute.
4. 4.▲
   by rademaker 7y ago

   In my machine it took seconds.