ILC'2005 was such a blast! Though ten hours of talks each day about theorem provers, correctness and other fancy stuff have taken their toll (image by Kevin Layer). I'm back in SFO giving my weary neurons a well deserved rest.

I was busy recording some of the talks, but I promised Carl Shapiro to wait for his approval before publishing any of the audio material. He will process the video recordings and get the approval from the speakers. I'll post a list of the talks I recorded shortly.

I got my copy of Anatomy of Lisp signed by John Allen! I'm allowed to bother him about a reprint, though he was not promising anything. We'll have to clarify the copyright situation first.

Wearing the John McCarthy shirt I approached John McCarthy and asked him for permission to keep producing the t-shirts. He accepted the t-shirt I brought along as a present (but unfortunately didn't wear it for his presentation). I have his talk on tape. Here's a quote regarding the Common Lisp standard (paraphrasing from memory):

If someone was to drop a bomb on this building, it would wipe out 50 percent of the Lisp community. That would probably be a good thing. It would allow Lisp to start over.