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: Thu, 8 Apr 2021 16:00:42 +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=wQ94Mg+hh+A4/kM+dt0x6zts4z5uQuSl0cvMJlk4zK0=; b=FK/T5dH9L4UgR3avQPMgnn35xSd7CBS/cInozD0rTTaOdzdoCgyZwrT1ANvWsoDL1quLScyIr8AJ8iv8fWF1EwNdrGQD0I2ytZ+lxeMIOj2MAeTaPfivtOLD3t+Egxf9Ip7UaYR+N7gB8Ku+jj1GH7+LERzAEC8DF28gIbqG9Y620WlcGoDAC3c35TQkr7o8KYnxIjO0aUIksWZ6e1jlf++OQsN4iU3B2sSJe0HHjX7ecSupATkDlikZ9Tq+2s7/wrGds41s0mryDvO6jf6/1gWqLKOPnHbzsYGKdGmKhmdRqpCz165ohtbNfiYPoBQauXy6hKPD0vxXpekxLSs9tA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NOij06uIK6d+CG5mzW4zCdN7UquRid19P6gIirqIRs3JC3dbG/0tWMqZ1ldHsaS61gv6XTPV2NoCBeAb8503ofAK/6Y1rVJD+wRvmhKvjbQsCK2ma6wmJ85gEF0SuzGSb5fbJJdZpC1WH0Ve8WEDt1mFF9C4qNzRu7Bulfo3T0FwdWbr10UYvMe6aBLoMjLhAGl4m5mKW5ciXAsNyMpuX+s0Ym/GwAuxPnL7tnXCksCQ7Y5QS9qU3WQ2S10MeqOYLnOJpv+JnG4OpMCyeY83+21+f3E/MWJKuSKHXkFMo/iLeoF9anOg+DdNRfYZVDjn6ZWAJ27j1J4713pyomexOA==
Authentication-results: mail2-smtp-roc.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-TO1-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:YY34+q8Zh3KQhPw+JBNuk+A/I+orLtY04lQ7vn1ZYxY9SKGlvuqpm+kW0gKxrT4XVm0pl9zoAtjlfVr385lp7Y4NeYqzRQWOghrMEKhO5ZbvqgeAJwTQ7ehYvJ0OT4FfD5nKAUF+nYLG5mCDYrQd6f2m1IztuuvE1XdqSmhRGsJdxiN0EBySHEEzZCQuP/QEPaGR7MZGuDasEE5/BviTPXULU/POoNfGjvvdDSIuPQIt6wWFkFqTg4LSLh7w5H0jeg9Uzaxn2WbIlBGR3MWej80=
Ironport-phdr: A9a23:ZcDpnBNWhzYLt2M5Ohwl6nbBChdPi93PFj5Q0YIujvd0So/mwa6KFHLW6fgltlLVR4KTs6sC17OH9fm/CSdZuMjJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRG7oR/MusQUgoZuJbs9xgbIr3BVZ+lY2GRkKE6JkR3h/Mmw5plj8ypRu/Il6cFNVLjxcro7Q7JFEjkoKng568L3uxbNSwuP/WYcXX4NkhVUGQjF7Qr1UYn3vyDnq+dywiiaPcnxTbApRTSv6rpgRRH0hCsbMTMy7WbYhNFtjKJAuBKuuQBww5LaboGSMfpxZKLdfdUHTmZFUctcUylND4WhZIUNEuUBJ/5VoYnjqVUTsRuwCwqiBO3txT9JmnD50rY33P49HQ3axgEsA84CvXTSod7oNKkSS+e1zKzQwDvHaPNX2S3y6IzQfh85vfyMW69/cdDLzkIyEA7FjFKQqIz/MDORzOgCqW6b4Pd6Ve2xkGMnthhxrSKqxss2lobGnJsYx1bZ/ip23Ig7P8e3SFJnYdG6CptQsTmXO5VoT88/X21ltjg2x6EIt5KneCUH1ooryhrBZvGFc4WF5hHuWfqRLzl4i39odrKyihSs/EWj1OHyWde43lZWoidDj9LCuHcN1xnJ5ciGTPtw5l2u1iqK1wzJ7eFEO080mbLVKp4gwb4wl4ITvlreES/3gkr6lqiWdl8r+uSw9eTreLrmqYKaOoRpiQ/+Krwjl8yhDegiLwQCQ3SX9f6h2LDs/ED1WrdHguMunqTbrJzWP8sWq62jDwNIzIou6wyzAyqk3dkYhXULMlNIdA6JgoXsJl3CPOv3APa6jluwjDtn2/XLM7PiD5jIK3XOnrnscLBg4EBG0gUz18pQ55dMB7EBPv3zXkjxucTGAxIlKwK43/vrBMxj2I0HRG6DG6iZP7jMvlOS4eIvPvWMa5QSuDbgLfgq+uTijWcjmV8aYammw4cYaGy5HvRhJUWVe33sgsodEWcOuQo+S+/qhEeeXj5UYna+R6M85jclB4K6FYrORp6hjKac0CunApFafH1KB1+NHHvydYiIRe8AaCeILc9gljwEW6KhS4gk1Ry2tg/6zLpmIfDQ+iECr53j0sV65/fNmhwp6Dx0Ft6S02SXQ25ohGwEXyU207xnoUxh1leD1rB1jOBfFdxK/v9GTgM6NYPHwOFhENDzWgfBfs+TR1q8Q9WmBysxTtMrzNMUbUZ9AYbqsheWlSGtGvoek6GBLJ0y6KPVmXbrbY4pwHHfkaIlklMOQ81VNGTgiLQppCbJAIucsUKInqLuQo0a0DRMvDOBynuHuAdRVgJqXI3YRHkaIEDf+4eqrnjeRqOjXOx0ejBKztSPf/cbAvXZyG5eTfKmA+zwJme4mmO+HxGNrpuRdYPvPW4Ujny1IHhBqBga+DO9DSZ7Hj2oy0rDFTVrU1nmMRuE2dk7k2uySwoP9y/Pb0Bl0NKd0Tcz3aXZd9RKm7UOtWEmtil+G0u705TOEd2cqgF9faJaJ9Qg/FNA0mGfvAt4bMXIEg==

Dear all,

Years ago, I was told that the name "Coq" was adopted

because of the initial contribution of Thierry Coquand to the system.

https://dl.acm.org/profile/81100212287

It could be called the "Coquand system".

De : coq-club-request AT inria.fr <coq-club-request AT inria.fr> de la part de Sam Kuper <sampablokuper AT posteo.net>
Envoyé : 8 avril 2021 11:06
À : 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?

On Wed, Apr 07, 2021 at 04:20:18PM +0200, nicolas tabareau wrote:
> As a follow-up on this idea, we have proposed “le coq formel” on the
> wiki.
>
> More globally, I also think that adding some words around “Coq” to
> remove the possibility for bad jokes/interpretations in English is
> really something to consider, if not the only way out.
>
> I hope that native English speakers will confirm that it indeed works
> and prevents people from hearing the silly word in it.

I can emphatically disconfirm this.

There is a sportswear brand called "Le Coq Sportif".

It is quite popular in the U.K. Nevertheless, I have heard many a
native (British) English speaker snigger at it, and make innuendo:

"The sporty cock, eh?"

"No-one likes one that isn't."

That sort of thing.

https://en.wikipedia.org/wiki/Le_Coq_Sportif

https://fr.wikipedia.org/wiki/Le_Coq_sportif

Given the similarity, it seems unlikely that "Le Coq Formel" would fare
much differently.

--
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

() ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\ file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.

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