Had they included just one of Tony Hoare’s achievements, many scientific careers would be considered prestigious enough. His had a long list, unfortunately closed by his passing away at the age of 92 ...
Commentary: I learned valuable things, such that if you threw your laptop out the window, I would be able to say which parts ...