News for hackers. Stuff that matters.
Re:Advent of Code 2018, in Coq by leoc on Tuesday February 19, 2019 @05:36AM (#19198003)
No, it really is pronounced a lot more like 'cock'. Moreover, I have it on pretty good authority that this wasn't any sort of unhappy coincidence; quite the opposite. I think they may have been unhappy about 'bit'.

There are no comments on this comment yet.