← Back to context

Comment by huffer

13 hours ago

I just spilled my coffee; sorry for the trivial remark, but the name means 'pubic hairs' in Romanian. Apologies.. I thought it's better for you to know and ignore than not to (not quite a big population target for you, I imagine, anyway).

There was once a cloud conference in Brazil called ConaCloud. I'm guessing "cona" means something different in Brazilian Portuguese than it does in European Portuguese. In Portugal is a slang word for vagina.

As Coq (now Rcoq) found to their chagrin... I'm convinced half of the reason Lean has surpassed Coq in mindshare in formal mathematics was because it's impossible to not chuckle at the name sometimes.

One of the later pages mentions that the name came from "cirrocumulus floccus", the cloud formation.

  • In this case it is misspelled.

    The Latin word is "flocci", which means hairs of wool, and it was also used to denote an insignificant thing.

    English normally preserves the double consonants of Latin, and in this case it has already done this in the English words derived from "floccus", e.g. "to flocculate" and "flocculent".

    In clouds, it was used due to the resemblance of those clouds with curly sheep wool.

Also it means gays (not in a flattering way) in italian if you just change a letter.