Thanks for the clarification. I think teachyourselfcs is a great resource, and having gone through some of the books and seen their rigor (references everywhere, theory that has taken millions of hours in dissertations/papers/patents/peer review), I would have taken issue with not labelling the resources as part of the theory in the field. After all I am sure CS coursework generally cares about algorithms, data structures, relational databases, operating systems, discrete mathematics, networking, distributed systems, etc.

Will be adding Sipser to my reading list.