Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels
by nsomani on Thursday October 23, 2025 @04:55AM
(#45679729)
Oh really? I can't find anything about the memory model online. I'm not sure what's the best way to do this, but if there's a way for us to get in contact, I'd be interested in adjusting the project so it's developed in the most ergonomic way possible. I'm chatting with a couple of universities and I might issue a research grant for this project to be further fleshed out, so would be keen to hear your insights prior to kicking this off. My email is neel[at]berkeley.edu.
[ Parent
| on HN ]
There are no comments on this comment yet.