Hacker News new | ask | show | jobs
by fennecfoxen 4202 days ago
Is the filename of "coqasm.pdf" also trying to get at something?