← Back to context Comment by specular 11 years ago Agreed. Is this pronounced "coke"? Regardless, this is a very interesting paper. 11 comments specular Reply markcerqueira 11 years ago It's cock. Took a course with Andrew Appel; the heroic man did not flinch once when he said it over and over again during the semester. My favorite line of the course: "You're going to do your homework in COCK." conistonwater 11 years ago Was the naming intentional? Did they know the common English meaning of it? AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 1 reply → VeejayRampay 11 years ago It's actually pronounced more like "cock". Coq is the French word for rooster. tunesmith 11 years ago In a french accent it's more like "Cuck", that's how I say it in my head. Luckily, I don't have to say it out loud. psychometry 11 years ago I believe it's /ɔ/ in French but usually /ɑ/ in English. cockis 11 years ago Of course, cock is an English word for rooster.Does coq have the same connotation in French, though? bnegreve 11 years ago Not at all, but I was told that the pun was totally intentional [citation needed]. 1 reply → duaneb 11 years ago Hrm.... Really makes me uncomfortable to say "I love Coq" conversationally.
markcerqueira 11 years ago It's cock. Took a course with Andrew Appel; the heroic man did not flinch once when he said it over and over again during the semester. My favorite line of the course: "You're going to do your homework in COCK." conistonwater 11 years ago Was the naming intentional? Did they know the common English meaning of it? AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 1 reply →
conistonwater 11 years ago Was the naming intentional? Did they know the common English meaning of it? AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 1 reply →
AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 1 reply →
VeejayRampay 11 years ago It's actually pronounced more like "cock". Coq is the French word for rooster. tunesmith 11 years ago In a french accent it's more like "Cuck", that's how I say it in my head. Luckily, I don't have to say it out loud. psychometry 11 years ago I believe it's /ɔ/ in French but usually /ɑ/ in English. cockis 11 years ago Of course, cock is an English word for rooster.Does coq have the same connotation in French, though? bnegreve 11 years ago Not at all, but I was told that the pun was totally intentional [citation needed]. 1 reply → duaneb 11 years ago Hrm.... Really makes me uncomfortable to say "I love Coq" conversationally.
tunesmith 11 years ago In a french accent it's more like "Cuck", that's how I say it in my head. Luckily, I don't have to say it out loud. psychometry 11 years ago I believe it's /ɔ/ in French but usually /ɑ/ in English.
cockis 11 years ago Of course, cock is an English word for rooster.Does coq have the same connotation in French, though? bnegreve 11 years ago Not at all, but I was told that the pun was totally intentional [citation needed]. 1 reply →
bnegreve 11 years ago Not at all, but I was told that the pun was totally intentional [citation needed]. 1 reply →
It's cock. Took a course with Andrew Appel; the heroic man did not flinch once when he said it over and over again during the semester. My favorite line of the course: "You're going to do your homework in COCK."
Was the naming intentional? Did they know the common English meaning of it?
They give an explanation here.
https://coq.inria.fr/faq?q=node/16&som=2#htoc4
1 reply →
It's actually pronounced more like "cock". Coq is the French word for rooster.
In a french accent it's more like "Cuck", that's how I say it in my head. Luckily, I don't have to say it out loud.
I believe it's /ɔ/ in French but usually /ɑ/ in English.
Of course, cock is an English word for rooster.
Does coq have the same connotation in French, though?
Not at all, but I was told that the pun was totally intentional [citation needed].
1 reply →
Hrm.... Really makes me uncomfortable to say "I love Coq" conversationally.