Re:Renaming Coq
by capableweb on Thursday April 08, 2021 @12:15PM
(#26740582)
> Others posted similar things, but imagine that you're a female PhD candidate and your male advisor asks you: "How familiar are you with Coq?" or "Are you good with Coq?"
Yeah, a bit awkward for about 5 seconds until both parties know what you're talking about, because of context.
Is that what the authors are referring to as "harassment" or where does the whole harassment come from? That's my biggest question here. I have nothing against people wanting it to change, I just want to understand the reasoning behind it, and how even people manage to harass others via a project name.
Yeah, a bit awkward for about 5 seconds until both parties know what you're talking about, because of context.
Is that what the authors are referring to as "harassment" or where does the whole harassment come from? That's my biggest question here. I have nothing against people wanting it to change, I just want to understand the reasoning behind it, and how even people manage to harass others via a project name.