Fwiw, Travis CI never bothered me despite its ubiquity when I got into software dev. It's not really "random contexts". The context of whether someone is talking about me or CI is actually quite clear. It's 1000x more confusing when someone else shares your name in the office.
In fact I might call my next project Karen. Because things can only get better for her.
(Spoiler: It's mostly men.)
AI Personal assistants on the other hand do seem to have feminine names or voices.
Other than that, Maria is also a male name although not very common.
~50% of humans are female and if there is a „trend“ for giving female names to software, yes, please do it more.
It’s new in the sense that I keep noticing them more often lately.
Those are family names, correct me if I’m wrong.
But I think the larger point, that male names are only rarely used, stands.
Maria is also a surname, what's your point?