TIL future Martian settlements will likely be set up inside Mars' large lava tubes. These tubes are effectively caverns with roofs tens of meters thick and with stable ambient temperature. They would protect human settlers and human technology from the extreme conditions that exist on the surface.