I just plowed through the first 113 pages of "Anathem", a great read so far. I think this is a good book to read before programming to understand the downsides to the "syntactic" machines.

I hope this helps