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

There are no comments on this comment yet.