New books: Artificial Intelligence (a modern approach) and Reamde

Well, now I've my book for Stanford's AI Class and it's heavy as hell. As a bonus I've bought the new book by Neal Stephenson "Reamde". Someone has to tell Mr. Stephenson that it's possible to write a novel in less than 1000 pages!