https://daidong.github.io/teaching/2023-fall-uri/ now lives at https://daidong.github.io/#teaching. You will be taken there automatically.