https://jupiterzw.github.io/posts/hdp-soln/
Attempted Solutions to High-Dimensional Probability (Updating...) - Zhiyu Wang