But that player is very crappy, you can't seek, and it's UI tends to fall apart. So we'll have to wait for it to appear on youtube here:
The website of the Heidelberg Laureate Forum is also rather confusing. There seems to be no link from the calendar to the live stream, and searching for 2018 returns nothing. Why is your site so crappy, #HLF?
@RefurioAnachro I'm wondering about this part of the blog it linked to -- a sly joke or?
This is neither hairsplitting nor special pleading but a need we feel as computer theorists who have used strongly-typed programming languages. https://rjlipton.wordpress.com/2018/09/26/reading-into-atiyahs-proof/
I don't know what they mean, @joeyh. It seems to relate to the fact that 1+ζ looks equivalent to s+b and I imagine that their 'sly joke' is aimed to hint at the fact that a strongly typed system might allow adding one, while general addition would require a larger type.
Thanks for linking that blog post into our thread!