Does the SBCL compiler use a separate third-party assembler? Otherwise, how does it know the POPCNT opcode/encoding? I didn't see the author specify it in the post.
How do you feel about the fact that OCaml has no capacity for "real" multithreading? It seems that such capability will only become more important in the future.