How gas pumps know when to turn themselves off | Hacker News Reader