The Coq mailing list

[Jay Kruer <j AT dank.systems>]

> On Apr 6, 2021, at 2:22 AM, Dominique Unruh <unruh AT ut.ee> wrote:
> 
> since it is the pronunciation, not the spelling that seems to make 
> anglophones think of penises, one solution would be to pronounce it as "see 
> oh cue". The advantage of this is that there is no need to change an 
> established name, and that anyone can make their own choice about it. Like 
> with the term SQL vs "seequel", conversation works perfectly well without a 
> consensus on this point. From the side of the community, the only 
> requirement would be to accept the alternative pronunciation (i.e., people 
> don't say: "you are wrong, it's not pronounced see-oh-cue, only kok is the 
> right pronunciation").
I would second something like this. Many of my colleagues in the past made a 
pointed effort of pronouncing "Coq" as in French (I'm not sure how to write 
this phonetically, but it doesn't sound quite like "cock") or even just as 
"coke." Going from one syllable to three sounds pretty inconvenient for me, 
so until the name change I'll continue with pretending to speak French.

-jay