News for hackers. Stuff that matters.
Re:The C standard formalized in Coq by jjgreen on Monday November 30, 2015 @12:27PM (#10650544)
American rather than Anglo-Saxon I think, and the US has preferred "rooster" over "cock" since the 18th century, have those horrid liberals been oppressing you with political correctness all this time?

There are no comments on this comment yet.