Elon Musk’s Boring Company is digging a 10-mile tunnel in Maryland | Hacker News Reader