Hacker News new | ask | show | jobs
by bnegreve 4202 days ago
Not at all, but I was told that the pun was totally intentional [citation needed].
1 comments
fennecfoxen 4202 days ago
Is the filename of "coqasm.pdf" also trying to get at something?
link