RIP John McCarthy

John McCarthy died on Monday.

One of those guys, like Grice, who influenced more by teaching than by writing.  He and Knuth helped define the reputation of Stanford.