It’s certainly true that Vinge doesn’t spend much time on the engineering details, but I find him unusually clear on “imagine if we had this kind of impossible-now technology, but the rest of what we know about physics remained, how would people behave?”
He was, after all, a physics professor.
Rainbow’s End is much clearer on this than his distant future stuff, of course.
That award goes to Greg Egan who has full list of citations on his website for each of his novels, as well as a list of mathematicians and physicists he requested help from.
If you want to read books that occasionally delve into pages of equations, Greg Egan is the author for you! (Seriously though, really good books, and the implications of his "what-ifs" are pretty damn cool)
The short stories "Luminous" and "Dark Integers", the novels "Diaspora" and "Schild's Ladder". So good.
qntm (another author) hits somewhat similarly.
Actually, he was a mathematics and computer science teacher at San Diego State University.
Maybe it's not productive to quibble about definitions like this, but FWIW I don't agree with this criteria. I would argue Greg Egan's work, for example, is just about the "hardest" sci-fi there is, and yet much of that work takes place in universes that are entirely unlike our own.
Personally, I think what makes for "hard" sci-fi is that the rules of the universe are well-laid-out and consistent, and that the story springs (at least in some significant part) out of the consequences of those rules. That may mean a story set in the "future", where we have new technology or discover new physics, or "alternate universe" sci-fi like Egan's.
You don’t claim to be definitive?
Definitely worth giving it a try if you're a programmer, just for the fact that it's written by another programmer: the opening scene where they find a bunch of rules written down and just follow them reminds me of ACPI; the discussion of public-key cryptography and shipping drives full of one-time-pad around the galaxy; the "compression scheme" with the video.