SBCL: The Ultimate Assembly Code Breadboard (2014)

See also "Coq: The world's best macro assembler?": http://research.microsoft.com/en-us/um/people/nick/coqasm.pd...

Discussed at the time: https://news.ycombinator.com/item?id=7408807.