5 ms·

What ever happened to the effort [1] to rename Coq in order to make it less offensive? There were a number of excellent proposals [2] that seemed to die on the

What ever happened to the effort [1] to rename Coq in order to make it less offensive? There were a number of excellent proposals [2] that seemed to die on the vine. [1] https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names [2] https://github.com/coq/coq/wiki/Alternative-names#c%E1%B5%A3o%E1%B5%83q https://github.com/coq/coq/wiki/Alternative-names#c%E1%B5%A3...

mathisfun123 3y ago
What kind of person is offended at this? It's not even in the ballpark of making the allusion (let alone whether someone should be offended at such an allusion). I refuse to believe there are people this petty.
- phillipcarter 3y ago
  > I refuse to believe there are people this petty. There's a lot of us who aren't petty, but uhhh, certainly childish. The name is a problem.
  - kerkeslager 3y ago
    It's a problem for those people, and the solution is to grow up. Why should adults care?
    - Capricorn2481 3y ago
      Because nobody wants to say they program in cock
      - thefz 3y ago
        1- Languages other than English exist, deal with it 2- Grow up 3- Say "cee-oh-queue"
        erichocean 3y ago
        > Say "cee-oh-queue" This is the correct answer if you are truly unable to say "Coq". If you need a precedent for multiple ways to refer to the same language, SQL has your back.
      - loupol 3y ago
        In French, the way the word "bit" is pronounced sounds the exact same as the French word for cock (not the rooster). I can assure you that French CS programming students get over it quickly. There's noone really asking for it to be renamed because it's understood that it's a commonly used foreign word. I'm not sure why an English professional scientist or programmer would be unable to take the same stance for a programming language invented in another country.
  - mathisfun123 3y ago
    i don't get it - are you (or they) childish and therefore giggling to yourself (themselves)? okay? i still don't see who is offended?
    - adultSwim 3y ago
      Try saying the word "pussy" repeatedly in a business or technical conversation.
      - mathisfun123 3y ago
        you're assuming that everyone lives in the same shoes as you do - i curse in a professional context very regularly (fuck, shit, etc). i have given technical presentations (that are recorded and made public - youtube) at decently sized venues in the same tone.
  - dunefox 3y ago
    People like you are a problem.
    - phillipcarter 3y ago
      Reporting for duty!
  - przmk 3y ago
    Coq means rooster in French and is not used as an insult or an euphemism for the penis at all. It's also what's on the logo.
    - xmcqdpt2 3y ago
      Cock also means rooster in English, so really one might say it's perfect in both English and French. Interestingly, coq is from Latin coccus (rooster) and cock is from Germanic kukkaz (rooster). I don't think there are many words that exist in both French and English with nearly identical pronunciation, the same meaning but unrelated roots!
      - aidenn0 3y ago
        I wonder of the root of both the latin and germanic words are onomatopoeic...
    - phillipcarter 3y ago
      That's cool, but when I say it out loud it sounds like a different word for penis. The name should just change.
      - przmk 3y ago
        Well, there's more to the world than just the Anglosphere. De Cock is also a popular surname in France and Belgium.
- deleted 3y ago
  [deleted]
- deleted 3y ago
  [deleted]
- moi2388 3y ago
  The same person that renamed master to main because slavery..
  - adultSwim 3y ago
    Yes, me. Telling people I work on "cock" was uncomfortable. It was particularly unwelcoming to women.
    - barbarbar 3y ago
      Yes - I can also imagine a female programmer not being comfortable when saying that.
- thefz 3y ago
  Americans mostly as they think the entire world is America.
- deredede 3y ago
  From what I remember of the discussions on the topic, it's not so much that people are offended by it per se, but there has been many reports of uncomfortable situations from women who use and specifically teach Coq. Let's be honest, I totally buy that there have been hallway discussions between students about the "Coq teacher" that were wholly inappropriate and should not be encouraged.
deleted 3y ago
[deleted]
MrYellowP 3y ago
What's offensive about a bodypart? Especially if you have one, finding it offensive is rather weird. I, personally, find that whoever came up with the name must have been hilariously innocent, or at least not speaking english. :D
- bsaul 3y ago
  Not sure if you know but the name comes from https://fr.m.wikipedia.org/wiki/Thierry_Coquand https://fr.m.wikipedia.org/wiki/Thierry_Coquand Coq being the first three letters of his name, and also the french name for rooster, the french national emblem. So yeah, he probably didn't care at all what those letters meant in various languages ( and probably even found the reaction of english natives amusing).
- adultSwim 3y ago
  especially if you have one
adultSwim 3y ago
Rocq was my clear favorite, though I would have picked Roc. It's a real shame that effort seems to have stalled. This is a real barrier yet not widely acknowledged as such.

mathisfun123 3y ago

What kind of person is offended at this? It's not even in the ballpark of making the allusion (let alone whether someone should be offended at such an allusion). I refuse to believe there are people this petty.

phillipcarter 3y ago
> I refuse to believe there are people this petty. There's a lot of us who aren't petty, but uhhh, certainly childish. The name is a problem.
- kerkeslager 3y ago
  It's a problem for those people, and the solution is to grow up. Why should adults care?
  - Capricorn2481 3y ago
    Because nobody wants to say they program in cock
    - thefz 3y ago
      1- Languages other than English exist, deal with it 2- Grow up 3- Say "cee-oh-queue"
      - erichocean 3y ago
        > Say "cee-oh-queue" This is the correct answer if you are truly unable to say "Coq". If you need a precedent for multiple ways to refer to the same language, SQL has your back.
    - loupol 3y ago
      In French, the way the word "bit" is pronounced sounds the exact same as the French word for cock (not the rooster). I can assure you that French CS programming students get over it quickly. There's noone really asking for it to be renamed because it's understood that it's a commonly used foreign word. I'm not sure why an English professional scientist or programmer would be unable to take the same stance for a programming language invented in another country.
- mathisfun123 3y ago
  i don't get it - are you (or they) childish and therefore giggling to yourself (themselves)? okay? i still don't see who is offended?
  - adultSwim 3y ago
    Try saying the word "pussy" repeatedly in a business or technical conversation.
    - mathisfun123 3y ago
      you're assuming that everyone lives in the same shoes as you do - i curse in a professional context very regularly (fuck, shit, etc). i have given technical presentations (that are recorded and made public - youtube) at decently sized venues in the same tone.
- dunefox 3y ago
  People like you are a problem.
  - phillipcarter 3y ago
    Reporting for duty!
- przmk 3y ago
  Coq means rooster in French and is not used as an insult or an euphemism for the penis at all. It's also what's on the logo.
  - xmcqdpt2 3y ago
    Cock also means rooster in English, so really one might say it's perfect in both English and French. Interestingly, coq is from Latin coccus (rooster) and cock is from Germanic kukkaz (rooster). I don't think there are many words that exist in both French and English with nearly identical pronunciation, the same meaning but unrelated roots!
    - aidenn0 3y ago
      I wonder of the root of both the latin and germanic words are onomatopoeic...
  - phillipcarter 3y ago
    That's cool, but when I say it out loud it sounds like a different word for penis. The name should just change.
    - przmk 3y ago
      Well, there's more to the world than just the Anglosphere. De Cock is also a popular surname in France and Belgium.
deleted 3y ago
[deleted]
deleted 3y ago
[deleted]
moi2388 3y ago
The same person that renamed master to main because slavery..
- adultSwim 3y ago
  Yes, me. Telling people I work on "cock" was uncomfortable. It was particularly unwelcoming to women.
  - barbarbar 3y ago
    Yes - I can also imagine a female programmer not being comfortable when saying that.
thefz 3y ago
Americans mostly as they think the entire world is America.
deredede 3y ago
From what I remember of the discussions on the topic, it's not so much that people are offended by it per se, but there has been many reports of uncomfortable situations from women who use and specifically teach Coq. Let's be honest, I totally buy that there have been hallway discussions between students about the "Coq teacher" that were wholly inappropriate and should not be encouraged.

deleted 3y ago

[deleted]

MrYellowP 3y ago

What's offensive about a bodypart? Especially if you have one, finding it offensive is rather weird. I, personally, find that whoever came up with the name must have been hilariously innocent, or at least not speaking english. :D

bsaul 3y ago
Not sure if you know but the name comes from https://fr.m.wikipedia.org/wiki/Thierry_Coquand https://fr.m.wikipedia.org/wiki/Thierry_Coquand Coq being the first three letters of his name, and also the french name for rooster, the french national emblem. So yeah, he probably didn't care at all what those letters meant in various languages ( and probably even found the reaction of english natives amusing).
adultSwim 3y ago
especially if you have one

adultSwim 3y ago

Rocq was my clear favorite, though I would have picked Roc. It's a real shame that effort seems to have stalled. This is a real barrier yet not widely acknowledged as such.