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 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 ]

There are no comments on this comment yet.