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 skavi on Wednesday October 22, 2025 @08:49PM (#45676972)
It's your project, but with the current name I'd expect this thread to be duplicated any time the project is discussed.
[ Parent | on HN ]

There are no comments on this comment yet.