←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.239s | 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. hnuser123456 ◴[22 Oct 25 21:05 UTC] No.45675129[source]▶
Bonus points if it runs on UNIX