[iainmerrick]

I’d imagine building out some new support pillars and flexible ceiling would be much faster and cheaper than digging out the same space underground.

I know tunnel boring is supposed to be getting cheaper and easier, plus on Mars you’d be starting from a blank slate rather than working around/under existing infrastructure. But for big tunnels you still need a big boring machine, and that would either have to be shipped to Mars or built on Mars.

[peteradio]

“If you wish to make an apple pie from scratch, you must first invent the universe.”

To make a tunnel boring machine on mars you must first invent replicating nano mining/manufacture bots.

[pizzaparty2]

I believe the idea is to use a Boring company machine.

[icebraining]

Or you can try to build it from parts of other things you shipped there.