Cuq
Dev tools
formal verification
SHOW HN2025
94points
63comments
#774of 3,837 in 2025
Top 21%of 2025 by points
How HN took it
MixedNo clear lean
1 positive, 7 neutral or asking, 2 mixed, 8 critical, out of 18 comments about the project. Thread score -0.32.
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Project is pretty cool
From 1 comment
This is pretty cool! Are you sure about the name...
Hexigonz on HN
Formal verification for GPU kernels could make massively parallel Rust code safer
From 1 comment
Reading through this thread, it seems the naming debate is taking up most of the oxygen, but the underlying technical goal behind the project is worth highlighting. Formal…
orliesaurus on HN
Objections
The name sounds like a slur or rude word
From 3 comments
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…
skrrtww on HNIt sounds like cuck.
jonathrg on HNYeah, coq is already bad, but cuq is the cherry on top of it. I don't like both.
7bit on HN
Name is distracting from the technical work
From 2 comments
Reading through this thread, it seems the naming debate is taking up most of the oxygen, but the underlying technical goal behind the project is worth highlighting. Formal…
orliesaurus on HNI wished this name had been reserved for some sort of monitoring software.
the_real_cher on HN
Requests
Rename the project
From 3 comments
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…
skrrtww on HNAren't we more mature than this? Granted, it's the first thing I thought of as well
ahallock on HNCan we instead please be mature about choosing a adequate sounding name?
7bit on HN
Consider targeting cuTile instead of PTX
From 1 comment
Do you think it might be easier to target cuTile instead of PTX? (Probably not, since it has a less formalized model?)
gaogao on HN
Questions
Is a proof-driven approach scalable beyond toy examples
From 1 comment
Reading through this thread, it seems the naming debate is taking up most of the oxygen, but the underlying technical goal behind the project is worth highlighting. Formal…
orliesaurus on HN
Is the name intentional
From 2 comments
This is pretty cool! Are you sure about the name...
Hexigonz on HNThis 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…
skrrtww on HN