Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels
by Dilettante_ on Thursday October 23, 2025 @03:22AM
(#45679146)
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.
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]?
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!