3 ms·
"Coq" means "Rooster" in French. Coq (the software) started development at INRIA (France) in 1984 as a small R&D project. I am not particularly shocked that the
by GuiA 9y ago
"Coq" means "Rooster" in French. Coq (the software) started development at INRIA (France) in 1984 as a small R&D project. I am not particularly shocked that the original developers did not realize the possible double meaning in another language, and being as dismissive as you are seems uncalled for.
There are countless startups whose names in English mean something else entirely in another language. For example "Cocu Social", a cooking startup, whose name in French would mean "gregarious cuckold".
- kbutler 9y ago...and transliterations into new languages are a fine time for some mispronunciation, like the famous Coca-Cola search for a good Chinese transliteration ("let the mouth rejoice" doesn't sound exactly like English "Coca-Cola", but it's a better brand than "bite the wax tadpole" https://www.snopes.com/cokelore/tadpole.asp https://www.snopes.com/cokelore/tadpole.asp )
- jamesrcole 9y ago> I am not particularly shocked that the original developers did not realize the possible double meaning in another language Most French people seem to know English quite well, so I would expect they'd be aware of it. Not saying I know this is true for sure, though.
- samth 9y agoThe original developers include Thierry Coquand. Also there's a tradition of naming theorem provers after birds (that might have started with Coq though). But they definitely knew that this pun was there.
- theaeolist 9y ago.. and it is based on a type theory known as the Calculus of Constructions (CoC).
- dvhh 9y agoI think the verge, could be translated from french as the rod ( and often used as a slang for this rod ).
- GuiA 9y agoYes, “verge” is a common french slang word for penis. Let’s also mention San Francisco’s Coit Tower, which always amuses the french tourists (coit = coitus)