I logged in for the first time in years purely to respond to this post. good show!
Navteq was aquired by Nokia.
I am also a 4 digit uid slashdot user and I liked halting state.
His other novels are FANTASTIC as well but I'm a big fan of singularity related novels.