Prediction: AI will make formal verification go mainstream martin.kleppmann.com 9 points by raphlinus 2 days ago
What a grim future, just chat with a bot without ever seeing the code