Those links are specific to MIRI's rather idiosyncratic philosophy/math oriented research agenda. If you actually read all those books, you're pretty much committing to knowing very little about practical AI and machine learning, simply by virtue of time opportunity cost.