Hacker News new | past | comments | ask | show | jobs | submit
zeroonetwothree | on: AI is forcing us to pay off 40 years of technical debt
A specific system could be proven to be secure. There is no general mechanism to prove all software secure however.