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: Joyal, André <joyal.andre AT uqam.ca>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Wed, 7 Apr 2021 17:11:10 +0000
Accept-language: fr-CA, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uqam.ca; dmarc=pass action=none header.from=uqam.ca; dkim=pass header.d=uqam.ca; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=pezDo6bX816UWuATXQY1RUqwtwFZSY0GB9DMRnSRPtU=; b=G4TJAWj3UcfA+UMPLTkWyO/O60EWhCynlJFU/U5pKq4yWrkc8mskXiFVRIQ6iQXLVgKpkTjouxF6hzR/UD2Vfqjqm0HwkvrP+Ty1pTqNHP9k/geiBWVjx4+9PF61MIm29vOc6fENPcqGl5DqjJcgVjXLiDHM1IeppSOr7ybesZXXGMC5tMgm46QF56K0Se1vSgfXVCENIqGfwErUTI8dGGV7uUQ8foQDgsdN3O5TXGk/cOsDXs/CYJEcFiVHb8sc8vJK0Onrg8zki25cNpV4qad6E9oaZFefLyFRbAVHXqyt5Aj3vdfWLA+W/W70iuntPuVk5dHDrF+tvyvCitzV4g==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IriTU4fkh7IRtlhNmw7CESIokUFgIC3L5SY/3uiKbIQQWjcW70FU4qQfdhZNCI/KVOl0Tpgh1AKMgzoFpjV7FuBtTnIdxJLV7Qe8rp1LUHlQTdwJmkYdJyaAJj4KSStioEivvUxUoWJ+MgujxF4hmAedGZ2F2u+iqillD/lfyC45veFI+GvRPt/2/d3b9qjopzmxC7fx9RGbmsINRTwBPqg9+cSXmswrPK130qPXmO9pz0gMfEbJZFzs6/npdnum+ue9xPrLzk7yEhVsStwQULUsCzAqKuIb1GP1WzRBe0w8F/OPaS/hhd9BWvh/BTdYon9SyFRP2VcqJytZq+sz+w==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=joyal.andre AT uqam.ca; spf=Pass smtp.mailfrom=joyal.andre AT uqam.ca; spf=Pass smtp.helo=postmaster AT CAN01-QB1-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:1j5Av6uRiqnSFOclJdiWILNi7skCB4Mji2hD6mlwRA09T+WzkceykPMHkSLlkTp5YgBepfmsGomlBUnd+5l8/JULMd6ZNzXOlWO0IOhZgLfK7DHtFib3/OwY9YoISdkHNPTeFl5/5PyV3CCcE8w8hOWB6ryin+3Ez3xgJDsaEZ1IyydcJkKlHlZtRA9AbKBJaKa0wsZcvTKvdTA2Y62AdwA4dtPOrdHKi57qCCRub3QawTKDlDa5rIP9eiL24j4lTzhNzb0+mFKoryXF4MyY0s2T+1v190K71eUwpPLRjvFqJOHksLlxFhzcziyBWe1aKtu/lQFwit2OxT8R4b3xiiZlFcJ15BrqDxqIiCqo/wHh1To0gkWD9XaoxUbZgeGRfkNZN+Nxwb56GyGplnYIjZVky6JMxGKFp/NsfHD9oBg=
Ironport-phdr: A9a23:sdyt1xaRSRFW1KNVYR/vkXr/LTET14qcDmYuwqpisKpHd+GZx7+nAna3zctkgFKBZ4jH8fUM07OQ7/mxHzVfvt3e7zgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrqQjdrNQajIlgJ6o+yBbEoGZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhJ/3YDafZ2VOvR9cKPTf9waRHZOUclKWiNbHo+wc5ECA/YdMepFqYT2ulsArQG5BQmpHO7hzjhIh3/s0q0+y+guCR3L3Ao9ENIUqnPfsdL4NKUVUeG11qbIyS/PYOlQ2Tjg8ojHbAssoeyVXb1qdMrd01UgGBncg1iWtIfqMC+b2P4XvGiH8+pvS/ivi2g/pgxwpjWixMQhhIbLi44LxV7J6Cp0zog6KNGlSEB2YsCpHpRfui+UOYZ6X8MsT3x2tSonyLAKpIC3cSoIxZkn2xLSbeGMfYaP4hLmTumRIDF4iWprebK+hBay8FCgxfPhWcm1yllGtC1FksPDtn0Lyhfd6dCHR+Ny80u9wzqDyhzf5+NeLU01lKfXMZ8sz7oompcRrUjPBCD7lUbsgKOLaEkp+vKk5/nlb7jmvpOQKY55hh3wP6krh8CzHf83PwkLUmeH5eiwyLju8EP6TbhPi/A7nKfUvZbHLsoBvKG5GRVa0oM75ha/ETim1NMYkGEZIV9ZYByLk5XlN0jVLv3lEPuzmlOsnyx1yPzcOb3hH4nNIWPEkLf8e7Zy9lRQyBIpzdBY+5JbFK0OIO7yWk/2stzUFBg5MxGow+bjD9V90YAeVXiTDa+eNaPeqV6I5uQxLOmQfIIYtyrxJ+I46/Lyj3I1g14QcKiz0ZYWbH20BvFmLF+YYXrojNcBC2AKvg8mQezoj12DUSRcZ3KoU60m4DE0FZimApnYS4CwmbyOxiK7EodKaW9cElyMC2vnd52YW/cQbyKfOtNukjsdVbS4V4Ah0QyuuxThxrp8LuvU/zUYuoj52Nh04e3TjxAy+iZuA8STyWHeB11zyykDQCZz16Riq2R8zE2C2O52mbYQQddU/rZCVhowHZ/a1e1zTd7oDFHvZNCMHXShU9yiRQYYSN4rQpdaYUFsEtHkhxbPxSeCHqYckvqADcpnoernw3HtKpMlmD793647ggx+KuN/cFa+j6s6zDD9QovAkkGXjaGvHYwBxSfIsmyKnzPmlHEdaxZ5VOD+ZV5aflHfxfzk/0rHCbSnW+xPGjsE8taLL+5xUvOsjVhCQ5/LE/34Ozv0ok3pQBGCy/WLcZbgfHgb0GPFEk8YngsP/HGAcw8jGiOmpGGYBztrRwuHXg==

For your information:

A more popular symbol of french identity and pride is Marianne:

https://fr.wikipedia.org/wiki/Marianne#/media/Fichier:Eug%C3%A8ne_Delacroix_-_La_libert%C3%A9_guidant_le_peuple.jpg

De : coq-club-request AT inria.fr <coq-club-request AT inria.fr> de la part de Santiago Bautista <santiago.bautista AT ens-rennes.fr>
Envoyé : 7 avril 2021 12:33
À : coq-club AT inria.fr <coq-club AT inria.fr>
Objet : Re: [Coq-Club] Why is the Coq logo made to look like a penis?

That is a reason why the proposed alternative "Gallus" is very good : it
keeps the exact same symbol of french identity and national pride, while
solving the problem.

On 4/7/21 3:42 PM, Tadeusz Litak wrote:
> Anyway, the proposed list of "reasons to keep" does not include the
> most important one (apart from massive legacy, second to none in
> fact). One would need to reformulate point 2. It is not just about
> making sense in French. If it is correct that Coq's name appeals to
> French national pride and that it helps to get funding and
> institutional support in France, this is a huge issue.
>
>

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