Ideas & society2013 · shared on Hacker News
Coq: The world’s best macro assembler? (2013) [pdf]
Research PDF · needs verificationExplore Coq: The world’s best macro assembler? (2013) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ydezgeg ·
Coq: The world’s best macro assembler? (2013) [pdf]
187 points61 comments
Ycalpaterson ·
GnuTLS considered harmful (2008)
185 points115 comments
Yaddaon ·
Coq: The World's Best Macro Assembler? (2013) [pdf]
167 points74 comments
Ylossolo ·
A 32nm 1000-Processor Array
148 points104 comments
YTomte ·
SBCL: The Ultimate Assembly Code Breadboard (2014)
122 points2 comments
Yshagunsodhani ·
PeachPy: Assembly Code Generation in High-Level Python
116 points29 comments
Ymmastrac ·
A MOS6502 assembler implemented as a Rust macro
111 points55 comments
Ylmm ·
An ASM Monad (2013)
83 points13 comments
Yrwbhn ·
Is Java more secure than C?
74 points52 comments
Yvezzy-fnord ·
Introduction to Ada and SPARK (2009) [pdf]
47 points37 comments
Yhellofunk ·
OCaml Language Sucks (2007)
43 points56 comments
Ylelf ·
Coq: The world’s best macro assembler
1 points0 comments