Hacker News Reader

The parent page by one of the authors links to a version which has been typeset more recently (in 2019).

And the second link on that page is to an even more recent version (2020): http://ttic.edu/blum/book.pdf