By the way, the x86-64/AMD64 Linux edition of his assembly-language text just came out:

https://www.contrapositivediary.com/?page_id=5070