The Coq mailing list

[Sam Kuper <sampablokuper AT posteo.net>]

On Mon, Apr 05, 2021 at 08:55:47PM +0200, Santiago Bautista wrote:
> I would like to add to Andrew's message that "bit" when read out-loud
> is enough to make french people uncomfortable.
> In addition, for the strings of characters we sometimes use in french
> the word "string", which also has another meaning in french.
> 
> In one of the very first Computer Science classes I attended, when the
> teacher started discussing how many bits there were in a string,
> all the class was either uncomfortable, laughing, or both.

To aid comprehension for readers unfamiliar with those particular French
words (including me - my French lessons at school and university did not
cover them, so I had to look them up in order to understand the points
above):

- https://en.wiktionary.org/wiki/bite#French (slang for penis)

- https://en.wiktionary.org/wiki/string#French (means g-string or thong)

-- 
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

()  ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\  file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.