How does a gas pump know to shut itself off? (1981) | Hacker News Reader