Prediction: AI will make formal verification go mainstream

(martin.kleppmann.com)

8 points | by raphlinus a day ago ago

2 comments

$ 15 hours ago

[deleted]
$exidex a day ago

What a grim future, just chat with a bot without ever seeing the code