Harry R. Schwartz

Software engineer, nominal scientist, gentleman of the internet. Member, ←Hotline Webring→.

bearded cartoon drawing of the author · 1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B

MIT Press Booksale

MIT Press Booksale

Published . Tags: books, boston, computer-science.

Yesterday was the MIT Press’ Loading Dock Sale, where a dedicated book-scrounger can find some pretty wonderful deals.

Behold, my mighty haul:

  • Sterling & Shapiro, The Art of Prolog
  • Bergadano & Gunetti, Inductive Logic Programming
  • Friedman & Felleisen, The Seasoned Schemer
  • Gunter, Semantics of Programming Languages
  • Forbus & De Kleer, Building Problem Solvers
  • Winsky, The Formal Semantics of Programming Languages
  • Sestoft, Java Precisely
  • Anderson, An Introduction to Neural Networks
  • Minsky & Papert, Perceptrons

I also picked up a dozen or so other, less CS-ful books.1 There are some busy months of reading ahead of me.

I’m especially excited to read those first two books on logic programming; I’ve played with Prolog here and there, but I’ve never really done a deep dive into it. According to Joe Armstrong, Prolog was one of the main inspirations for Erlang2, so I’m looking forward to contrasting the two.

I’m also looking forward to The Seasoned Schemer. I really enjoyed taking 6.S184 at MIT this winter, and I’m curious to see if there’s anything neat in here that SICP doesn’t cover.

  1. Including Austin’s Zen and the Brain, which I’ve heard is a pretty fascinating read. 

  2. If I remember right, Erlang was originally implemented in Prolog.