←back to thread

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.207s | source
Show context
Hexigonz ◴[22 Oct 25 20:48 UTC] No.45674955[source]▶
This is pretty cool! Are you sure about the name...
replies(5): >>45675054 #>>45675074 #>>45675129 #>>45675214 #>>45677737 #
1. ahallock ◴[23 Oct 25 03:00 UTC] No.45677737[source]▶
Aren't we more mature than this? Granted, it's the first thing I thought of as well