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 7bit on Thursday October 23, 2025 @06:03AM (#45680161)
Yeah, coq is already bad, but cuq is the cherry on top of it. I don't like both.
[ Parent | on HN ]
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by tracker1 on Thursday October 23, 2025 @08:08PM (#45689146)
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.
[ Parent | on HN ]