Tony Hoare, the man who brought us the joy of segfaults and the joy of arguing over sorting algorithms, will be remembered fondly by many.