HN comments for: Tony Hoare has died