News for hackers. Stuff that matters.
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by nickpsecurity on Thursday October 23, 2025 @07:44PM (#45688935)
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.

Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by Dilettante_ on Friday October 24, 2025 @06:23PM (#45699723)
What if my best friend Cunty comes to visit[1]?

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