Sir Tony Hoare has died | Hacker News