Hacker News Reader

Interesting, how you’re so set on the name of a theorem proving software being the barrier to women entering the field and not the people who would actually harass them. Do you not think the same people who would make stupid jokes about a name wouldn’t find some other way to chase women away?

View on HN

I'm just listening to what women say. You should try it sometime.

https://twitter.com/sydgibs/status/1379518799699968005

The name lends itself for innuendos, so what? I can assure you that a person with sleazy intentions will find many ways to do that without a funnily named programming language. The name is not the problem. Also, a person's offense is not an argument. I'm offended by your name, do you have to change it now? A funnily named programming language just isn't the same as actual sexual harassment.

Reply on news.ycombinator.com