Yangruibo (Robin) Ding's website has moved to https://yrbding.github.io/ .