News for hackers. Stuff that matters.

A comment on Coq mulls new name for programming language. Parent comment

Re:Coq mulls new name for programming language by the_only_law on Tuesday June 15, 2021 @02:50PM (#27519810)
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?
[ Parent | on HN ]
Re:Coq mulls new name for programming language by angry_octet on Tuesday June 15, 2021 @06:37PM (#27522500)
I'm just listening to what women say. You should try it sometime.

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

[ Parent | on HN ]
Re:Coq mulls new name for programming language by emsy on Tuesday June 15, 2021 @07:21PM (#27522903)
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.
[ Parent | on HN ]