7 ms·

It is pronounced "cock" which is (British) English for a male chicken, what an American might call a rooster. Not surprising, as cock is derived from the Frenc

by jjgreen 11y ago

It is pronounced "cock" which is (British) English for a male chicken, what an American might call a rooster. Not surprising, as cock is derived from the French _coq_.

asmodian 11y ago
In USA, cock is pretty much just about penis. Another one I hear is fag / faggot, which is considered hate speech and grounds for immediate termination. I understand you just want to program. I knew the answer before you responded because I made the deliberate attempt to understand. Twitter gangs won't extend the same courtesy to you when their livelihood depends on stowing outrage over cheap gambits like that. These days in USA non-programmers can easily invoke code of conduct to have careers permanently ruined. Canadian harassment laws now cover disagreeing with females' sensibilities also can get you in jail.
- mikegerwitz 11y ago
  I upvoted your original question because it is a legitimate one, whether others like it or not. I actually have gotten very few odd looks even from non-programmers when pronouncing "Coq" as "cock" _in the proper context_. "Use Coq" would probably yield a different out-of-context interpretation than "For problem X I think we should consider Coq. It allows ..." I don't think this is much of a problem in practice.
- testtest 11y ago
  The US media machine, picks and chooses when some words are appropriate and when not, depending if it fits their agenda. How about the name "Dick" ? As in e.g. Dick Cheney ? Why isn't it considered a slur, just like "cock" ? It an elephant in the room no one speaks about. How about the word "pussy" as in a small cat ? It has been used to report by the news on "Pussy Riot", which has a direction connection to the female genitalia. I think it might be because of the sensationalist nature of the US media as such and their juvenile handling of anything that's taboo.
- vezzy-fnord 11y ago
  Coq has been around for 26 years. The USA is not the world. No one is offended. Be more inconspicuous when trying to bait next time.
  - Gankro 11y ago
    Admittedly, a lot of us still giggle whenever Coq comes up. :)
    - nickpsecurity 11y ago
      Even the documentation mentions the issue and calls the name "unfortunate." So, it's a valid critique even if we should ignore it in discussions just to be productive. :)
      - bnegreve 11y ago
        Really, where? I've always heard this was more intentional than unfortunate. From the FAQ: 2 Did you really need to name it like that? Some French computer scientists have a tradition of naming their software as animal species: Caml, Elan, Foc or Phox are examples of this tacit convention. In French, “coq” means rooster, and it sounds like the initials of the Calculus of Constructions CoC on which it is based.
        nickpsecurity 11y ago
        The name was intentional as they described. The common reception might have also been intentional as a joke of sorts. ;) Anyway, there was a page or interview where a rep called it "unfortunate" without going into detail. The implication in context was that the name's use in Britain or America often distracts from how the tool is used in a given paper. Hence, unfortunate choice of name. Should've just picked a different animal haha. The name is easy to spell, though.
        Drup 11y ago
        And also a tribute to Thierry Coquand, the inventor of the CoC.
- force_reboot 11y ago
  I just refer to Idris when speaking about dependent types. If I talk about Coq, someone will usually make a joke, which is fine as a once off, but if I want to talk about it regularly I can see that being an issue. The funny thing is that people try to pin this issue on Anglo-Saxon puritanism, when the issue is clearly political correctness. But those are the contradictions in liberal thinking for you.
  - jjgreen 11y ago
    American rather than Anglo-Saxon I think, and the US has preferred "rooster" over "cock" since the 18th century, have those horrid liberals been oppressing you with political correctness all this time?

by jjgreen 11y ago

It is pronounced "cock" which is (British) English for a male chicken, what an American might call a rooster. Not surprising, as cock is derived from the French _coq_.

asmodian 11y ago

In USA, cock is pretty much just about penis. Another one I hear is fag / faggot, which is considered hate speech and grounds for immediate termination. I understand you just want to program. I knew the answer before you responded because I made the deliberate attempt to understand. Twitter gangs won't extend the same courtesy to you when their livelihood depends on stowing outrage over cheap gambits like that. These days in USA non-programmers can easily invoke code of conduct to have careers permanently ruined. Canadian harassment laws now cover disagreeing with females' sensibilities also can get you in jail.

mikegerwitz 11y ago
I upvoted your original question because it is a legitimate one, whether others like it or not. I actually have gotten very few odd looks even from non-programmers when pronouncing "Coq" as "cock" _in the proper context_. "Use Coq" would probably yield a different out-of-context interpretation than "For problem X I think we should consider Coq. It allows ..." I don't think this is much of a problem in practice.
testtest 11y ago
The US media machine, picks and chooses when some words are appropriate and when not, depending if it fits their agenda. How about the name "Dick" ? As in e.g. Dick Cheney ? Why isn't it considered a slur, just like "cock" ? It an elephant in the room no one speaks about. How about the word "pussy" as in a small cat ? It has been used to report by the news on "Pussy Riot", which has a direction connection to the female genitalia. I think it might be because of the sensationalist nature of the US media as such and their juvenile handling of anything that's taboo.
vezzy-fnord 11y ago
Coq has been around for 26 years. The USA is not the world. No one is offended. Be more inconspicuous when trying to bait next time.
- Gankro 11y ago
  Admittedly, a lot of us still giggle whenever Coq comes up. :)
  - nickpsecurity 11y ago
    Even the documentation mentions the issue and calls the name "unfortunate." So, it's a valid critique even if we should ignore it in discussions just to be productive. :)
    - bnegreve 11y ago
      Really, where? I've always heard this was more intentional than unfortunate. From the FAQ: 2 Did you really need to name it like that? Some French computer scientists have a tradition of naming their software as animal species: Caml, Elan, Foc or Phox are examples of this tacit convention. In French, “coq” means rooster, and it sounds like the initials of the Calculus of Constructions CoC on which it is based.
      - nickpsecurity 11y ago
        The name was intentional as they described. The common reception might have also been intentional as a joke of sorts. ;) Anyway, there was a page or interview where a rep called it "unfortunate" without going into detail. The implication in context was that the name's use in Britain or America often distracts from how the tool is used in a given paper. Hence, unfortunate choice of name. Should've just picked a different animal haha. The name is easy to spell, though.
      - Drup 11y ago
        And also a tribute to Thierry Coquand, the inventor of the CoC.
force_reboot 11y ago
I just refer to Idris when speaking about dependent types. If I talk about Coq, someone will usually make a joke, which is fine as a once off, but if I want to talk about it regularly I can see that being an issue. The funny thing is that people try to pin this issue on Anglo-Saxon puritanism, when the issue is clearly political correctness. But those are the contradictions in liberal thinking for you.
- jjgreen 11y ago
  American rather than Anglo-Saxon I think, and the US has preferred "rooster" over "cock" since the 18th century, have those horrid liberals been oppressing you with political correctness all this time?