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: 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




Archive powered by MHonArc 2.6.19+.

Top of Page