Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Why is the Coq logo made to look like a penis?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Why is the Coq logo made to look like a penis?


Chronological Thread 
  • From: Sam Kuper <sampablokuper AT posteo.net>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Thu, 8 Apr 2021 16:06:01 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sampablokuper AT posteo.net; spf=Pass smtp.mailfrom=sampablokuper AT posteo.net; spf=None smtp.helo=postmaster AT mout02.posteo.de
  • Ironport-hdrordr: A9a23:ax13Sq8DEv6RyJQb69Juk+Fpdb1zdoIgy1knxilNYDZeG/bo7PyGtvIdyBPylXItQ3kmg9+NI+2tRnnb+J5z7+AqTNWfdSPhv3alK5wn0Jv6z1Tbak7D38N+9YMlSahxD9XsEUN35PyW3CCUG8stqeP3lpyAqvzZyx5WPGRXQoFmqzx0EwOKVnBxLTM2f6YRMJaH/MJIq36BdB0sH72GL10EW+SGmNHRjpLhZnc9dnoawTKDhz+p97L2eiLwtnx1Mw9n+rss/XPIlAb0/MyYwomG4yXB3Gze5Yk+oqqH9vJ/AqW3+7UoAwSpoQa6bINuU9S5zUQIidDqxlJvtNXXuR8vM4BI9nvNcgiOzifF6k3P1jAh7nOn5H25pT/YocL/TC8nEMYpv+5kWyqcxUwnstRxlJhOwnvcjZxKFhnN9R6S2/H4EzVjlk+5uhMZ4JIupk0adYMfbaVNtopaw0tPEJ8KGS7hgbpXb5gRMOjsoNBMcV2baHjd+lNo3MenUjASJ369Mzk/k/3Q6DRdkHBnw0Zw/q0it0ZFz547Q4RJ/KD/Pr92mKpoRssbBJgNcdspcI+NBmvEXB7WdFiKKVDMHL0cNxv22uzKyYRw3+2scIEF198JgZzEallfrmJaQTOcNeS+mKZG9RjRTH74Zy3kzvtC74V004eMNIbWDQ==
  • Ironport-phdr: A9a23:ETP2sxGuSzyhLGHX5Q3Ww51Gf1FLhN3EVjU92t8ck7tLN56b1NHcBiT32/xhgRfzUJnB7Loc0qyK6vGmADNQqs/Y7jgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrqQjdrNQajIlhJ6o+1xfFv3pFcPlKyG11Il6egwzy7dqq8p559CRQtfMh98peXqj/Yq81U79WAik4Pm4s/MHkugXNQgWJ5nsHT2UZiQFIDBTf7BH7RZj+rC33vfdg1SaAPM32Sbc0WSm+76puVRTlhjsLOyI//WrKjcN+kb9boAm5pxNh34HUfI+bNP17fqzHfNMaQ3dKUsJeWiFFB4+xaZYEAegcMuZCt4TzqVsAowWjCwevCuPgxSNHiWL506I4yOkhDQLL0RY8E94SrHjZrtP4P7oSX+Cvy6nIyC3OYe5M1jf49YPGdw0hoemSUrJqbMHczlIvGBnAjlWIs4PqJDeV1uMOs2iG9+pvS/ivhnU/qwF2uTiv2tkjio7TioIT1F/E6Tx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTm9qtSs01rELuZC1cScLxZko2xLRZeKLfYaG7B/gWuicPzR1iG9rdb6ihxi//0etx/H8WMS031hHrCVLn8fMuH0Lyhfd5M+HSv5n8Ueg3zaCzw7S6uBHIUA1jarUNYMuwr8qmZYJtkTDBCD2lF3ojKOMeUUr5+6l4PnkbLX+vpKQKox5hwHkPqkvmMGzG+o1PwkUU2Wa+OmwzL7u8EnjTLlXgfA7k7PVvI7EKcgHvKK1HgFY3pol5h2iFTmpys4YkmMCLF9deBKIkYzpO1bWLfD9Cve/nkisnCt1y/zcJr3hBY7NLmTdn7fmZ7py9lBTxBIyzdBZ+Z1UFqkMLO/wV0LxrtDVDx00Pxa6zuvmEtlw14ITVXqKAqCDMaPStVGI5vgoI+mJfIIVoyzyK/095/H0lnA5nVgdfaq03ZsPdn+4BO9rI12eYXr3ntcOD2AKshA4TOP0lF2OSSRTaGqqX6Ig+jE7D5qrApvERoC0mbCOwCO7HoBNaW1dEVCNEXLod52eVPsWaSKSJNVhkj0eWrS7RY8hz0LmiAivwL1+a+HQ5ycwtJT51dEz6feAuws18GlPBsHV8HyVQns8yngBQic/1qR4olFlx02rya9jn/FfU9pe+6UaAU8BKZfAwrkiWJjJUQXbc4LVGT6OcpCdGTg0C+kJ7ZoLakd5Fc+li3jrxy2xH7IS0bqGGM5tmorsmkPpLsM48E7okaksi15Oas5IKHH+3Ohn8BPPComPn0jLz86CReEnxCfIsVy74y+WpkgweBZ3SrnIWjYZa1eE9bzE

On Wed, Apr 07, 2021 at 04:20:18PM +0200, nicolas tabareau wrote:
> As a follow-up on this idea, we have proposed “le coq formel” on the
> wiki.
>
> More globally, I also think that adding some words around “Coq” to
> remove the possibility for bad jokes/interpretations in English is
> really something to consider, if not the only way out.
>
> I hope that native English speakers will confirm that it indeed works
> and prevents people from hearing the silly word in it.

I can emphatically disconfirm this.

There is a sportswear brand called "Le Coq Sportif".

It is quite popular in the U.K. Nevertheless, I have heard many a
native (British) English speaker snigger at it, and make innuendo:

"The sporty cock, eh?"

"No-one likes one that isn't."

That sort of thing.

https://en.wikipedia.org/wiki/Le_Coq_Sportif

https://fr.wikipedia.org/wiki/Le_Coq_sportif

Given the similarity, it seems unlikely that "Le Coq Formel" would fare
much differently.

--
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

() ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\ file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.



Archive powered by MHonArc 2.6.19+.

Top of Page