coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
- To: 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 11:57:39 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-qt1-f179.google.com
- Ironport-hdrordr: A9a23:PIZEk6FnA7h6EK+TpLqEZ8eALOonbusQ8zAX/mp2TgFYddHdqtunm+4V2QSxpDEaXnwhnt7oAsm9aFnb8oN45pRUAKe6UGDd2VeAAYl+4eLZqAHINDb58odmv5tIV4hbJJnOAUNhjcD8iTPXL/8FzMOc+K6lwcfypk0AcShQZ6tt7xh0B2+geyVLbTNbDpk0Hof03KV6jgegYngeY4CaAXQIToH41rj2va/mehIPClob7hCPh1qTmdrHOiWfty1ybxp/hZMr8W3IiGXCl8eemsD+7ATd2W/V54lXn9Wk6uIrPr3utvQo
- Ironport-phdr: A9a23:fXlPuhJ3KKAJMXomI9mcuBhhWUAX047cDksu8pMizoh2WeGdxfzKAkXT6L1XgUPTWs2DsrQY0ruQ6v+wEjVZv96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vKBi6txjdu8sVjIdtN6o91xrEqWZUdupLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhDsBOjUk9mzcl85+g79BoB+5uhJx3YDUboGWOvRwcKzSctEVSnZOUMtKSyxMAZmxY5cTA+cPP+tVqZT2qVsUrRu5AAmhHP3iyjtSgX/zw6I61fghHhnc0gwhA9ICqWrZrNHvO6cPTO+60q3IxijEYvxKwTf96ZTIfQwlof6WQLJ/bNTeyU00GgPKi1Wfs43lPzeP2usRtGib6vNtWOSygGEotw9/uCKgxtswiobXnIIVzEjJ+TtkzYs3IdC1Sk12bN6kHpZQqi2UOJV6TM08Tm12tig0xbMItJGlcCUI1Jgr2hrSZv6af4WV/x/tW/ucLSp8iX9jZbmxiRGy8U26xe39UMm5yEpFrjdBktnQq3ANzQLc5tGGSvt78Eeh3iyP1wXJ5eFYIEA0jLfbJIA7zr42iJUTrULOFTL1lkXulKKaaFko9+yy5+nkYrjqvIKQOo5ohg3kL6gjmMiyDfwmPgUBRWSW+Pmw2Kf98UD2XLlGlP47nrXfvZvHP8oUvLS5DBVQ0os76xawETOm0NMAkHkCNl1FeRaHg5HwO1HSPfz0FPm/j0munTpv3fzGMbrhApLCLnjHjrjtZ6py60lZyAYrzNBf4YxbCq0ZLf7tRkP8sMbUAxw5PgCu3urqCclx2pkDVW+NBqKVKKbSvkWJ5uIrLemMfogVuDPlJvc5//7ujGM5lkMZfaazwJsYdW63HvB9LkWWZHrjmNYBEWMQsgUiS+zqjUWOUSRPaHaqQ6I8+jY7BZq6AofEX4ChmaCO3COmHpJNfW1GEVCNEXLwd4qeQfsMaSSSItVgkjMeT7ShRZUhhlmSs1rxzKMiJe7J8AUZs4ji3Z57/b79jxY3oBdwjsGQ1X26d2Bo20gMTiI60aQ39Udly0uI1aFlj/FcPdNW7vJNFAw9MMiPnKRBF9nuV1eZLZ+yQ1G8T4D+aRkBC+kpytpLWH5TXtWviher9y+jArtQjqDSQZJtrfOa0H/2KMJwjX3B0ft553EWB/BXPGjjvZZRsg3aBorHiUKc/46lcK0d2GjG82LRlAKmjARjSAd1FJ79czUHfEK+hdv870LGCbSpDOZ/WjY=
On 4/8/21 10:15 AM, Andrew Appel wrote:
> And actually, Santiago's post made me understand more clearly why the word
> "octet" is necessary.
> It's not just that "byte" carries uncomfortable connotations in French
> (though that is true);
> it's also that "bit" and "byte" would be pronounced exactly the same in
> French, causing needless ambiguity.
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).
From https://www.culture-informatique.net/bit-byte-octet-niv1/ (a random
example online).
> Pour simplifier, nous dirons que 1 Byte = 1 octet (soit 8 bits). Donc 1
> Byte = 8 bits (notez majuscule /minuscule “B” pour Byte et “b” pour bit).
> (sachez toutefois que ce n’est pas complètement exact car sur des
> équipements autres que des ordinateurs 1 byte n’est pas forcément
> équivalent à 1 octet, mais dans la plupart des cas, cette équation est
> vraie).
Clément.
- [Coq-Club] changing the name [was: Why is the Coq logo made to look like a penis?], (continued)
- [Coq-Club] changing the name [was: Why is the Coq logo made to look like a penis?], Tadeusz Litak, 04/07/2021
- 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
Archive powered by MHonArc 2.6.19+.