Vernor Vinge has died, age 79. Mar 23, 2024 Post 203045 deleted: This post was deleted for the following reason: Double. -- taz