alt Hacker NewsI 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).
Replies
nxobject • today at 8:17 PM
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.
Vasbarlog • today at 2:26 PM
Also means cum in greek https://en.wiktionary.org/wiki/φλόκι
➕ show 2 replies
stevekemp • today at 3:15 PM
One of the later pages mentions that the name came from "cirrocumulus floccus", the cloud formation.
➕ show 1 reply
coolca • today at 2:46 PM
Also it means gays (not in a flattering way) in italian if you just change a letter.
pi-victor • today at 11:03 AM
you got here before me, had a good laugh tho.
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.