This seems to be the video https://youtu.be/Mc3tTRkjCvE?si=xgVvaL6x_g9nLtxp. Thanks for this, I haven’t heard of Strange Loop before and all the talks look interesting!