←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: 0s | source
Show context
skrrtww ◴[22 Oct 25 21:20 UTC] No.45675292[source]▶
This might be the worst named project of all time. Not funny and demonstrates an absolutely terrible impulse on the part of the author. Probably the worst way possible to advertise your project.

edit: According to the author in a reply, the double entendre was in fact not intentional.

replies(7): >>45675351 #>>45675482 #>>45675644 #>>45675679 #>>45675741 #>>45676302 #>>45676382 #
nsomani ◴[22 Oct 25 21:54 UTC] No.45675644[source]▶
Oh wow, honestly this caught me off guard - I've been pronouncing it "kook" in my head the whole time.
replies(2): >>45675784 #>>45676972 #
skrrtww ◴[22 Oct 25 22:09 UTC] No.45675784[source]▶
If this was genuinely unintentional on your part, then bless your heart and I'm sorry for assuming the worst. You might be the least morally corrupted internet user alive today.
replies(1): >>45675866 #
1. nsomani ◴[22 Oct 25 22:17 UTC] No.45675866[source]▶
I think I've just spent too much time reading the word "CUDA" that I read "cu" as "koo", lol.