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: 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:17:01 -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-ed1-f42.google.com
Ironport-hdrordr: A9a23:9EJEYaEMPumg8yQupLqFvpHXdLJzesId70hD6mlaQ3VuA7Wlvuqpm+kW0gKxtSYJVBgb6Ki9EYSjYVeZz5565oENIayvNTONhEKEJJxvhLGSpgHINDb58odmpMVdWoh4TOb9FF1ryfv9iTPIcOoI5Pmi3OSWifzFz3FrJDsKV4hF4x1iAgiWVm1aLTM2YaYRL5aX6spZqzfIQx1+BfiTPXULU/POoNfGjvvdASIuPQIt6wWFkFqTmdnHOiWfty1uNQ9n8PMN9Szgnxbi7quu98unwgLRvlW+071m3PXmzNVHCIigqOgwbg/thAGheZh7V9S50QwdkaWA7lAlldWJmRM8JoBI7W/LdG3dm3TQ8jil6zol53/8xVLwuxXenfA=
Ironport-phdr: A9a23:TOgAlh2+8Q+xmnBPsmDOOAQyDhhPgJ3EezUN459isYplN5qZl7zcNUDSrc9gkEXOFd2Cra4d2qyP7PqrATNIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLd/IA+roQjTqMUajpduJ6QswRbVv3VEfPhby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnDUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulSwKMSMy/mPKhcxqlK9UrxyhqB5/zYDaY4+bKeRwcb/GcNwAWWZMRNxcWzBdDo6+aYYEEuoPPfxfr4n4v1YAswGxBQ2tBOz11zRGmn723as10+s/CwHNwQstH84UsHTVqtX1O7kdUfquwabU1jXPdf1X1i3m6IjIcxAhp/6MXa53ccrX00UgCR7KjkiJpIHjIjia2fgDvXKB4Op8SeKglXQnqwdprzSxxskhhZfEi4YLxl3E9ih0wZo4KMOlREB1fNKpH5pduiOEO4ZqRs4uX3xktSQmxrEYtpO3YSgExZAlyhLCZfKKdZWD7BzkVOaUOzh4hXRldaq+hxa060igy/fzWtO60FZQqCdOj9rCtmgV2hDN9sSKTuFx80Sh1DqVyQzf9uJJLVo7mKbFLZMq36Q+mYAJsUvZGy/7gEX2g7GSdkUj4uWo7v7oYrTippOFKYB7lxzyPr0gmsGwH+g0KAcOX2+c+eSz0L3s41f1T6lNjv0ziqXZsZbaKtoHpqOhHQNZzoIu5wy8AjqmytgUg2ULIVFfdB+IkYTlI1TOL+r5Dfe7jVSsijBrx/XeM739GJXNL37DkLj/crZn8ENT1BEzwcpR5p1OEbEBIPPzWkn+tNzECR85NRa4zPj6B9Vgzo8eQ36AAreFMKPOtl+F/v4gI+6VZIMMpDn9L+Ul6OX1gH8imV4deLGp0oENZHC5GPRmOUSZbmD2jtcPC2dZ9jY5GcftkRipVSNZLyK5WLt57TUmAqqnC53CT8ajmurS8j28G8hqb2RHAxi2EHHnep/MD+sWaSSdL9VJmSdCSrG6S44n2g2pskn3x6cxfbmcwTERqZ+2jIs93ObUjxxnrVRcP4Gmy2iIClpMsCYISjsxtIh6qE15j1qPiO1236YeGttU6PdEFAw9MMyEp8RKTuvqUweERe+nDVOvQ9GoGzY0Jvo62JkRal19GtOtkhfFmSemHu1M/5S7Qacs+6eZ5EDfYt5nwh7u37JnkFA9QspJOnGhgOhy+xWBX+b0

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

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
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Beta Ziliani, 04/06/2021