←back to thread

Show HN: Cuq – Formal Verification of Rust GPU Kernels

(github.com)
72 points nsomani | 1 comments | 22 Oct 25 19:38 UTC | HN request time: 0s | 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. CaptainOfCoit ◴[22 Oct 25 20:59 UTC] No.45675074[source]▶
I'm getting a ԃҽʝα ʋυ