A long list of AI-related terminology with definitions, and lots of links to related websites.
A really long list of AI for Linux.
A nice description of Godel's theorem and other results in therms of the diagonal argument.
This is Alisp. Alisp is, in a sense, a very basic AI system (since it employs simple learning methods, with little potential for recognizing complex structure). However, it is very interesting from an interface point of view. It allows the maximum possible use of the simple AI it contains. Therefore, I think the idea of using Alisp as a starting point to build up a more complicated AI is interesting (since I am into the idea of recursively building up complex capabilities from simple ones).