4 ms·

I am sorry, but "Coq" is competing right up there with "Megapussi" potato chips and "Wack off" insect repellant for the worst named product. What on earth were

I am sorry, but "Coq" is competing right up there with "Megapussi" potato chips and "Wack off" insect repellant for the worst named product. What on earth were you thinking naming it "Coq"? http://www.oddee.com/item_96682.aspx http://www.oddee.com/item_96682.aspx

cmeiklejohn 13y ago
From: http://en.wikipedia.org/wiki/Coq http://en.wikipedia.org/wiki/Coq "The word coq means "rooster" in French, and stems from a tradition of naming French research development tools with animal names.[4] It is also a reference to Thierry Coquand, who developed the aforementioned calculus of constructions along with Gérard Huet. Also, at first it was simply called Coc, the acronym of calculus of construction."
deleted 13y ago
[deleted]
deepblueocean 13y ago
I've always been convinced that the name is a cruel joke played on American computer scientists by their French counterparts.
- deleted 13y ago
  [deleted]
betterunix 13y ago
Do you also giggle at the name "Johnson?" I mean seriously, "cock" is widely used to refer to male birds. Yes, I would have laughed hysterically at this in middle school but we all have to grow up some time. Here is "cock" in an appropriate context: > At this stage of the chicks' development, the cocks usually has begun to enter the nest to help his hen in caring and feeding the chicks. http://greatbudgies.webs.com/aboutbudgies.htm http://greatbudgies.webs.com/aboutbudgies.htm "Cock" as a word is no different from "bitch" or "stud:" https://en.wikipedia.org/wiki/Cock_%28bird%29 https://en.wikipedia.org/wiki/Cock_%28bird%29 http://classic.akc.org/breeders/resp_breeding/Articles/careandfeeding.cfm http://classic.akc.org/breeders/resp_breeding/Articles/carea... https://en.wikipedia.org/wiki/Stud_%28animal%29 https://en.wikipedia.org/wiki/Stud_%28animal%29
- LilValleyBigEgo 13y ago
  > Do you also giggle at the name "Johnson?" Yes. Problem?
- Mindless2112 13y ago
  The name isn't doing the language any favors though. "I love Coq" isn't going to garner the same response as "I love Rust" despite how sincere you are about maturity.
  - akuchling 13y ago
    So pronounce it like "Coke".
_pius 13y ago
I take it you've never had Coq au Vin?
rdtsc 13y ago
How dare people from other countries not check with American sensibilities before naming their products. We should perhaps invade them and teach a thing or two about American culture.

cmeiklejohn 13y ago

From: http://en.wikipedia.org/wiki/Coq http://en.wikipedia.org/wiki/Coq "The word coq means "rooster" in French, and stems from a tradition of naming French research development tools with animal names.[4] It is also a reference to Thierry Coquand, who developed the aforementioned calculus of constructions along with Gérard Huet. Also, at first it was simply called Coc, the acronym of calculus of construction."

deleted 13y ago

[deleted]

deepblueocean 13y ago

I've always been convinced that the name is a cruel joke played on American computer scientists by their French counterparts.

deleted 13y ago
[deleted]

betterunix 13y ago

Do you also giggle at the name "Johnson?" I mean seriously, "cock" is widely used to refer to male birds. Yes, I would have laughed hysterically at this in middle school but we all have to grow up some time. Here is "cock" in an appropriate context: > At this stage of the chicks' development, the cocks usually has begun to enter the nest to help his hen in caring and feeding the chicks. http://greatbudgies.webs.com/aboutbudgies.htm http://greatbudgies.webs.com/aboutbudgies.htm "Cock" as a word is no different from "bitch" or "stud:" https://en.wikipedia.org/wiki/Cock_%28bird%29 https://en.wikipedia.org/wiki/Cock_%28bird%29 http://classic.akc.org/breeders/resp_breeding/Articles/careandfeeding.cfm http://classic.akc.org/breeders/resp_breeding/Articles/carea... https://en.wikipedia.org/wiki/Stud_%28animal%29 https://en.wikipedia.org/wiki/Stud_%28animal%29

LilValleyBigEgo 13y ago
> Do you also giggle at the name "Johnson?" Yes. Problem?
Mindless2112 13y ago
The name isn't doing the language any favors though. "I love Coq" isn't going to garner the same response as "I love Rust" despite how sincere you are about maturity.
- akuchling 13y ago
  So pronounce it like "Coke".

_pius 13y ago

I take it you've never had Coq au Vin?

rdtsc 13y ago

How dare people from other countries not check with American sensibilities before naming their products. We should perhaps invade them and teach a thing or two about American culture.