Comment by beambot

I didn't realize Vernor Vinge had passed away... Sad TIL