Sir Tony Hoare - 11/1/34-5/3/26 - RIP