What’s The Boring Company, you ask? It’s an ambitious Elon Musk project to dig tunnels – really, really fast tunnels