Hacker News new | past | comments | ask | show | jobs | submit
doug_durham | on: AI is forcing us to pay off 40 years of technical debt
No software of normal complexity can be "provable". There will always be bugs no matter the strength of the AI.
theendisney | parent
Normal in some cases might be far from what was really needed. Perhaps the two kinds of software can grow further appart?