Two Vernor Vinge Book Reviews — LessWrong