<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">Last night's Ulam lecturer mentioned this guy and I was excited to see Levin lecturing at the Topos institute.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><a href="https://www.youtube.com/watch?v=4CMh-9bAL4s&ab_channel=ToposInstitute">https://www.youtube.com/watch?v=4CMh-9bAL4s&ab_channel=ToposInstitute</a><br></div></div>