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?

From: Stefan Monnier <monnier AT iro.umontreal.ca>
To: James R Wilcox <jrw12 AT cs.washington.edu>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Mon, 05 Apr 2021 13:06:56 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier AT iro.umontreal.ca; spf=Pass smtp.mailfrom=monnier AT iro.umontreal.ca; spf=None smtp.helo=postmaster AT mailscanner.iro.umontreal.ca
Ironport-hdrordr: A9a23:fru9wakYymrm/IJR3BhiMGks10PpDfKl3DAbvn1ZSRFFG/GwvcaogfgdyFvImC8cMUtOpfmsGomlBUnd+5l8/JULMd6ZNzXOlWO0IOhZnOzf6hLtFyD0/uRekYdMGpIVNPTeFl5/5PyKhTWQN/YF7J25/LuzheHYpk0BcShPZ7t75wl0Tia3e3cbeCB8CZA0FIWR66N8zlKdUE4KZce2DGRtZZmgm/T3kvvdEHo7Li9iyw+EjT7A0s+YLzGomi4EUzVVwaozmFKqryXJop6uqveh11v13HPI4/1t+OfJ259IBMHksKkoFgk=
Ironport-phdr: A9a23:8aq/NRKq4ayPca9dktmcuFNhWUAX047cDksu8pMizoh2WeGdxfzKAkXT6L1XgUPTWs2DsrQY0ruQ6v+6EjRfqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba52IRmssAnctNcajYR+Jqsz1xDEvmZGd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljjoMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2zcpEPAvIBM+hGsofzpFUOoxW8CgaiC+zg1iRFhmPq0aAgz+gtDRvL0BAmEtkTsHrUttL1NKIKXO6o0KnH0zvDYOlQ2Tzg74bIdRYhofeNXb1ua8ra1E4iFwbCjlWWr4zlPi2a1v4Wvmia9epgUviji3MiqwF2pDiv2t0shZfTiYIR0FzL6T92zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnlotig1ybALpZ61cSYOxZg52xPSaPKJfouW7h/9SOucPTR1in1ldr+hiBu+71asxO3hWsWo0ltHrDZJn9rCu34C0RHY98aJSvx4/ki72DaP0Rje6uBCIUAulKrUMYQtwrAqlpcVrE/NHTf2lV3rgKKYaEko4Pak5/job7n8uJORN5V4hwHiPqg2h8CzHes1PhIQU2SF5+iwzqDv8VP4TblQjfA7na/Uu43AK8sBvK62GQpV354j6xmhCzem18wVnXwdI1JEfBKHlJTmNEvIIPD+E/i/mU6gkDZxx/DBJLHhH5DNLn/FkLf9Z7Zy9VRTyA4pwd9D/Z1YErABIPTtVU/trNHUExE0PxKuz+r5FNlw2ZkSVXyPD6ODMK7erUeE5uc1LOmNYI8Vtiz9K/8g5/P2iH85nlkdfa+o3ZQJcnC1BfVmI1+eYXb2n9cBFGAKvgwiTOzwllKNSzpTa2yuUK0m/j07Ep6pDZ/fRoCxh7yMxDu0HppPZmxfFl+MFWroeJ6fVvcXaCOSJ9dhnSYeWbigTY8hzxCuuxXgx7ppNOqHshEf4LDq0dVur9ebqhA2/jtkR5CfyX7UFUl/hSUXTiQ23aZwvUt7jFqPzP4rreZfEIlo+/5HWwFyEJnaye13EZimXwXHeNaEUn6nWNLgHDQ2SM4rztYKJU10TYbxxivf1janVudG34eAA4Y5p+eFhyCZD/Y48G7P0ewat3djWtFGXUWnnKk56g3UAZLTnkyd0a2jJ/x09B6Iz3+KyC+1hG8dVQdxVavfWnV3TkrMqpLk40TEU6WjALBhOQITkKaqGu5xctTsyG5+arLjNdDZC0q0kma0Hh2BwLWBdszrYWJbwSDaDlQengkXu32PZ1BWOw==

>> 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

Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Stefan Monnier, 04/05/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Derek Dreyer, 04/06/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Dominique Unruh, 04/06/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jay Kruer, 04/06/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Paolo Torrini, 04/06/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Guillaume Claret, 04/06/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Benjamin Pierce, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021