coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Dominique Unruh <unruh AT ut.ee>
- To: 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 12:22:53 +0300
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=d.unruh AT gmail.com; spf=Pass smtp.mailfrom=d.unruh AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf1-f48.google.com
- Ironport-hdrordr: A9a23:SFcd7ayFaoxawkJHMciTKrPwub1zdoIgy1knxilNYDZSddGVkN3roeQD2XbP+VAscVwDufTFAqmPRnvA6YV4iLN7AZ6OVBTr0VHYSL1KwpDlx1Tbak7D38p88YslTKRkEt33CjFB7frSxAWjCd4vzJ2m3cmT6Nv29HtmQQF0Z6wI1W4QYDqzKUFuQRkDOJxRLuv42uN8uzGidX4LB/7LYUUtYu6rnayoqLvWJTUHABMm7wfmt1+VwY+/GRiUty1+bxp/hbsm6VHCnmXCiJmLgrW2zwfn13Lez7k+orTc9uc=
- Ironport-phdr: A9a23:ersJuR3OZx5tpn5FsmDOaAQyDhhPgJ3EezUN459isYplN5qZl7zcNUDSrc9gkEXOFd2Cra4d2qyP7PurBTdIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLd/IA+roQjTuMQajoRvJ6gswRbVv3VEfPhby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnDUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulSwKMSMy/mPKhcxqlK9buw+vqQJxw4DUY4+bOvRxcazfctwGSmRMRdpRWi5bD4+gc4cCAegMMOBFpIf9vVsOqh6+CBGiCuPozz9Ih3n23awj0+Q8Dw7NwQIvH9QUsHTJrNX+KaAfUf2zzKnS0DXDb+hb2Srh6ITSbB8uv+iBULRtesXe1UchDRnKjkmMqYP7JTOV0PwAvWea4ud9VeyjlWAqph1trzSxyMkgl5XEi54Lxl7E+it3zoU4KNmmRUNlfNKpE5hdui+EO4Z4X84uX2JltDs7x7AApJW1fzAKxYw5yxLDb/GLaYuF7xL5WOqMIDp1hmhpdb28ihqq8kWtyffwWtSw3VtLtCZIlsPAu38T2xHV98OJUOFy/l271jaKzw3T6v9LIUQzlafDLp4u2L8wlp4KvUTHEC/6hVz6jKGZe0gn4OSo5OPnYrLppp+YKYB4kB3xMqMrmsCnAOQ4NBYBX3SD9OiiyLHu+Vf1TbZKg/Esj6XUsZLXKd4Uq6O6GwNV15ws6xe7DzeoytQYmnwHIUpYdx6dkojpPUvOIO34DfqkjFSslS1kx/HCPrH7HprNKX3DnK/7fblh805c1BYzzddH6p1IDbEBOev/VVP1tNzFFRA0KBe0wubiCNVlzIwSQ2OPAqmDMKPTq1CE/OwvI/PfLLMS7T36Mr0u4+PkpX4/g14UO6ezjrUNb3XtMvNjIkOYeGfhyuoHC3oK9l4jSvb3iHWfTXheaiDhDOoH+jgnBdf+Xs/4TYe3jenZtA+LW6ZOb2UDMWiiVHLhdoGKQfAJAAqdJ8ZglnoPUr3zEucJ5VSVrAb/joFfAK/M4CRwnZ3m3dlxoebUkENqnRRESv+F2mTIdFla22MFQzhe9KV2oEg4zlnalKYk07pXEttc4/4PWQA/Z8a08g==
Hi,
since it is the pronunciation, not the spelling that seems to make anglophones think of penises, one solution would be to pronounce it as "see oh cue". The advantage of this is that there is no need to change an established name, and that anyone can make their own choice about it. Like with the term SQL vs "seequel", conversation works perfectly well without a consensus on this point. From the side of the community, the only requirement would be to accept the alternative pronunciation (i.e., people don't say: "you are wrong, it's not pronounced see-oh-cue, only kok is the right pronunciation").
And another side thought: Maybe there is too much emphasis on the fact that the name resulted from a joke. I don't know the history, but wasn't the tool called CoC before the joke, which would make people as uncomfortable? I think it is important to emphasize the parts of the etymology that do not reemphasize the conception of Coq as a "dirty word".
Best wishes,
Dominique.
- 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?, Ralf Jung, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Michael Soegtrop, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Stefan Monnier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Ralf Jung, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Kristin Yvonne Rozier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Wilayat Khan, 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?, Talia Ringer, 04/05/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
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Freek Wiedijk, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Filipe Vieira, 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/07/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?, Guillaume Claret, 04/06/2021
Archive powered by MHonArc 2.6.19+.