News for hackers. Stuff that matters.

A comment on Coq: Certified Programming with Dependent Types. Parent comment

Re:Coq: Certified Programming with Dependent Types by davidgrenier on Friday July 10, 2015 @12:21PM (#9864874)
Not 100% confident on how people pronounce "cock" but it's definitely not close to "caulk".

Being a french speaker, I would say pronunciation is closer to "puck" with a k, so go with "Kuck".

[ Parent | on HN ]

There are no comments on this comment yet.