Hacker News Reader

I don't have inside knowledge, but yeah, it seems extremely likely -- the sequences have been available for years, after all.

They didn't wait for the end of HPMoR to publish this book - they made an extra effort to have it ready in time!