Hacker News new | ask | show | jobs
by tpaksoy 4141 days ago
It's not just that "Coq" might sound like "cock", but a "Coq blog" just sounds even funnier...
1 comments

I just hate to think of the poor girl/woman who decides she loves the framework...
Why does it have to be a girl/woman? Why would it be any different for a boy/man to say they love Coq?

This actually happened to me. A classmate said something about Coq, and I did a double take. He explained it was a language, but for a second he got my hopes up.