Re:A blog engine written and proven in Coq
by tpaksoy on Thursday February 12, 2015 @08:39AM
(#9038696)
It's not just that "Coq" might sound like "cock", but a "Coq blog" just sounds even funnier...
[ Parent
| on HN ]
Re:A blog engine written and proven in Coq
by wernercd on Thursday February 12, 2015 @11:47AM
(#9039703)
I just hate to think of the poor girl/woman who decides she loves the framework...
Re:A blog engine written and proven in Coq
by smadge on Thursday February 12, 2015 @07:28PM
(#9042214)
Why does it have to be a girl/woman? Why would it be any different for a boy/man to say they love Coq?
This actually happened to me. A classmate said something about Coq, and I did a double take. He explained it was a language, but for a second he got my hopes up.