coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
>
- 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?, Jason -Zhong Sheng- Hu, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Fred Smith, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Peter LeFanu Lumsdaine, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, James R Wilcox, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Andrew Appel, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Clément Pit-Claudel, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Andrew Appel, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Xuanrui Qi, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Raphaël Cauderlier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Dominique Larchey-Wendling, 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?, Sam Kuper, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Hadas Zeilberger, 04/08/2021
Archive powered by MHonArc 2.6.19+.