GPS, Galileo and More: How do they work and what happened during the big outage? | Hacker News Reader