Sorry you're getting downvoted but you're not alone, I have the same thoughts ev... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kgwxd on Nov 30, 2015 \| parent \| context \| favorite \| on: The C standard formalized in Coq Sorry you're getting downvoted but you're not alone, I have the same thoughts every time. I just knew bringing it up wouldn't be good. I could never have a verbal discussion about the language. I think that's the reason there's no GIS library written in Coq, even the most mature person couldn't hold back the giggles long enough to get anything done.

mikeash on Nov 30, 2015 [–]

The original pronunciation is more like "coke" than "cock" so this shouldn't be a problem unless you really lack self control.

I'm sure there are plenty of English names that sound naughty in other languages, but somehow the people who speak those languages manage to carry on.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact