That's cool, but when I say it out loud it sounds like a different word for peni... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

phillipcarter on June 22, 2023 | parent | context | favorite | on: Functional Programming in Coq

That's cool, but when I say it out loud it sounds like a different word for penis.

The name should just change.

przmk on June 22, 2023 [–]

Well, there's more to the world than just the Anglosphere. De Cock is also a popular surname in France and Belgium.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact