On Thu, Oct 27, 2011 at 1:44 PM, Aaron Konstam wrote: > In case you missed it, John McCarthy died at 84. I guess you don't have > to lisp to know about him:-) First Jobs, then Ritchie, now McCarthy... Al Gore should be watching his back...