[cctalk] Re: Tony Hoare (1934-2026)

Thank you for passing along that news. Another giant of our profession has passed. I remember a "Summer School" he taught alongside Dijkstra and Feijen (and one other whose name escapes me, I thought Gries but that seems odd) in the 1980s at Salve Regina College. It was an intense week analyzing and proving algorithms. The blog mention of the origin of quicksort reminds me a bit of Dijkstra's story of the origin of one of the algorithms he is famous for, the shortest path algorithm. That came into existence at a restaurant, as he was planning a demo program for an Open House where the ARMAC was going to be shown to the public. The demo involved a model of the Dutch railroad network, and it would tell you the best route to go between any two cities. paul