News for hackers. Stuff that matters.

A comment on Coq: The world’s best macro assembler? (2013) [pdf]. Parent comment

Re:Coq: The world’s best macro assembler? (2013) [pdf] by bnegreve on Monday December 15, 2014 @01:09PM (#8753339)
Not at all, but I was told that the pun was totally intentional [citation needed].
[ Parent | on HN ]
Re:Coq: The world’s best macro assembler? (2013) [pdf] by fennecfoxen on Monday December 15, 2014 @09:18PM (#8755571)
Is the filename of "coqasm.pdf" also trying to get at something?
[ Parent | on HN ]