Computational Complexity: Tony Hoare (1934-2026)
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html