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 
    < Chronological >      < Thread >
  • From: Talia Ringer <tringer AT cs.washington.edu>
  • To: Coq-Club <coq-club AT inria.fr>
  • Cc: James R Wilcox <jrw12 AT cs.washington.edu>
  • Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Mon, 5 Apr 2021 10:34:00 -0700
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=Pass smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-ej1-f44.google.com
  • Ironport-hdrordr: A9a23:+KKfgauY3wQOfSvO8cm+7VGY7skCIIMji2hD6mlwRA09T+WznamV7Y0m/DXzjyscX2xlpMCYNMC7MAvh3LNWwa1UB7etWwH6pHClRbsJ0aLOyyDtcheOk9J1+rxnd8FFeb/NJHh8yf33+QypV+snqeP3k5yAocf74zNTQRpxa6dmhj0ZNi++HldtTAdLQboVfaDsgvZvnDardXQJYsnTPBBsNNTrnNHFmInrZhQLHXcciDWmty+i67LxDnGjr3Ajeg5IqI1Sl1TtokjW4uGGv+ugwhHRk1XP54lb8eGM9vJzQOKLjMYRJnHAqCaNIL5gVbqLoSwvrIiUhWoCoZ3jpREvOsg20XfNZyWOpwf30QWI6lkTwk6n8lOTjXv9rcGRflwHN/Y=
  • Ironport-phdr: A9a23:dTkpeBLPY4MAc+oIV9mcuPZmWUAX047cDksu8pMizoh2WeGdxfzKAkXT6L1XgUPTWs2DsrQY0ruQ6v+6EjRfqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba52IRmssAnctNcajYR+Jqsz1xDEvmZGd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljjoMOjgk+2/Vl8NwlrpWrx2vpxN9w4DaboKbOudgcKzBZt4VX3ZNU9xLWiBdHo+xbY0CBPcBM+ZCqIn9okMDowWkCgmoBePg0CJDiGP33a083OQuDxvG1xEnEtISqnTUrdP1NKgMXuCv16TH0S7DY+lY2Djn84jIchEhofeDXbJsdsrRz1MjGB3YgVWNsIHoOS6e2esRvWaB9eVgSf6vhHA9qwF3ujWj2Mcih4bXi48R1FzJ9SZ0zYcpKNCmVUJ1b8OoHZRRuiyYKYd7XscvT311tCs41rEKp5G2cDUKxpkjxRPTdvKJfo6V6RztU+aRJC13hHNjeL+nhhay91KgyuzmWcWu3lZKtCxImcTPuHAVzxHf9NSLR/9n8kqi2TuDzR7f5vxHLEwumqfWJJgsyaMqmJUJq0TMBCr2lV32jKCIckUk/fCl6+H9bbXnop+QLpF7igPjPqg3lMyyDus1PhIBX2ic/uS827nj8lPjTLpWif02l7HVsJHcJcsFuq60GxFZ3pon5hqlDDqr0M4UkWcaIF9GYh6KgIfkN0nLIP/iDPe/h1qskC1sx/DDJrDhHo/NLnnFkLfuY7l98VVRxxYozdxF6ZNbEKoBIPLyWk/3u9zYEhg5Mwquz+n5Fdp9y5sSWXiTDa+BLKPSrViI6/ozLOmLfY8ZoSryK/w45/H1lnI5gl8cfayx3ZQNcny4H/JmI1+YYXX2mNsBH30K7UICS7nBj0THejpObT7mVKUlozo/FYiODIHZR4nrjqbXjwmhGZgDWmlCC1nEK3bueIieE6MQciOULcJ7ujcfE6eoUI8g0x6yswm8xrZ6eLmHshYEvI7ugYAmr9bYkgs/oGQcJ/TY6HmESiRPpk1NQjY32K5lpkkV4lyYl7dxmPxZE9NP4PUPXwsnZ8e059w/MMj7X0f6RvnMUEyvKv2tGncuR8kxwtkBf0F7Xdiuk0KbtwKaRoQNnrnOP6Qat6LR23+ZD8N0ynKD2at4yld6Ho1AMmqpgqM5/A/WVdahrg==
Ah someone pointed out that may have been legitimate and not snark. If so, my apologies! I am used to snark when I bring up this kind of topic.

On Mon, Apr 5, 2021, 10:17 AM Talia Ringer <tringer AT cs.washington.edu> wrote:
I'm guessing that's snark. It's possible to not be "offended" and still realize that reinforcing a penis joke from the 1980s in a professional context, intentional or not, is probably just not a great idea.

On Mon, Apr 5, 2021, 10:07 AM Stefan Monnier <monnier AT iro.umontreal.ca> wrote:
>> flesh-colored logo with what looks like a mushroom top
> and now I can't unsee it.
> Isn't it time for a new logo?

Personally, I'm more offended by the advertisement for Github on
https://coq.inria.fr/


        Stefan


Archive powered by MHonArc 2.6.19+.

Top of Page