~luyu/hkust

Useful stuff for HKUST life.