Ah, yes, amateur astronomy on Mars. Something we'll not be able to do in my lifetime sadly.
While that is true, think of all the things that are possible in your lifetime, that weren't to the people that came before you.
Instant video chat with people on the other side of the globe, the world's information in your pocket, personal transportation that doesn't eat hay, you're not dying from Polio, etc. etc. The list is enormous.
And, for what it's worth, one day in the future when people can d0 amateur astronomy on Mars, they could sit around and lament they can't do it on Pluto...
Mars seems rather boring compared to the facilities offered in my neighborhood, not to mention poor connexion to YouTube.
Ipso facto, no atmo => no light pollution looking up a circled lens?
Maybe at some point when the population gets large enough that you'd have imported problems from Earth like random people stealing the Martian equivalent of a CD player and catalytic converter off your rover in the middle of the night, then security lighting may be a thing.
The main use I can think of for outside lighting in the short term would be people doing construction work at night. That might actually be preferred from a radiation point of view; I know Mars doesn't have much protection from radiation, but I'm not sure how much comes directly from the sun versus random ambient radiation in space.
Another possible source of light pollution would be greenhouses with big windows that are lit with artificial light at night.
Unless you have terminal cancer, there is a path that might allow it to happen.
Of all the things HN thinks might happen because 'optimism' this is a lousy one to chose to be mostly accurate on.