Why is Darius Bacon's account dead? I just flipped showdead back on to check, and it's his first dead comment. Seriously, WTF?
Skipping stuff commented on elsewhere:
While _The New Turing Omnibus_ is probably nothing too surprising to people here (at least not the subset that also hangs out on LtU, etc.), it's got a lot of approachable 2-5 page summaries of many major topics in CS.
_The Craft of Prolog_ is quite good, though perhaps of less interest to non-Prologers. _The Art of Prolog_ is essential, however. It's an SICP-caliber book, focused entirely on declarative programming, constraint programming, DSLs, etc.
_Compiling with Continuations_ rocks. It's an ML treatment of CPS-as-an-IR, like Steele's _RABBIT_ and Krantz et al.'s _Orbit_.
Skipping stuff commented on elsewhere:
While _The New Turing Omnibus_ is probably nothing too surprising to people here (at least not the subset that also hangs out on LtU, etc.), it's got a lot of approachable 2-5 page summaries of many major topics in CS.
_The Craft of Prolog_ is quite good, though perhaps of less interest to non-Prologers. _The Art of Prolog_ is essential, however. It's an SICP-caliber book, focused entirely on declarative programming, constraint programming, DSLs, etc.
_Compiling with Continuations_ rocks. It's an ML treatment of CPS-as-an-IR, like Steele's _RABBIT_ and Krantz et al.'s _Orbit_.