upvote

points

by bigstrat20035 days ago |
comments
upvoteby ironmagma5 days ago|
next
[-]
No. Conversions about it were being avoided due to being in a work context and in general. The same goes for coc (vim plugin) by the way.
reply
upvoteby CaptainOfCoit5 days ago|
parent|
[-]
That's exactly what parent said, people are overly sensitive and that's why the name had to change.
reply
upvoteby matt_kantor5 days ago|
parent|
[-]
bistrat2003 said:

> people are overly sensitive and can't bear the thought that someone might make some harmless naughty jokes

ironmagma could have said:

> people are overly sensitive and avoid talking about Coq at work and in general

Both can be motivating factors, but not necessarily. It's possible that the Coq development team doesn't care about the jokes, but they do care about people being comfortable saying the name aloud at work.

reply
upvoteby ironmagma5 days ago|
parent|
[-]
Not overly. Appropriately. Why would you risk your reputation and job to talk about a theorem prover? The pros and cons are not evenly weighted.
reply
upvoteby nickpsecurity5 days ago|
prev|
[-]
One of my coworkers uses Siri to say what they want to search for. I'm definitely not saying: "Hey, Siri, show me examples of using Coq."

Then, users of search engines will add "training," "in the workplace," "visual guide," "positions," "freelance work with," etc. Everything people use with programming languages or book titles becomes inappropriate with that name.

Maybe if I worked on a chicken farm it would be OK. I'm in the hotel and retail industries doing a mix of hands-on work and customer service. You'll never hear me tell my bosses I was using that on the job. Or spending hours alone with Isabelle for that matter. HOL4 & HOL Light it is!

reply
upvoteby Dilettante_5 days ago|
parent|
[-]
God help you if you ever need to talk about some children playing with balls in the lobby, or if maintenance asks you to order more nuts.
reply
upvoteby nickpsecurity4 days ago|
parent|
[-]
That probably won't be a problem since the words have known contexts in America. Coq will bring up only two meanings in most people's minds. Of the two, rooster isn't the most, common use in many places.

Far as my above examples, they were things that might lead to porn in a search engine. Especially if it's a newer product that hasn't had as much work go into preventing that as Google did.

reply
upvoteby Dilettante_3 days ago|
parent|
next
[-]
What if my best friend Cunty comes to visit[1]?

[1]https://youtube.com/watch?v=Obagb7RQeYo

reply
upvoteby dekerklas2 days ago|
parent|
prev|
[-]
[flagged]
reply