4 ms·

Context?

by oauea 6y ago

Context?

tjpnz 6y ago
I'm guessing the phallic connotations?
minikites 6y ago
From the link: >We wish to thank everyone that participated in these discussions. Testimonies from people who experienced harassment or awkward situations, reports about students (notably women) who ended up not learning / using Coq because of its name, were all very important so that the community could fully recognize the impact of the current name and its slang meaning in English, especially with respect to gender-diversity in the Coq community.
- oauea 6y ago
  Yes, which discussions are those? The link explains nothing.
- Galanwe 6y ago
  > especially with respect to gender-diversity in the Coq community. Seriously there are some people getting shocked that a foreign word sounds like slang for male genitals in their language? These people seriously need to grow up and accept that not everything is centered around their world. "bit" is slang for cock in French, "chat" is slang for vagina, "Nike" means fuck, should we rename these so that it does not shock anyone? Where's the limit?
  - bungle 6y ago
    So it seems like, but it has been ongoing for very long: https://www.youtube.com/watch?v=BM541-RBCwg&t=360s https://www.youtube.com/watch?v=BM541-RBCwg&t=360s https://www.youtube.com/watch?v=z6tqt0aKCQo&t=18s https://www.youtube.com/watch?v=z6tqt0aKCQo&t=18s
utf_8x 6y ago
Coq means rooster in French. Unfortunately it also sounds like "cock" which is a word people apparently can't handle in 2021...
- tombert 6y ago
  Maybe I'm misunderstanding the tone of your comment, are you suggesting that we don't rename things that lead to people feeling unwelcome in a community? EDIT: Turns out I was misunderstanding the context; I misread it as something like "look how offended these people get omg", but in reality it looks like the poster was saying that it's sad that we live in a world where this might need to be changed [1]. Entirely my fault! [1] https://news.ycombinator.com/item?id=26739571 https://news.ycombinator.com/item?id=26739571
  - t0mas88 6y ago
    I think it's going a bit far to put it on "unwelcome" just by a name that was selected in another language. But I do get the marketing issue for English speakers with it sounding like cock and of course some people feeling uncomfortable using the name.
  - forgotpwd16 6y ago
    Ironically _Code of Conducts_ adopted by many projects nowadays for this very reason also is frequently shorted to CoC which creates the same problem.
  - hvdijk 6y ago
    FWIW, I read the comment as suggesting it's sad that the rename is needed, rather than suggesting it's sad that the rename is happening.
    - utf_8x 6y ago
      Pretty much, yeah.
      - 6y ago
benrapscallion 6y ago
Because it sounds like cock, one would assume. There’s the same joke in biomedicine around an important family of inflammation genes named Cox1 and Cox2.
deleted 6y ago
[deleted]

Context?

by oauea 6y ago

Context?

tjpnz 6y ago

I'm guessing the phallic connotations?

minikites 6y ago

From the link: >We wish to thank everyone that participated in these discussions. Testimonies from people who experienced harassment or awkward situations, reports about students (notably women) who ended up not learning / using Coq because of its name, were all very important so that the community could fully recognize the impact of the current name and its slang meaning in English, especially with respect to gender-diversity in the Coq community.

oauea 6y ago
Yes, which discussions are those? The link explains nothing.
Galanwe 6y ago
> especially with respect to gender-diversity in the Coq community. Seriously there are some people getting shocked that a foreign word sounds like slang for male genitals in their language? These people seriously need to grow up and accept that not everything is centered around their world. "bit" is slang for cock in French, "chat" is slang for vagina, "Nike" means fuck, should we rename these so that it does not shock anyone? Where's the limit?
- bungle 6y ago
  So it seems like, but it has been ongoing for very long: https://www.youtube.com/watch?v=BM541-RBCwg&t=360s https://www.youtube.com/watch?v=BM541-RBCwg&t=360s https://www.youtube.com/watch?v=z6tqt0aKCQo&t=18s https://www.youtube.com/watch?v=z6tqt0aKCQo&t=18s

utf_8x 6y ago

Coq means rooster in French. Unfortunately it also sounds like "cock" which is a word people apparently can't handle in 2021...

tombert 6y ago
Maybe I'm misunderstanding the tone of your comment, are you suggesting that we don't rename things that lead to people feeling unwelcome in a community? EDIT: Turns out I was misunderstanding the context; I misread it as something like "look how offended these people get omg", but in reality it looks like the poster was saying that it's sad that we live in a world where this might need to be changed [1]. Entirely my fault! [1] https://news.ycombinator.com/item?id=26739571 https://news.ycombinator.com/item?id=26739571
- t0mas88 6y ago
  I think it's going a bit far to put it on "unwelcome" just by a name that was selected in another language. But I do get the marketing issue for English speakers with it sounding like cock and of course some people feeling uncomfortable using the name.
- forgotpwd16 6y ago
  Ironically _Code of Conducts_ adopted by many projects nowadays for this very reason also is frequently shorted to CoC which creates the same problem.
- hvdijk 6y ago
  FWIW, I read the comment as suggesting it's sad that the rename is needed, rather than suggesting it's sad that the rename is happening.
  - utf_8x 6y ago
    Pretty much, yeah.
    - 6y ago

benrapscallion 6y ago

Because it sounds like cock, one would assume. There’s the same joke in biomedicine around an important family of inflammation genes named Cox1 and Cox2.

deleted 6y ago

[deleted]