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: Jay Kruer <j AT dank.systems>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Mon, 5 Apr 2021 09:53:50 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=j AT dank.systems; spf=Pass smtp.mailfrom=j AT dank.systems; spf=None smtp.helo=postmaster AT out0.migadu.com
Ironport-hdrordr: A9a23:mD5R7awOlkh9VoHu8vXgKrPxKugkLtp033Aq2lEZdDV8acaYl9+jkbAyyHbP+XUscVsnns2NP7TFZHva+4J874V5B8bbYCDNvmy0IIZ+qbbz2jGIIVyGysdx94dFN5J/Btr5EERgga/BjTWQPt48zLC8gcSVrMvE1HF3V0VWbchbnnBEIymBFEkefngkObMdFICAouJdrTuhZnh/VLX6OlAhX/Lf4/zGkYuOW29KOzcD6BOSyROkgYSKWSSw+xcFTndo37Av6gH+4k3Ez4Ciqez+8xnHygbontprsf7g0MYGPtCGkMIPKj7h4zzYKLhJfr2ZoXQIp/uy40whi9nGr34bTotOwlfwWk3wnhf3wQnn118Vmhnf4HuVm2Hqr8C8ZB9SMbsluathaRfS50ctu9txuZg7qRPRi7NtARnNnDvw6rHzPnkA/CbazxtDrccpg2VbQc8ibtZq3P4i1XlYF5oNB0vBmcgaOdNzB8LR7us+SyLoU1nluABUsb6Rd0goEgzDakYPvdH96UkwoFlJi2MmgOYfkn0D+J9Vceg+2830do9ph7lIQMd+V9MNOM4xBe6wDHWle2O4DEuiZXL9FK8GPHrJ76Tw/K4+6KWLQfUzveEPsaWEa19evXM/YAbVBdaQ0IZt+hTAKV/NIwjF+4Vk659wp7HmAIDzOSmoQEw1n6Kb0ooiK/yeYPq1MI9bGLvYNGPrI4xOxAGWYegvFVAuFPYYvd4nV0nLmNvCLrf2vvHWGcyjWYbFIHIfVnviDnwIUFHIVbF9x3HuZXf8gBXYRnPqfQj17ftLYdjn1tlWz45IPpZHswgLhT2Cl4q2FQE=
Ironport-phdr: A9a23:ql90SRGdFSIJOsdEFI9q+J1GfxpMhN3EVjU92t8ck7tLN56b1NHcBiT32/xhgRfzUJnB7Loc0qyK6vGmADNaqs7e+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiyoAnLq8Ubg5VuJqktxhbLv3BFZ/lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lCsKMSMy/WfKgcJyka1bugqsqRxjzIHbfY+bOvR+cL3fct0ZXmdORNpdVylbD4+gc4cDEewMNvtYoYnnoFsOqAOzCw22C+Lv1zRGg2X23bAk3OQ7DArL2w4gEskTv3vOqtX1N70eUfu1zanT0TXMcfZW2Szk5YXObxsuru2CU6hqfsrN1UkgCRnFjlOIpID5Pz6b2OYAvnWH4+d+W+yilXMrpxxxrDWh2sshi5TEi40axF3A+it03IY4KNm5RUN6btOpEodduzyYOoZ4X84vRXxjtiUiyrAevZO2czIGxIopyhLFdvCLaZWE7g7tWeuXPDx2nmhqeKiliBa36UWgyvPzVs2z0FtSqSpFj8XMumwX2xzW68iHReFy8Vq82TqVyw/T7eRELVg1lardNZEh3qY9m54cvEjZACP7ll/6gLKMekk55uSl5fzrYrD8qZ+dM490hBv+MqMrmsGnA+Q1KRUBUHKd+eS/zrHj5k34QK5WjvIol6nZq4jWJd4Hqa6hHw9VzoEj5g6jADehydQUhGUILFZYeB2clIXpIFHPIPXgDfilmViskTFrx+rHPrL7GJnNIGLDw//deuN27FcZww4ux/he4YhVA/cPOqHdQEj04f7RH1caKRG52a6zCv1x34UdH3meGbOUNbiE4gzA3f4mP+TZPNxdgz36MfVwv5bGvToCgVYYOJKR894PcnnQNvhvJUbfemv3ntoECjVS1iIOCdfygVjHagZ9InO7XqYy/DY+YKqqBIHAAJu8m6CM2TzpR/V+ViV9ElmJVEzQWcCEVvMLAAqVP9M51DkFWrGtVskq0hT87GfH

I always figured it was just a very abstract rooster, though now that you make the comparison I can't unsee it either. I'm all for a new anime rooster a la Proof General.

On Apr 5, 2021, at 9:49 AM, 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

[Coq-Club] Why is the Coq logo made to look like a penis?, James R Wilcox, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jay Kruer, 04/05/2021
  - Re[2]: [Coq-Club] Why is the Coq logo made to look like a penis?, Denis Cousineau, 04/06/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?, Yishuai Li, 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?, Jennifer Paykin, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 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?, James R Wilcox, 04/05/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sandra Dylus, 04/05/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Christian Doczkal, 04/06/2021