coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andrew Appel <appel AT princeton.edu>
- To: coq-club <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 12:52:19 -0400 (EDT)
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=appel AT princeton.edu; spf=Pass smtp.mailfrom=appel AT cs.princeton.edu; spf=Pass smtp.helo=postmaster AT yellowcard.cs.princeton.edu
- Ironport-hdrordr: A9a23:MliF7a4Py6TbjDx8PgPXwFbXdLJzesId70hD6mlaQ3VuEvCwvcaogfgdyFvIkz4XQn4tgpStP6OHTHPa+/dOjLU5F7GkQQXgpS+UPJhvhLGJ/xTMEzDzn9Qz6Y5OaK57YeefMXFbioLA7BC8A5IcxrC8gcKVrMP/61socg1wcaFn6G5CYTqzNkFtXgFJCd4YOfOnivZvnDardXQJYsnTPBBsY8H5q9LGj57gaxIdbiRXjTWmty+i67LxDnGjr3Qjeg5IqI1CzUH11yjw5qCuqJiAu3vh61M=
- Ironport-phdr: A9a23:bhLpbhAZvJN0aS63kBQ7UyQUC0QY04WcBSYlr6E/grcLSJyIuqrYVGTh7PlgxGXEQZ/co6odzbaP4ua5BjxLuM/f+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiyoAnLq8Ubg4hvJqksxhfUo3ZDZvhby35vKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlCsLKzg0+3zRh8dtjqxUvQihqgRxzYDUfo+bN/hxfq3Ac9wVWWVBX8FfVzBaD4ymc4cAE/AMMPxEo4T/oVYFsBuwBROrBOPq0jJFmnn20rAg0+s/HwDNwRAtH8oWsHvKqNX+KaAfXvqtzKnQ0zrDa+hb2S/n6IjJdBAuve+DXa53ccrX00UgCR7KjkiJpIHjIjia2fgDvXKB4Op8SeKglXQnqwdprzavyckglIbEi5wXx13A6Sl0wYY4KcO3RUN0fdOpEJReui+UOoZ5Qc4vXmFmtTs5x7Aap5K2fyYExYg7yxPca/GKdZWD7BH7VOuJPDt0mnFodKiiixqv70Ss0PDwW8e13VpQrydIk8HAu3EP2hDJ9MSKReZx8l2g1DuMzQzf9P1ILV4smabGNZIswaQ8mocOvUjdBCP6hUv7ga6Mekgk+OWl7fnsbK/8qZ+GLYB0jxnzMqQwlcy7BuQ1KggPUHaf+eS4073i81H2T69QjvIriKXWrIvaKd4Dpq6jAg9V1Jos5AijDzeh1tQUh2cII09YeB6fjojpPU/BIOzgAPuinVihky1ny+3bMrH/GJnBM3bOnbb7cbt86kNQ0A8zwspe55JQBLEBOvXzWkrpudPCFh85KxK7w+L8BdphzYMSQ3qPArWYMKPUrVCH+P4vI+6KZIMPpjnyNuUl6+b0jXAlgV8dYbWp3ZwPZX+kGfRmOlyVbmbogtccCmgHpRE+TezviF2aSzFffXeyX6Qm5jE6Eo2qF4nDRpr+yICGiSy8B9hdYn1MQgSHFm6tfIGZUd8NbjiTK4lviGpXe6KmTtoI0x20uRCy4qJ/I+6criQArZ/n/MBv5uvYmA0183p5A9nLgDLFdH19gm5dH2x+56t4u0Eokj+r4e1Dm/VdUOdrybZJXwM9XbbNwuh+DM/5UxjNONySDk68Q9OtDC02SJQ8z8JcOi5VK5CZlhnGmhGSLfoNjbXjLIQu86TX0mT2IYBwx2uUjMEJvxwdWsJKcFaeqOt6/gnXCZTOli2xnL3sbb4d2iXA6GCFi2eCoRMBODM=
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?, Hadas Zeilberger, 04/06/2021
- 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
Archive powered by MHonArc 2.6.19+.