Hacker News new | past | comments | ask | show | jobs | submit
tombert | on: Tony Hoare has died
I think I and most people had hoped that he would DIV instead.