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: Thorsten Altenkirch <Thorsten.Altenkirch AT nottingham.ac.uk>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Tue, 6 Apr 2021 15:37:50 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=m4rqchRpg2DHgCILqKO63hWRxeKfvOMr3ubf7r1jkT8=; b=nvj3J+rVZIv/SeQQ4R/KK4kjAmD94nHlVqW+zG31GvmVhV+mQMgsKChH9xKSKdCZKD/hyeObR79SDuuvp5zSbq3F6d7vpffiQlbpPCdDQUbpdDviNqq71J9mr3+D0tDsVBYflTwj+z6uwaJVPOSoUzCYTyuONbwuLHj4o5QZLD1YlCnGH3JzF+s65ufRPIp4EtKTy9/D9bfj+c0yzRx5foFT5a+tlNX76QQbhIUVNcJfkaSihVI9apKuvAhiezT/7XRe7J8bKYW6hixSAdZPQeH+881GADz/f3T77BgSS/utqD8PKRD/0N1tAWy9NMcat6NrjOyuHLzH42J7RMq+DA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=gwnrz8oBEUgjnbLBjnbqKRm17+5wo9CMAU2Mhsl0S2rzeRlzBe94JRDtaY+P4CMebMOgfEESQoUUp/Kzk+AJLke+xjBOzJOw6VGg30pP13XVD2e6XCG2MMfn+sn+1qUl/A2Kid4Ig6uNwLmPGdeGaQ01UYsLjifV4iMDYO+6W8LCoiLTQpjZTDcIGf8ZfhzeSYOYcMCVG2NJvA4qQVY/icGgbXeI5MIPb3ktZwgzqrLDcjAB7nAayKnOMhbMGTB4zsgRktXhsggQkMa25uCdu07BWMUN7LCUmatcIVfLC+h1wB2ygMpnkBkYi6Yq76jv8RwBTf/CDVHEqAwgoxENVQ==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Thorsten.Altenkirch AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Thorsten.Altenkirch AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT uidappmx06.nottingham.ac.uk
  • Ironport-hdrordr: A9a23:uBzMUKGcmXigGVz+pLqFRpTXdLJzesId70hD6mlYcjYQWtCElsyogfQQ3QL1jjFUY307hdWcIsC7MBHh3LZPy800Ma25VAfr/FGpIoZr8Jf4z1Tbak7D38Zn/+Nbf6B6YeeRMXFTh8z3+RT9Nt4mzsWO/qzAv5ah815GSwZ2Z6Z8qyJwDQiGGkN7LTM2dKYRPpya+8ZBun6caW0aB/7LRkUtcuDfq7Tw5ejbSDEcARpP0njosRqJ7/rAHwGczlMiVVp0sMgf2EzktyC82am5qfG8zXbnpizuxrBbgsHoxNcGJOHksLlpFhzWhgylZJtsVtS51VhfyozChzhK4by8xysIBMh952jceWu4u3LWqnXd+Qwz4Hzvw0LwuwqbneXFRSk3A8cEpYVVfgqx0TtagPhA0blG12/cipxPDRmoplWE2/H0UXhR5yyJiEtntdRWo21UUIMYZrMUh5cY5llpHJAJGz+/wJw7EcF1Zfuspsp+QBe/VTT0r2NvyNujUjAYBRGdWHUPvcSTznx/gG159U0F38YS901wsa4Vet1h3aDpI65onLZBQos9dqRmHtoMRsOxFyjrTQ/TNnmRZXDqDrsONX6Ii5Of2sRw2MiaPLgziLcikpXIV11V8UQofVj1NMGI1JpXth/XRmGwWins19Fe65B1tqaUfsusDQSzDHQV1+ewqfQWBcPWH9ypPohNPvPlJWzyXYZFtjeOAqV6GD07aok4q9w7U1WBrobgMYvxrNHWd/7VOf7oGTYgUWXvH2sbUFHIVZ19x3HufkW9rAnaWnvrdEC614l3CrLm8+8az5VIMJZNvAgTgVGw/dqKNjVGr6wzcCJFUfTau5L+gVPz0XfD7m1vNBYYJF1S+q/cX3RDohJPL1n5aq8Zu9KUeXlb2XyOIhMXdbKMLCdv43BMvY6nJZ2Zwi4vT++9OmWBln0JuTahVJEHgJCO4s/jZ7I1BpsrQ7ZKCA3ODhB58Dwa8ltrWUshfAv/Himrobi5hJYUbduvB+VUsUOOG4pojl7x8W+bvtoiQ3MHWSXGa7/lvS8eAxxOhlNw9KcDhqGngjjHExpjvM0IdGdlUkTSO5hhISjtXvQKppnbPDtoRWPPojqGh3gICzbX3k0Pm23sKjCVc/nXAlxb/mtVyLru7UkcTBTpQ2ttcHxg9YVyGWPa00wDo9Ojd+691XCcZUAFxfxYODbZYSEKKgcr3Nyv0gWJ8QzyWkkO19ErPubHCq4kfKyW0nSxKJeQnaVuJY4YwL91cNTvuPQMS+SRZkucKy75Efog30iQqmw+MCd57HkinvWA4myo0EGomHo+C+HVOlJoWvUSJMyd9XHtQ7KQy4pi5OhF9deYIyH0cJqL2KvXZzlMJlfapnO3VfghrdRRsbgpvLV+EpHHWVLzpT969QR7KN2xmFIVQax97ryEIINpcsAIcy9S/1Yilr20XQEWmx2zBvV7cUAmjnfdMd/M/qHBrqA3BFad4AT3IluS/kRmjrb4djrG0aRfDa0+IW5bMhdhrHtj+f6PbI3WBkGhcfpZ8F+zL3+6d/tcRcG+aMMthwc/58vNmemdMzf80kTXuzBwJ6pV6WapQc+oGmu3aKV12s3/PU7Jm7eg5c64kSz+RjS6YVkJnIEtTz1mUu1Tzj05yJAt2ie8SqbrslsonltX7zZgjEPs0OGdkS7mNFADNxbYjJVQVSRSNXbNjd2ty5nt6EjA
  • Ironport-phdr: A9a23:dTw30hzv5cE0navXCzLBzVBlVkAck4WxBRYc798ds5kLTJ7L16rrMEGX3/hxlliBBdydt6sVzbOJ7uu5ByQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAfRu8UZnIdvK7s6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZogaxbvhyvugB/zYDXboGbNvVxcKLdcs8VSmdaRMldSylBD5mgY4YVDecMO/tToYnnp1sJqBuzHReiBOPoyj9SnX/2wbM10+I8Ggza2AwgA8wBsHLXrNX0LqcdTeC1x7TPwDvdb/NW3i396JPUch8/p/GAR659cc7NyUYxEQPFjVSQqZb5MDOVzekNtW+b7/Z8VeKujW4npAFxrSKqxss2kIbGmpgZyk3H9Shgxos+ONK3RlJhb9G+DJtQqz+VN5FwQs46X2xkpic3xL0YtJKnfSUH1IoqyR7cZvCbfIWE/A/vWeWNLDp7mn9oZKyyigiy/0avyeDwSMu53UhXoidZjNXAqnYA3AHQ5MifUvZx41mt1DWV2wzN5exJL1o4mKXVJpI737I8iJ4evVzAEyL3gkn7grOael8l9+Wo8ejqZqvqqoeCO4J1lg3zPKEjltGjDesiMwUDWnWX9fii2LDm4EH2WqlGg/gzn6XHrJzXI9kQqLSjDA9PyIkj7g6yDze439QcmnkKNE9FeBOagIfzI1HOOPX4DPijj1mtijtrwffGPqH9ApXMKHjDn7fhcqx460JG0gU80cpT549XCr0ZIfLzXFH+tMDAAxMkLQC5wPzrBMty244QQ26CDaGUPLnPvVOW4u8jO+yMa5UUuDb5Jfgl/fnujXohlFEDfamp2oEXaGukHvt4JUWVe2bhgtMdEWgUuAo+T+3qiEeeXj5TfHuyWaU85i0nCIKnC4fDSYCtj6aE3CuhBJJZenpKCk2PEXvwbYWLR+8MaD6OIs9mijELSb+hS5Y42R6ysA/61qFoI/HP+iwYsJLjzMJ66/fSlRE07zx0Dt6S33uDT2FuzSs0QGp816dm5Ed5112r0K5igvUeG8YZr6dCVR5/PprBxcR7DcrzU0TPZIHaZkyhR4CaATYrVc48xZcnZ1pwHdajlBvDl36WA7gPjKCGAtod9r7R2XvwPc1943DByLUgiVYmS84JPGbgm60ppFubPJLAj0jMz/XiTq8bxiOYrA+r/S+1pEhdFTVIf+DAVHEbaFHRqLzR4ETeU76oBrQuN01IwoifKfkTAvXZyG5eTfKmA+zwJmK8n2DYLQuJyrqUdI/6Iztb2iLBFEkCnAAa+DCPPk4jBXX5y0ruSQd2HFeqWHvCtPFkoRuTSEgo0wCMYE1o0vy88VgIhq7EI84=

I wonder whether there is a bit of cultural imperialism in this. I have noticed in the past that US researchers are always very outspoken when it is about political correctness issues like this. After all coq was developed and named in Europe and maybe it should keep a name which is European and not Americanized.

 

From: <coq-club-request AT inria.fr> on behalf of Stephanie Weirich <sweirich AT seas.upenn.edu>
Reply to: "coq-club AT inria.fr" <coq-club AT inria.fr>
Date: Tuesday, 6 April 2021 at 16:22
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?

 

I'll add my support to the feature request for a name / logo change. It would make my job easier as a researcher and educator to have a different way to refer to the tool. The current situation is not terrible of course and there are workarounds as discussed here. But that said, a new name would be an improvement.

 

In terms of branding, I think that Coq is as hurt by its historical name as much as it is helped. Is it a solid tool developed over decades with a stable user community or is it a fresh new platform that incorporates recent advances in type theory, proof automation and engineering? A new name could bring (well-deserved) attention to recent work by the Coq team to modernize the system.



On Apr 5, 2021, at 12:49 PM, James R Wilcox <jrw12 AT cs.washington.edu> wrote:

 

I had never noticed this before, despite apologizing for the name of the proof assistant to my students for many years. This year, I had a student point out to me the

 

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?

 

James R. Wilcox

University of Washington, Seattle 

 


This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.

Archive powered by MHonArc 2.6.19+.

Top of Page