This page has moved. Redirecting to https://nanx.me/talks/.