News for hackers. Stuff that matters.

A comment on Writing a formally-verified image browser in Coq and Haskell.

Re:Writing a formally-verified image browser in Coq and Haskell by sweep4r on Saturday August 26, 2017 @06:48AM (#15104930)
Writing a porn browser in Coq seems appropriate.
[ Parent | on HN ]
Re:Writing a formally-verified image browser in Coq and Haskell by dominotw on Saturday August 26, 2017 @08:32AM (#15105171)
do americans call their penis cock/dick and vagina pussy when they are having 'sexytime' ? I find saying 'suck my cock' too immature and comical but at the same time 'suck my penis' sounds too clinical and a mood killer.
[ Parent | on HN ]
Re:Writing a formally-verified image browser in Coq and Haskell by wtf_is_up on Saturday August 26, 2017 @08:47AM (#15105210)
I prefer to not speak English at all, but to just grunt and make gestures like a chimpanzee.
[ Parent | on HN ]