News for hackers. Stuff that matters.
Re:Renaming Coq by dkarl on Thursday April 08, 2021 @11:09AM (#26739758)
I had the same reaction, coming from the perspective of an adult doing paying work. If your engineers can't use a language called Coq without creating a hostile environment, you have a much bigger problem with how they behave around people named Wang, Dong, Mount, or Kuntz. You urgently need to fix that problem.

But, on reading the discussion page, I realized I forgot about kids and students, especially women, and in that context, even though changing the name is obviously not the best or most important way to solve the problem, it could be a great mitigation and is worth doing.

Re:Renaming Coq by threatofrain on Thursday April 08, 2021 @11:16AM (#26739859)
So how should women and kids deal with Dr Dong? Would it make sense to metaphorically pull Dr Dong out and offer some friendly advice about changing their name, one with a better culture fit?
Re:Renaming Coq by true_religion on Thursday April 08, 2021 @01:15PM (#26741322)
Not a doctor, but I changed my name in college because even if people are too adult to make fun of the name, they still get an awkward look on their face. Also, professors struggled to mispronounce my name in order to make it sound less lewd to their English speaking ears.
Re:Renaming Coq by cbfrench on Thursday April 08, 2021 @11:51AM (#26740272)
Or, to use a personal example: My pediatrician was Dr. Raper. To my recollection, the rather infelicitous nature of his last name never came up in conversation among his patients, although I’m sure the oddity of it crossed some minds...
Re:Renaming Coq by SilasX on Thursday April 08, 2021 @04:14PM (#26743201)
Semi related, it always bothered me how cool we are with the term “therapist”, even for someone who treats rape victims.
Re:Renaming Coq by dgellow on Friday April 09, 2021 @05:07AM (#26748301)
Wow, I don't think I will be able to unsee this.
Re:Renaming Coq by dkarl on Thursday April 08, 2021 @11:31AM (#26740060)
Children will deal with it badly, of course. That's why it is a mitigation, not a solution. Unnecessarily creating opportunities for the problem to manifest will not result in the problem being solved more quickly; it will only increase the damage from it.
Re:Renaming Coq by thefz on Thursday April 08, 2021 @03:44PM (#26742891)
So the whole world has to bend to the US's language/culture. What about the other way, when american words sound offensive in other languages?
Re:Renaming Coq by matt-attack on Saturday April 10, 2021 @07:52PM (#26766397)
The Chevy Nova was famous for its interpretation by Mexicans. In Mexico it means “doesn’t go” which is a less than ideal name for a car.
Re:Renaming Coq by waterhouse on Thursday April 08, 2021 @08:49PM (#26745593)
If it's true that you can detect bad actors by seeing them persistently make inappropriate jokes about Coq in the workplace, then might it actually be a good thing to have something named Coq? Because you can detect them and deal with them early before they do something worse than make dumb jokes. If that works, that sounds useful enough that one might consider deliberately giving something a funky name.

Following that train of thought, given that kids will eventually encounter something that makes them giggle, mightn't it be good for them to do that and get used to being "professional" as early as possible? (Though there's probably an age below which getting them to stop giggling wouldn't work at all.)

Last, considering the case of a male professor that makes sexual innuendo towards female students as a come-on... I don't know how these things work, but is it possible that this would make it easier for the girls to figure out that he's "creepy" and someone they should avoid (possibly even giving him a reputation they learn about before meeting him), thus reducing the likelihood that he's in a position to do something worse? In fact, given today's neopuritan colleges, it seems likely that him doing that might in itself get him fired; or at least it could put him on thin ice, to be more immediately condemned if students start accusing him of doing worse things.

I don't know if the above scenarios would actually happen that way. But I do suspect that the people arguing to get the name removed haven't thought through second-order effects like those.