Gladys West, mathematician whose work paved the way for GPS, dies at 95 | Hacker News Reader