Show HN: Cuq – Formal Verification of Rust GPU Kernels

(github.com)

69 points nsomani | 1 comments | 22 Oct 25 19:38 UTC | HN request time: 0.373s | source

1. thrownawaysz ◴[22 Oct 25 21:56 UTC] No.45675666[source]▶

'Yer a cuq, Harry