Earlier quoted context omitted.
Oh wow, honestly this caught me off guard - I've been pronouncing it "kook" in my head the whole time.
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.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
21–30 of 70 posts
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#22This 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.
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.
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#23This 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.
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#24This 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.
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#25This 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.
You know you're spending too much time on dubious sites when ...
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#26This 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.
What's so bad about it?
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#27Earlier quoted context omitted.
It's called Rocq now—for this reason.
Yeah, "coq" is a grade school joke in French class. It just means "rooster" or something in French, but it sounds ridiculous in English. This one has the same problem. A company with that in the name made the French national team jersey for a while. https://en.wikipedia.org/wiki/Le_Coq_Sportif It's Nike now, but it still has a rooster on it.
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#28Step 1: Make sure no other programming language has the name you want.
Step 2: Make sure the name you want isn't a slur or rude word in all the languages your audience will write in. Be sure to check misspellings and homophones.
Optional 3rd step is to make sure the name lends itself to a cute animal mascot. For this project, I dunno maybe a corner chair is the mascot.
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#29This 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.
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.
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.
Re: Show HN: Cuq – Formal Verification of Rust GPU Kernels
#30This 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.
Oh wow, honestly this caught me off guard - I've been pronouncing it "kook" in my head the whole time.