I would add: We Are Legion (We Are Bob) by Dennis E. Taylor. Premise is a software engineer is killed by a car on his first day of retirement and wakes up 300 years in the future as an AI consciousness. It has absolutely loving attention to detail regarding both software and physics sci-fi concerns.
I'd also honorable mention Foucault's Pendulum by Uberto Eco, which has very little comp-sci stuff in it overall, but notably also has the search for permutations of the names of God mentioned in the article, complete with a BASIC program to do it in the text!
Fark yeah, wish the author would finish the series.* He left readers hanging so caveat emptor. Even so I can recommend the audio books as well. Great for doing laundry, mowing the lawn, etc.
May as well copy the last update from Dennis E. Taylor here since I'm not alone in wishing we had more Bobiverse novels.
>And this means that I’m now back to writing the next Bobiverse book(s), working title “The Search for Bender.” I say book(s) because it looks like it’s going to be a duology. And spoiler alert — the end of book one will be a cliff-hanger, and a doozy. Bob and the Bill Wonder will be tied to the front of a Zamboni, while the Penguin and his henchmen–er, no, wait, I’m having a flashback. Sorry.
>So stay tuned–same Bob-time, same Bob-channel–for more updates as they happen.
That is exciting news about the bobiverse. But what do you mean by "wish the author would finish the series"? After finishing the last one, I felt satisfied with the ending and thought that all the loose ends had been tied up.
These books refocused my life's work towards drones and AI. I now know what I want to be when I grow up: an interstellar von Neumann Probe. I might even make my AI butler look like General Akbar as a nod to the series.
Along the same line, Pohl's Heechee Rendevous the main character's sentinence is transferred to a sophisticated database system of sorts allowing him to live on virtually with access to pretty much all info.
I'd also honorable mention Foucault's Pendulum by Uberto Eco, which has very little comp-sci stuff in it overall, but notably also has the search for permutations of the names of God mentioned in the article, complete with a BASIC program to do it in the text!