Thursday, March 21, 2024 RIP Vernor Vinge file770.com/vernor-vi… ✴️ Also on Micro.blog 🐘 Reply on Mastodon 💌 Reply by email