I believe they were friends. Brin mentioned that he hung out with Vinge a few weeks ago.