Summer readings?
revertts: I've been reading Cryptonomicon (Stephenson), Code Complete 2 (McConnel), and Algorithms: A Functional Programming Approach (Rabhi, Lapalme).  Those first two are well-known and commonly recommended; the last one I just happened upon recently, and have really enjoyed it.  It's the first algorithms/data structures text that I've seen targeting functional languages.I've been meaning to read Godel, Escher, Bach (Hofstadter) for awhile now, but I'm not sure if/when I'll get around to it.  Next on my list are some introductory number theory texts.