Hm. Vernon Vinge died. Great writer.

#writing