Elon Musk’s latest plan is to dig underground tunnels to avoid traffic jams (recode.net)

Could be merged with https://news.ycombinator.com/item?id=13201763

Or maybe people could just stop driving so much.

Boring is a technology that could become very useful on Mars but I'm sure that has absolutely nothing to do with this venture.

Boring Sub-Surface Layer, maybe... ;-)