←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
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 #
OneDeuxTriSeiGo ◴[22 Oct 25 21:58 UTC] No.45675679[source]▶
That's not what the name is based on. The name is cu- (as in CUDA kernels) -q (as in coq/rocq). Pronounced Cuke like cucumber.
replies(3): >>45675767 #>>45676270 #>>45676842 #
ironmagma ◴[22 Oct 25 23:04 UTC] No.45676270[source]▶
There is a reason they renamed Coq to Rocq.
replies(2): >>45677848 #>>45678719 #
bigstrat2003 ◴[23 Oct 25 03:23 UTC] No.45677848[source]▶
Yeah, because people are overly sensitive and can't bear the thought that someone might make some harmless naughty jokes. It's a completely ridiculous name change.
replies(2): >>45677864 #>>45677959 #
1. ironmagma ◴[23 Oct 25 03:26 UTC] No.45677864[source]▶
No. Conversions about it were being avoided due to being in a work context and in general. The same goes for coc (vim plugin) by the way.