Vernor Vinge, 1944-2024

Thank you for the great work, Vernor. You'll be missed.