News for hackers. Stuff that matters.

A comment on A blog engine written and proven in Coq. Parent comment

Re:A blog engine written and proven in Coq by jeremiep on Thursday February 12, 2015 @10:35AM (#9039180)
We actually joke about it! Take a 'bitfield' for example, in french it becomes a 'field of cocks' :)
[ Parent | on HN ]

There are no comments on this comment yet.