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 webdevver on Wednesday October 22, 2025 @06:08PM (#45675767)
cuke - it's heaven in a can!
[ Parent | on HN ]
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by spartanatreyu on Wednesday October 22, 2025 @09:55PM (#45677342)
For anyone who doesn't understand the reference, it's from the IT Crowd and the entire episode is on youtube: https://www.youtube.com/watch?v=VuTMphDrc4A
[ Parent | on HN ]