M martin.kleppmann.com AI will make formal verification go mainstream 827 points evakhoury 10 months ago 434 comments
