I personally used Sipser, but I think the book by Neil Jones [1] that takes a programming languages approach is really cool, and potentially more along the average HN reader's interests.

[1] http://hjemmesider.diku.dk/~neil/comp2book2007/book-whole.pd...