I'm going to second 'True Names'. I think Vinge excels at suggesting an idea with just the right amount of vagueness that it makes the imagination run wild filling in the details.