Hyperloop and the Boring Podcast

It's time to revisit the Hyperloop. What is the proposal, and how will it work? And what's up with Elon Musk's Boring Company?