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: Xuanrui Qi <xuanrui AT nagoya-u.jp>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Fri, 09 Apr 2021 02:09:55 +0900
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xuanrui AT nagoya-u.jp; spf=Pass smtp.mailfrom=xuanrui AT nagoya-u.jp; spf=None smtp.helo=postmaster AT smtp.nagoya-u.jp
  • Ironport-hdrordr: A9a23:mahguK8NZR3gx13i8rJuk+BCI+orLtY04lQ7vn1ZYxpTb8CeioSSh/wdzxD5k3I8X3snlNCGNsC7MBfh3LRy5pQcOqrnYRn+tAKTXeJfxKbr3jGIIUPD38FH06MIScRDIf32SWN3lMPrpDS/euxA/PCi0ISFwdjT1G1sSwYCUdAE0y5cBhyAGkN7AClqbKBSKLOm6sBKpyWtdB0sB6zROlA/U+fOvNHNnp79CCRnOzcc9AKMgTm0gYSWLzGk2H4lPA9n/a0v6izsnQD/+8yYwpOG9iM=
  • Ironport-phdr: A9a23:mBxC2xBe4quGTcsHDVgXUyQUrkMY04WcBSYlr6E/grcLSJyIuqrYVGTh7PlgxGXEQZ/co6odzbaP4ua5BjxLuM/f+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiyoAnLq8Ubg4hvJqksxhfUo3ZDZvhby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlCsLKzg0+3zRh8dtjqxUvQihqgR8zYDJYI+bKvRwcaHTfdwGS2VOUclfWjddAo6/dYYDE/YNMPxaooT7ulAArQG+BQ6pBO73yzBIm2X53asg0+Q8EAHNwRcuH9MTu3nTo9T1Kb0dUeavzKnVzDXOdPVW1i3y6IjPchEuu+iAXa9qfcrT0UkiDgXIhUifpoL5JT2azPgNs3SF4Op6U+Kik2wqpQF/rzahxsoihYrEi58Ix17L9ih3z4I4KN2lREN0f9KqEJVduj2ZOoZrQc4sTG5mtSUkx7AFvZO3YisHxYohyhXCaPKHa5CF7g/tWeufOzt1hWhpdK+8ihqs60StyePxWtGp3FpUsCZJiMfAum0Q2xDJ98SLV+Zx8l2g1DuN0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL2g0D2jLOOdkk+/Oin8evnYrLmp5CGLoN0lxvyMqY2msCnAOQ4NBYBX3SD9Oih2rDu81f1TbRQgvErkaTVrorWKMcVq6KhBg9ayIcj6xKxDze819QYmGEKLV1YeB2diYjpIUzOIPHjAPe5mVusnzBrxvDcMbH4H5XBNHrDkK/5cbZn90Fc0BYzzcxY559MFr4BJ+vzVlbtu9zcEx82KBe5w/3nCdV4zoMRQ3iDAq6fMKPIsF+H/PgjI+eWZNxdhDGoIP88ovXqkHURmFkHfKDv04FERmq/G6FWPkyfe2ftyu4AWTMaowM4VvHroFuLXjlCbjOvGaAksGJoQLm6BJvOE9j+yIeK2z22S8U+TlADMUiFFDLTT6vBQ+0FAAqUK8BmgzVBSP6jU915vTme8TTiwr8iFdL6vy0VsZWL/MNw+/WVkxg98i19Stnb0XnfFwlcriYzXzYzmZtHjwl4w1aH37J/hpRwE9Vc4OJAFxp8N4aOloRH

> (b) we don't pronounce them in the French way.

I would say this is not exactly true (that's why we have phonological
patterns like silent h's in English, e.g. "hour", so it's very easy to
tell whether an English word is French in origin), but indeed this is
too far a digression.

-Xuanrui

On Thu, 2021-04-08 at 12:52 -0400, Andrew Appel wrote:
> > From: "Clément Pit-Claudel" <cpitclaudel AT gmail.com>
> >
> >
> > Andrew, I don't understand why you write this.  I've never heard
> > "byte" pronounced the same as "bit" in French (and we routinely use
> > the word "byte" in French).
>
> Ah, but it's precisely because "byte" is an English word and not a
> French word that it is pronounced in (approximately) the English
> way;  the French word is "octet".   If "byte" were truly a French
> word, it would probably be pronounced in a French way.
> In contrast, "bit" is both an English word (pronounced one way) and a
> French word (pronounced a different way).  
>
> And this argument does not depend on the fact that "bit" originated
> in English and made its way into French;  "bit" is now a French
> word.  As you probably know, about 30% of the words in English were
> originally French words, but 
>   (a) that doesn't make them any less English, and
>   (b) we don't pronounce them in the French way.
>
> But perhaps we can drop this argument, because I don't care to defend
> this position any more . . . 
>
> -- Andrew
>





Archive powered by MHonArc 2.6.19+.

Top of Page