Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Coq: Certified Programming with Dependent Types. Parent comment
Oh my, thanks for the laugh. I half imagined a Dilbert scenario when reading that.
It's weird to think of the simultaneous uptightness and childishness which would make it impossible to use this homonym in the proper context.
There are no comments on this comment yet.
Oh my, thanks for the laugh. I half imagined a Dilbert scenario when reading that.
It's weird to think of the simultaneous uptightness and childishness which would make it impossible to use this homonym in the proper context.