Recurring themes in presentations and discussion in the hallway during ILC-2005:

• Keep the source code with the binary and version both
• Annotate code and define execution environments
• Make patching live systems reversible and keep track of all changes
• Code comprehension. Create programs that understand programs. Maybe teach CYC about programs and programming and let it read it's own code
• Code verification and correctness proofs

I'm totally convinced that, if we don't get at least engineering AI (as defined by Drexler) or usable program verification/proofs, the complexity of our systems will eventually make maintenance impossible.

I picked up some books while browsing book stores in San Francisco:

• FAB - The coming revolution on your desktop - From personal computers to personal fabrication by Neil Gershenfeld
• Marooned in Realtime by Vernor Vinge.
• Einstein's 1912 Manuscript on the Special Theory of Relativity. This is a facsimile reproduction of the original manuscript
• A Short History of Progress by Ronald Wright
• Nanofuture by J. Storrs Hall
• Stalking the Riemann Hypothesis by Dan Rockmore
• A World Without Time - The Forgotten Legacy of Goedel and Einstein by Palle Yourgrau
• Incompleteness - The Proof and Paradox of Kurt Goedel by Rebecca Goldstein
• The World's 20 Greatest Unsolved Problems by John Vacca

Reading the above list I'm ready to agree with Erik Naggum, who wrote about book stores in a posting to c.l.l.:

I just bought a book on a hunch the other day while trying to get out of the magic spell that bookstores seem to cast on me, robbing me of my free will and causing me to buy books for no good reason. I should have all my credit cards say "not valid in bookstores unless holder is accompanied by a responsible person".

I've updated the link to my US t-shirt shop. There were some requests for Polo shirts at ILC05. I've added a black Polo shirt with LISP lettering on the front side and a cons cell on the back. Suggestions for other designs are always welcome.