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 justinpombrio on Friday July 10, 2015 @09:22AM (#9863756)
A few timid speakers will mispronounce it like "coke", but everyone knows they're saying it wrong.
[ Parent | on HN ]
Re:Coq: Certified Programming with Dependent Types by eli_gottlieb on Friday July 10, 2015 @10:01AM (#9863975)
It's pronounced identically to "caulk", though, not "cock".
[ Parent | on HN ]
Re:Coq: Certified Programming with Dependent Types by Afton on Friday July 10, 2015 @12:30PM (#9864954)
In my idiolect, those two words are homonyms. When I worked construction, you couldn't ask someone for caulk without raucous laughter.

http://dictionary.reference.com/browse/caulk

this link seems to agree, with the word represented in IPA as [kɔːk]

[ Parent | on HN ]
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 ]
Re:Coq: Certified Programming with Dependent Types by davidgay on Friday July 10, 2015 @10:18AM (#9864060)
More like somewhere in between, really.
[ Parent | on HN ]
Re:Coq: Certified Programming with Dependent Types by innguest on Friday July 10, 2015 @02:09PM (#9865663)
More information about who in the US has and hasn't merged those two sounds: https://en.wikipedia.org/wiki/Phonological_history_of_Englis...

It's the cot-caught merger.

[ Parent | on HN ]