I see this book lauded on HN frequently. Would it be interesting/understandable for someone who doesn't have a CS background but has an interest in CS?
There is very little "hard CS" in the book, though there are references to programming. It's more about formal systems. If you're a CS major you may find these things easier to grasp, since you can draw analogies to finite state automata, recursion, the halting problem, etc. But a CS degree is by no means required to enjoy the book.
