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: Mario Carneiro <di.gama AT gmail.com>
To: coq-club AT inria.fr
Cc: Derek Dreyer <dreyer AT mpi-sws.org>, Andrew Appel <appel AT princeton.edu>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Tue, 6 Apr 2021 18:49:12 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=di.gama AT gmail.com; spf=Pass smtp.mailfrom=di.gama AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f180.google.com
Ironport-hdrordr: A9a23:HrPiCaudTfPDjUkeIyidP5ju7skCIIMji2hD6mlwRA09T+WznamV7Y0m/DXzjyscX2xlpMCYNMC7MAvh3LNWwa1UB7etWwH6pHClRbsJ0aLOyyDtcheOk9J1+rxnd8FFeb/NJHh8yf33+QypV+snqeP3k5yAocf74zNTQRpxa6dmhj0ZNi++HldtTAdLQboVfaDsgvZvnDardXQJYsnTPBBsNNTrnNHFmInrZhQLHXcciDWmty+i67LxDnGjr3Ajeg5IqI1Sl1TtokjW4uGGv+ugwhHRk1XP54lb8eGM9vJzQOKLjMYRJnHAqCaNIL5gVbqLoSwvrIiUhWoCoZ3jpREvOsg20XfNZyWOpwf30QWI6lkTwk6n8lOTjXv9rcGRflwHN/Y=
Ironport-phdr: A9a23:Wf5EUByaFzY21NrXCzJ9ylBlVkAck4WxBRYc798ds5kLTJ7L16rrMEGX3/hxlliBBdydt6sVzbOJ7uu5ByQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAfRu8UZnIdvK7s6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyocKTU37H/YhdBxjKJDoRKuuRp/w5LPYIqIMPZyZ77Rcc8GSWZEWMtaSi5PDZ6mb4YXAOUBM+RXoYnzqVUNsBWwGxWjCfj1xTNUnHL7x7E23/gjHAzAwQcuH8gOsHPRrNjtM6kdS/q1zKjPzT7ecf5Zwy396I7WfRAgu/GMWq97fM3MxkkuDQ/FgU+fqYn/MD6O2eQNtnKU7+tkVe61l2EnrARxryGpy8wxhYbHmpgbxUrY9SVl3ok1P9u4RVZ0b9O6E5ZdsyGXOoVyT84hTGxkpCg0xqAatJC0YiUHx5AqygDRZvGIbYWE/B3uWeeNLDplmH9od7Oyiwqs/UagzOD3S8q60E5SoyZbjtXBsmoB2h/T58SdVPdx4Fmt1SyS2w3Q9u1JJ10/m7DBJJ472LEwk4IesUTdES/yn0X7lKqWeV8l+uis8ujne7bmqoKFO496lw3zMbgiltawAeQ/NQgOUGyb9vqm2LL/+k35Ra1GjvwwkqbHrJDXPdoXqrK9DgNP0Ysu6wyzAym43NgGh3ULMVFIdA6fg4jsIV7OIfT4Dfmlg1SrlTdm3+3JPrz7DpXCNHfDla3ucK1y605Z0gUzzNRf64hIBbEGJfL/QlXxu8DADh8lLwy0xP7qB8l61oMHQG6AHquZML7JvlKT/eIuI+yMZJcPtzrnKvgl4eTujX4jllMHc6mpx8hfVHftFfN/Zk6dfHDEg9EbEG5MsBBtYvbtjQinWCRSYD6ZVrg66zAhD8ryAYaFSYmoiZSO2S66GttdYWUQWQPEKmvha4jRA6REUymVOMI012VcDdCJe8oazRir8TTC5f9iJ+vQ9DcfsPrL29185umVnhY3p2UcJ/TY6HmESiRPpk1NXyU/tIhwpEV8zhGI1q0q25RwJZlo//pMFzwCG9vcwuh9Y/j3UwPFO86KEROoG4X+Rz42Sd01zpkFZEMvQ72f

On Tue, Apr 6, 2021 at 6:36 PM Benedikt Ahrens <benedikt.ahrens AT gmail.com> wrote:

Dear Derek, dear all,

"Coquina" sounds very much like "coquine", which in french can mean
"slut". Is this acceptable, because it is not English?

A naive Google search tells me that there are 7000 languages in the
world. Are suggestions for new names going to be vetted against all of them?

It is actually standard practice for brand names to be checked to ensure that they don't mean something unfortunate in any language where they will see appreciable use. You can just search for "brand names that don't translate well" to find many examples of companies that failed to do this and paid for it. No company wants to be the butt of a joke like this, because it distracts from the actual purpose of the product.

Mario

Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)