Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
-
Deep in the perfectoid project. Graph made by Patrick Massot.pic.twitter.com/cYFrGCQVwh
-
My Sept 2019 talk at
@MSFTResearch is now online!https://www.youtube.com/watch?v=Dp-mQ3HxgDE … -
I gave a general audience talk about Lean. https://www.youtube.com/watch?v=aZHbnQlFOn4 … The first half an hour was an easy-going introduction to the idea of formalisation, and then I spent the last 25 minutes showing examples of Lean code. I just discovered that it was up on youtube :-)
-
Interview with
@ChrSzegedy on YT: https://www.youtube.com/watch?v=p_UXra-_ORQ … . At AITP Christian told me that he could see computers beating humans at mathematics within ten years. I am not so optimistic, but that certainly doesn't stop me being very excited about his vision for the future. -
Summary of my talk at
#BigProof2019 (with thanks to Reid Barton)pic.twitter.com/KlfjETsELR
-
On the other hand, many many thanks Dawn Wasley and
@ICMS_Edinburgh for giving me just the set-up I wanted -- a screen to display my laptop, a blackboard, and *even some Hagoromo!*https://www.youtube.com/watch?v=PhNUjg9X4g8 … -
Oh wow -- Scott Morrison has uploaded a video! https://www.youtube.com/watch?v=PSQq0RbgWH8&feature=youtu.be … Watch me baiting computer scientists at
#BigProof2019Prikaži ovu nit
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.