I meant to post this at the time, but something happened, and the moment passed.
Dennis Ritchie.
9th September 1941 - 12th October 2011
And since then:
John McCarthy 4th September 1927 – 23rd October 2011
Dennis Ritchie.
9th September 1941 - 12th October 2011
And since then:
John McCarthy 4th September 1927 – 23rd October 2011
