Hacker News
points by doug_durham 3 days ago | 0 comments
No software of normal complexity can be "provable". There will always be bugs no matter the strength of the AI.
[–] theendisney 3 days ago
Normal in some cases might be far from what was really needed. Perhaps the two kinds of software can grow further appart?
Hacker News