[skrrtww]

This might be the worst named project of all time. Not funny and demonstrates an absolutely terrible impulse on the part of the author. Probably the worst way possible to advertise your project.

edit: According to the author in a reply, the double entendre was in fact not intentional.

[lacker]

They're renaming Coq, too, for the obvious reason.

Just go ahead and rename this project to "Rocuda", save everyone a lot of time arguing about what names are appropriate or not.

[thefz]

> They're renaming Coq, too, for the obvious reason.

Which is a perfectly legitimate name in French and the whole "issue" can be worked around by spelling cee-oh-queue.

[pwdisswordfishy]

Meanwhile, nobody consulted the French when the bit was being named.

[OneDeuxTriSeiGo]

That's not what the name is based on. The name is cu- (as in CUDA kernels) -q (as in coq/rocq). Pronounced Cuke like cucumber.

[ironmagma]

There is a reason they renamed Coq to Rocq.

[webdevver]

cuke - it's heaven in a can!

[Aloisius]

I think I must pronounce cucumber differently than you.

I'd expect cuke, if pronounced like cucumber would be queueck or cuck depending on which cu in cucumber you're using.

However I pronounce CUDA koo-da so cuq would be pronounced perhaps like kook.

[Dilettante_]

Maybe this surprises you, but some people have different sensibilities than you do.

[thefz]

Not the whole world speaks English. "Chicago" speaks funny in Italian, rename the city because I am offended. See how ridiculous it sounds?

[nsomani]

Oh wow, honestly this caught me off guard - I've been pronouncing it "kook" in my head the whole time.

[skrrtww]

If this was genuinely unintentional on your part, then bless your heart and I'm sorry for assuming the worst. You might be the least morally corrupted internet user alive today.

[skavi]

It's your project, but with the current name I'd expect this thread to be duplicated any time the project is discussed.

[kurtis_reed]

What's so bad about it?

[kelseyfrog]

Take a seat in the chair

[jonathrg]

It sounds like cuck.

[7bit]

Yeah, coq is already bad, but cuq is the cherry on top of it. I don't like both.

[tracker1]

Like a similar thread... I always thought of "coq" as "co queue" in terms of as a word. "cuq" as "cook" with the cu as in "CUDA" etc.

[antonvs]

You know you're spending too much time on dubious sites when ...

[nvader]

Not really, unfortunately the word hovers in the comment sections of mainstream American political discourse.

[7bit]

And your low-key judging people for porn consumption in 2025.

[webdevver]

not at all - its perfectly logical

you are cucking the betabuxxed bugs in your kernels with your BFV (Big Formal Verifier)