8 ms·

Yes, and that's a strange choice of a name considering the whole website is in English (despite being from France).

ritonlajoie 10y ago
well, INRIA is french national research institute and the national pet is the Coq (rooster) (edit : laurent I guess you are french, I'm just saying that for those who are not from France :)
- minipci1321 10y ago
  Isn't it also somehow related to "Calculus Of Constructions"? Always made me think about that, not sure why.
  - tomku 10y ago
    Thierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)
progval 10y ago
Some people say it's a revenge to “bit”.
scrollaway 10y ago
I've seen this remark quite often when the word (fr)"coq" comes up. It's a non-english word that's homophonous to (en)"cock", but... so what? In french, the word (fr)"bite" translates to "cock". It's pronounced like (en)"bit". And while a lot of people prefer "octet", "bit" has very much become part of the french vocabulary. So, what do we do? We don't care. We giggle at it when we're in high school and then it stops being funny. In Swedish, (en)"sex" and (en)"six" are the same word (se)"sex", pronounced the same way. They don't care. I also feel like some people here might be forgetting that (en)"cock" has other meanings in English, including the male bird which is what (fr)"coq" means Edit: Prefixed everything because this post was far too confusing.
- minipci1321 10y ago
  'Bit' does not translate as 'octet'. 'Byte' does. Minor remarque changing nothing in the meaning of your message.
  - scrollaway 10y ago
    Uh, you're totally right. I'm completely losing my french, not using it :) PS: remark, not remarque ;)
  - dragonwriter 10y ago
    And actually byte and octet aren't identical (octet is less technically ambiguous, since bytes aren't always 8 bits but octets are.)
    - scrollaway 10y ago
      That's a really cool point I never realized!
- deleted 10y ago
  [deleted]
- wyldfire 10y ago
  > I also feel like some people here might be forgetting that (en)"cock" has other meanings in English, including the male bird which is what (fr)"coq" means Which (en)"cock" does (fr)"bite" translate to?
  - scrollaway 10y ago
    The genitalia.
- deleted 10y ago
  [deleted]
- jpfed 10y ago
  Wouldn't "bite" in French sound more like "beet" in English?
hota_mazi 10y ago
The name was picked by French people who were not aware of the English word.
- groue 10y ago
  Sure, and French don't have a word for "entrepreneur" neither
- ufo 10y ago
  They were certainly aware of the english word. But I think they are too proud of their mother language to care :)
  - baq 10y ago
    oh they care, that's why they went with the name IIRC. native english speakers being uncomfortable with the name was an advantage.
  - deleted 10y ago
    [deleted]
wyager 10y ago
It's almost certainly a bit of a joke on anglophones. I mean, just look at their logo.
- pasquinelli 10y ago
  not a joke, but a wellspring of bad jokes.

well, INRIA is french national research institute and the national pet is the Coq (rooster) (edit : laurent I guess you are french, I'm just saying that for those who are not from France :)

minipci1321 10y ago
Isn't it also somehow related to "Calculus Of Constructions"? Always made me think about that, not sure why.
- tomku 10y ago
  Thierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)

progval 10y ago

Some people say it's a revenge to “bit”.

scrollaway 10y ago

I've seen this remark quite often when the word (fr)"coq" comes up. It's a non-english word that's homophonous to (en)"cock", but... so what? In french, the word (fr)"bite" translates to "cock". It's pronounced like (en)"bit". And while a lot of people prefer "octet", "bit" has very much become part of the french vocabulary. So, what do we do? We don't care. We giggle at it when we're in high school and then it stops being funny. In Swedish, (en)"sex" and (en)"six" are the same word (se)"sex", pronounced the same way. They don't care. I also feel like some people here might be forgetting that (en)"cock" has other meanings in English, including the male bird which is what (fr)"coq" means Edit: Prefixed everything because this post was far too confusing.

minipci1321 10y ago
'Bit' does not translate as 'octet'. 'Byte' does. Minor remarque changing nothing in the meaning of your message.
- scrollaway 10y ago
  Uh, you're totally right. I'm completely losing my french, not using it :) PS: remark, not remarque ;)
- dragonwriter 10y ago
  And actually byte and octet aren't identical (octet is less technically ambiguous, since bytes aren't always 8 bits but octets are.)
  - scrollaway 10y ago
    That's a really cool point I never realized!
deleted 10y ago
[deleted]
wyldfire 10y ago
> I also feel like some people here might be forgetting that (en)"cock" has other meanings in English, including the male bird which is what (fr)"coq" means Which (en)"cock" does (fr)"bite" translate to?
- scrollaway 10y ago
  The genitalia.
deleted 10y ago
[deleted]
jpfed 10y ago
Wouldn't "bite" in French sound more like "beet" in English?

hota_mazi 10y ago

The name was picked by French people who were not aware of the English word.

groue 10y ago
Sure, and French don't have a word for "entrepreneur" neither
ufo 10y ago
They were certainly aware of the english word. But I think they are too proud of their mother language to care :)
- baq 10y ago
  oh they care, that's why they went with the name IIRC. native english speakers being uncomfortable with the name was an advantage.
- deleted 10y ago
  [deleted]

wyager 10y ago

It's almost certainly a bit of a joke on anglophones. I mean, just look at their logo.

pasquinelli 10y ago
not a joke, but a wellspring of bad jokes.