Post #816965

Tony Hoare, in addition to his outsize influence on verification (and computer science in general), was a very kind and supportive person. It was very sad to hear he's no longer with us. https://cacm.acm.org/news/in-memoriam-c-a-r-hoare/