[imglorp]

I'll just point out that a Boring Co machine will fit inside a Starship.

Underground may be the only way to live, given that radiation dosage is cumulative, 24/7, it may not be possible to live on the surface at all in inflated domes. Maybe they're better suited for equipment storage and agriculture.

[mantap]

Why bother going then? I mean you can live underground on Earth much more easily.

[baq]

Because it’s there. Some people like living in unusual places.

[DennisP]

Read the link above. Aside from solar storms, radiation is at a level that humans survive just fine on Earth.

I do expect to see Boring machines on Mars anyway.