Sir Tony Hoare, who has died aged 92, was a leading figure in computer software design best known for developing a leading algorithm for sorting lists – when he was 26.

The library sorting problem is used across computer science for organizing far more than just books. A new solution is less than a page-width away from the theoretical ideal. Computer scientists often ...