Li-Fan Chen says to YSITD A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture (Score: 100+ in 18 hours) Link: https://readhacker.news/s/42meG Comments: https://readhacker.news/c/42meG