Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @AnthonyBordg
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @AnthonyBordg
-
Prikvačeni tweet
I'm glad to announce that my article "On a Model Invariance Problem in Homotopy Type Theory" has been published in Applied Categorical Structures
@SpringerNature https://link.springer.com/article/10.1007%2Fs10485-019-09558-w …#maths#article#publicationPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The results of the largest ever survey of research culture from
@wellcometrust http://www.wellcome.ac.uk/research-culture …#ReimagineResearchHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
@johncarlosbaez I wish someone write a book in the same spirit about algebraic geometry.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
If you want to learn differential geometry, representation theory, Lie groups and Lie algebras, gauge theory and much more, "Gauge Fields, Knots and Gravity" by John Baez and Javier Muniain is a real gem. https://www.worldscientific.com/worldscibooks/10.1142/2324 …
#goodreads#math#physicsPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A particularly interesting story in the book: Apple vs Microsoft or why the best product doesn't always win.
#MicrosoftPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It seems all these things will happen in Lean instead.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is despite Voevodsky already advocating in 2017 the formalisation in UniMath of the "modern theory of geometry and topology of manifolds" (slide 31). https://www.newton.ac.uk/files/seminar/20170710113012301-1356379.pdf …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
At some point in the thread Kevin Buzzard notices that there is very little actual maths in UniMath, like schemes or manifolds or even basic analysis.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
An interesting thread on Coq-Club: "Lean is like Coq but better". https://sympa.inria.fr/sympa/arc/coq-club/2020-01/msg00006.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In 2020 choose the red pill. https://www.youtube.com/watch?v=zE7PKRjrid4 …
#NewYearResolutionsHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Nice holiday read
: Isaacson's "Steve Jobs", the authorised and unprettified biography.
#Apple#SteveJobsPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Oh boy, advertising on The Portal is so annoying... But unusual and interesting antagonism in this episode.https://twitter.com/EricRWeinstein/status/1203399275343794176 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
and how we uncovered an error in a paper published 20 years ago which is highly cited. https://arxiv.org/abs/1911.09354
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I will give a short presentation tomorrow
@IIAS_Jerusalem about our work on the certification of quantum computation using the proof assistant Isabelle https://drive.google.com/file/d/1rw-Td4BUNb5LARKAhKiU3ceThi8V6UkP/view … 1/2#TheMathematicsofQuantumComputationPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
When will Lean 4 be released?
@XenaProjectHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The chapter on the universal approximation theorem is a really nice instance of Bret Victor's ladder of abstraction.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Want to learn the fundamental equations of backpropagation? Check out Michael Nielsen's great book "Neural Networks and Deep Learning". http://neuralnetworksanddeeplearning.com/
#DeepLearning#NeuralNetworks#goodreadPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Indeed, we introduce a new classical strategy that becomes Bob's dominant strategy, should Alice play the miracle move. Finally, we briefly survey the subsequent literature and turn to the 3-parameter strategic space instead of the 2-parameter one of Eisert et al.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It is not true that the so-called miracle move therein always gives quantum Alice a large reward against classical Bob and outperforms tit-for-tat in an iterated game.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We point out a flaw in the unfair case of the quantum Prisoner's Dilemma as introduced in the pioneering Letter "Quantum Games and Quantum Strategies" of Eisert, Wilkens and Lewenstein.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Č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.
science, maths, philosophy and physics