News for hackers. Stuff that matters.
Re:The C standard formalized in Coq by mikegerwitz on Monday November 30, 2015 @09:11AM (#10649421)
I upvoted your original question because it is a legitimate one, whether others like it or not.

I actually have gotten very few odd looks even from non-programmers when pronouncing "Coq" as "cock" _in the proper context_. "Use Coq" would probably yield a different out-of-context interpretation than "For problem X I think we should consider Coq. It allows ..."

I don't think this is much of a problem in practice.

There are no comments on this comment yet.