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 
  • From: James R Wilcox <jrw12 AT cs.washington.edu>
  • To: Coq Club <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 11:54:09 -0700
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jrw12 AT cs.washington.edu; spf=Pass smtp.mailfrom=jrw12 AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-wr1-f51.google.com
  • Ironport-hdrordr: A9a23:KibX3qjjIEbLG2IEIejWHAMqyHBQXzJ13DAbvn1ZSRFFG/GwvcrGppUm/DXzjyscX2xlpMuJP7OOTWiZ2Zl+54QQOrnKZniBhEKDKoZ+4Yz+hwDxAiGWzJ876Y5MUYhbTOfxA19zkNrg7GCDeeoI7dGb/MmT6Nv24GxqSWhRB51IzwA8MQqDF10zeQ8uP+tbKLO45tBb4xK6c3UWccjTPAh4Y8Hnp8fX0LLKCCR2eiIPzQmVkHeQ7qTmeiLooSs2djNU3PMf9nLYmBby/aWpv5iAu2Hh/kve9Y5fltek6vYrPqyxo+wULjmptQqyfoRmXNS5zVQIidi15FwnndXKqRtIBbUL11rrcmu4oQTg1mDbuV5E11bYxVCVmnflq8DiLQhKafZpvo5Bdwuc1kxIhr5B+ZhW1GGUvYc/N2KkoA3B4bHzOS1Cpw6dvWcl1dUelWVYVpETLIVMtJUF8FlOea1wbR7S2cQIEPROEMqZ3/pfa1WcBkqpxFVH8ZiDXmkTAhzDeUQJutWU3z9K9UoJtHcw9Ygwnmog6Jl4cJVP5/3FPqN00JlCQ9Qbd7gVPpZwfeKHTkLMXDPROyapLVPrGLpvAQO0l6LK
  • Ironport-phdr: A9a23:hkln3Belc9PwpPlR0Qw1JqI/lGM+J97LVj590bIXzolWe6HmxazJeXLljd1ThVPEFb/W9+hDw7KP9fy5CCpZvszK6C9KWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAHcutMLjYZgNKo9xQfFr3lVcOlK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlhDsbOzM/7WrakdJ7gr5Frx29phx/24/Ub5+TNPpiZaPWYNcWSXNcUspNSyBNB4WxZJYNAeUcJ+ZVt4byp1UMohW+CweiB/7hxCFUiXLtx6I2z/4sHBva0AA8Hd8DtmnfotXvNKcVVOC41K3Gwi/Gb/xIwjf29ZTGeQ0hrvGNWbJ/bc3RyEYyHA7CjFWQs4LkMy6L2ukWr2eb9PBsVOy1hG48qwFxoz6vxsgwionOgIIZ0E7L+jhkwIssI9CzVUF0b8K+HpRKqyGaK5V5QtkkQ2xwpCs31qMLt5G7ciUJ1ZkqxBrSZvKEfoWM4h/uUOicLDNliH9ldr+zmRS//VW8xuHhV8S531ZEoCRKnNTRuH0Ayxre4dWERPtl5kqtxyqD2gTJ5uxHIU04j7TXJ4A8zrIqlpcfrELOFTLslkrslq+ZbEAk9/Co6+v5ZrXmoYeRN4puhQH/NqQig8K+Af4lPgQXUWiW+fmw2Kfs/U3+R7VKgfk2nbfDvJ/GIsQbo7a1Aw5T0ok99xayFymq3MgckHUdL19IeAiLg5b3N13TOvz1Deqzj0ypkDhxxvDGOrPhAo/KLnjGiLrhf6x96kBBxAYt1t1Q+4lUBqsPIf3pQU/xtN3YDhk2MwyoxObnDs9x2Z0DVmKSGqOZKr/dsUeU5uIzJOmBfJMauDHkK/Q8+/HuiWI5lkQGcKmy3ZoXbWi4Ee58L0WYZ3rsmNYBHn0QsgowVuy5wGGFBBVUfj6ZW782rmUwD5vjBoPeTKishqaA1WG1BMsFSHpBDwWuGHLlbM2+E8gNbCmVMoc1kCYbDOKJQJRnyhi1tA78xKZgKKzZ9jBO5sGr78R8++CGzUJ6zjdzFcnIljjVFwlcriYzXzYzmZtHjwll0F7r+aNjxeNRDtxS4fxVVQF8OJLBnbQSI+C3YRrIe5KycHjjQtiiBlkZS9swx5oReR84FYj7yB/E2CWuDvkekLnZXPQcwufnx3H0Yv1F5TPD3aglgUMhR6NnPnbgmadk9wnVCJLOlQOUm7v4LMwh

Thanks for that history, Andrew :)

Personally, I have made my peace with the name of the tool. Though I would certainly endorse proposals to change it, I am comfortable explaining exactly the history Andrew mentioned and acknowledging to my students that as English speakers, the joke is somewhat at our expense. I find the word play other than what Andrew calls the "special bonus" genuinely funny and clever.

However, my purpose with this thread is to focus on the logo, which I will make no peace with. I would be happy with another rooster drawing that is not flesh colored, for example. And I'd love to see alternative designs.

James



Archive powered by MHonArc 2.6.19+.

Top of Page