[queenkjuul]

I'm sorry, you'll have to do an awful lot of explaining to do if you want me to believe Hyperloop, a 100+ year idea proven not to work, and the Vegas Loop, one of the most asinine infrastructure projects I've ever witnessed in my life, could possibly in any way whatsoever contribute to life on Mars

[Ancapistani]

Terrain is the best available protection on Mars from radiation, and is it's far easier to pressurize a structure excavated from bedrock than it is to pressurize a dome or similar.

Hyperloop and the Vegas Loop are projects used to justify the existence of the Boring Company. The Boring Company's tech is definitely relevant to extraterrestrial habitat creation.