News for hackers. Stuff that matters.
Re:Show HN: Cuq – Formal Verification of Rust GPU Kernels by Aloisius on Wednesday October 22, 2025 @08:26PM (#45676842)
I think I must pronounce cucumber differently than you.

I'd expect cuke, if pronounced like cucumber would be queueck or cuck depending on which cu in cucumber you're using.

However I pronounce CUDA koo-da so cuq would be pronounced perhaps like kook.

There are no comments on this comment yet.