4 ms·
That's not surprising, since that's the correct way to pronounce it...
by Others 10y ago
That's not surprising, since that's the correct way to pronounce it...
- hawkice 10y agoIt's not homophonic with Coke? EDIT: Inria is French (although Google translate insists the less fortunate homophone still exists in French).
- nickpsecurity 10y agoThat's how I pronounce it haha. Or I say "the INRIA prover."
- theoh 10y agoWait till the GGP hears about the CoqHOTT project and sees its logo...
- Outpox 10y agoThe pronunciation of "coke" is different from "cock". The pronunciation of "cock" is the same as the french word/animal "coq".
- lindbergh 10y agoActually, there's a slight difference between the two pronunciations, at least for the North American English pronunciation. When you say cock, there's an emphasis on the o (it lasts longer) while with coq, the o is slightly muttered. Like c-awk vs. c-uck, or according to wikitionary: \kɒk\ vs. \kɔk\ for coq.
- laurent123456 10y agoYes, and that's a strange choice of a name considering the whole website is in English (despite being from France).
- ritonlajoie 10y agowell, 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 agoIsn't it also somehow related to "Calculus Of Constructions"? Always made me think about that, not sure why.
- tomku 10y agoThierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)
- progval 10y agoSome people say it's a revenge to “bit”.
- scrollaway 10y agoI'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.