Show HN: Cuq – Formal Verification of Rust GPU Kernels

This is pretty cool! Are you sure about the name...

It's a system where a 3rd party library (aptly named Coq) gets to throughly verify your kernel, and you get to watch it do its thing? I think the name is fitting.

I'm getting a ԃҽʝα ʋυ

Bonus points if it runs on UNIX

It's called Rocq now—for this reason.

Yeah, "coq" is a grade school joke in French class. It just means "rooster" or something in French, but it sounds ridiculous in English. This one has the same problem.

A company with that in the name made the French national team jersey for a while.

https://en.wikipedia.org/wiki/Le_Coq_Sportif

It's Nike now, but it still has a rooster on it.

To be entirely fair cock (which surprisingly isn't actually derived from french but from english's germanic roots) also means rooster in english as well.

Aren't we more mature than this? Granted, it's the first thing I thought of as well