News for hackers. Stuff that matters.

A comment on Show HN: Cuq – Formal Verification of Rust GPU Kernels. Parent comment

Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by thefz on Thursday October 23, 2025 @04:14AM (#45679447)
> 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.

[ Parent | on HN ]
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by 7bit on Thursday October 23, 2025 @06:07AM (#45680192)
Then keep it and deal with the backlash without complaining.
[ Parent | on HN ]
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by 3836293648 on Thursday October 23, 2025 @06:12AM (#45680220)
Except for the transcripts where they chose the name because they thought it was funny to offend the English
[ Parent | on HN ]
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by thefz on Thursday October 23, 2025 @04:54PM (#45686991)
Then spell the letters if the name offends you
[ Parent | on HN ]
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by zorobo on Thursday October 23, 2025 @06:24AM (#45680276)
It is legitimate indeed, and a nod to its creator T. Coquand, but better avoid recurring, useless discussions so better change the name. The funny (for some), quirky jokes get quickly old anyway.

They also renamed NIPS -> NeurIPS conference, even though the name sounds less subject to jokes.

[ Parent | on HN ]