https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html RIP