Coq: The World's Best Macro Assembler? (2013) [pdf] | Dark Hacker News