> especially with respect to gender-diversity in the Coq community. Seriously th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Galanwe on April 8, 2021 \| parent \| context \| favorite \| on: Renaming Coq > especially with respect to gender-diversity in the Coq community. Seriously there are some people getting shocked that a foreign word sounds like slang for male genitals in their language? These people seriously need to grow up and accept that not everything is centered around their world. "bit" is slang for cock in French, "chat" is slang for vagina, "Nike" means fuck, should we rename these so that it does not shock anyone? Where's the limit?

bungle on April 8, 2021 [–]

So it seems like, but it has been ongoing for very long: https://www.youtube.com/watch?v=BM541-RBCwg&t=360s https://www.youtube.com/watch?v=z6tqt0aKCQo&t=18s

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact