At my university, this kind of stuff is covered in a class called Digital Logic, which is a precursor to Computer Architecture. I've a pretty good understanding of how all the stuff works that's mentioned in the blog post.
edit: It may actually be more of an electrical engineering class, but the CS program here is ABET certified, so it's essentially an engineering degree itself, but this is the kind of thing that any CS graduate should be intimately familiar with.
edit: It may actually be more of an electrical engineering class, but the CS program here is ABET certified, so it's essentially an engineering degree itself, but this is the kind of thing that any CS graduate should be intimately familiar with.