Dr_Manhattan comments on Book Review: Linear Algebra Done Right (MIRI course list)