The linked PDF was created on 8/5/13. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		AdieuToLogic 55 days ago \| parent \| context \| favorite \| on: Coq: The World's Best Macro Assembler? (2013) [pdf... The linked PDF was created on 8/5/13.

volemo 55 days ago [–]

Then the title needs (2013), no?

addaon 55 days ago | [–]

Yep, sorry. Added.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact