I'd second the recommendation of anathem, which is one of my favourite books.
Thanks for pointing out the new book by Neal Stephenson, I didn't know he'd released that and will probably check it out.
I also read the hail Mary project which I thought was an enjoyable light read, but nothing too special.