i am not sure i agree some of those book are a bit too hardcore

  - Knuth, The Art of Computer Programming
  - Pierce, Types and Programming Languages

And its too unix focused, too systems or low level programming focused there is a lot more to programming than mastering unix and c

I think this list needs

  - A Python book 
  - A SQL book and a Relational DB book
  - Some windows and unix admin books 
  - A book about testing and CI/CD 
  - A book about computer security
  - A Machine Learning book