I did have a formal CS education, and I still got a lot out of TAOCP even years later. You’re right that it really covers details that you just can’t find anywhere else, and every single exercise has worked-out solutions in the back, unlike a lot of the pretentious textbooks out there.