There are reports coming in that Sir Tony Hoare has died. I got to meet him, and have dinner with him, when I was a freshman in college. I didn’t know anything about anything but he was nonetheless unfailingly kind and generous with his wisdom. Rest in peace.