Hacker News new | past | comments | ask | show | jobs | submit
matchcase | on: Tony Hoare has died
Hoare's papers were some of my favorite. Rest in peace