Hacker News new | past | comments | ask | show | jobs | submit
yodsanklai | on: Tony Hoare has died
Actually, thanks to AI, this may change soon! we may be in a place where widespread formal verification is finally possible.