I dunno, if you look at the Boring Company through the lens of "this man really wants to go to Mars", it kinda makes sense. Probably a lot of Mars colony infrastructure should be tunneled underground, given the lack of atmosphere / magnetosphere.
Things like Hyperloop also make more sense in that context.
Things like Hyperloop also make more sense in that context.