One of my favorite computer jokes is "Computer Science could be called the post-Turing decline in the study of formal systems." Your criticism is valid, I thin

One of my favorite computer jokes is "Computer Science could be called the post-Turing decline in the study of formal systems." Your criticism is valid, I think, because the chips are now so complex "under the hood" that assembly is, in practice, no longer the thin abstraction it used to be, eh?