The lecture notes and other writing are now at /notes/.
You will be redirected automatically. If not, please follow the link above.