I just got "The Little Typer" in the mail to teach myself more about dependent types. Hopefully leading into an ability to work with #categorytheory in a more systematic and programmable form.

It is also a part of a personal endeavor I am calling "books as a practice" that I picked up from reading "Zen Mind, Beginners Mind".

My focus is therefor less read and move on, but more about rereading and habit to the point of intuitive understanding.