Anthony Bordg

@AnthonyBordg

“We must know. We will know.” 🖥️ science, maths, philosophy and physics . Tweets become library whispers 📚. Father-of-one.

Vrijeme pridruživanja: prosinac 2017.

Tweetovi

Blokirali ste korisnika/cu @AnthonyBordg

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @AnthonyBordg

  1. Prikvačeni tweet
    1. velj 2019.

    I'm glad to announce that my article "On a Model Invariance Problem in Homotopy Type Theory" has been published in Applied Categorical Structures

    Prikaži ovu nit
    Poništi
  2. 1. velj

    The results of the largest ever survey of research culture from

    Poništi
  3. 10. sij

    I wish someone write a book in the same spirit about algebraic geometry.

    Prikaži ovu nit
    Poništi
  4. 10. sij

    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.

    Prikaži ovu nit
    Poništi
  5. 10. sij

    A particularly interesting story in the book: Apple vs Microsoft or why the best product doesn't always win.

    Prikaži ovu nit
    Poništi
  6. 10. sij

    It seems all these things will happen in Lean instead.

    Prikaži ovu nit
    Poništi
  7. 10. sij

    This is despite Voevodsky already advocating in 2017 the formalisation in UniMath of the "modern theory of geometry and topology of manifolds" (slide 31).

    Prikaži ovu nit
    Poništi
  8. 10. sij

    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 nit
    Poništi
  9. 9. sij

    An interesting thread on Coq-Club: "Lean is like Coq but better".

    Prikaži ovu nit
    Poništi
  10. 5. sij
    Poništi
  11. 4. sij
    Poništi
  12. 3. sij

    Nice holiday read 📚: Isaacson's "Steve Jobs", the authorised and unprettified biography.

    Prikaži ovu nit
    Poništi
  13. 3. sij

    Oh boy, advertising on The Portal is so annoying... But unusual and interesting antagonism in this episode.

    Poništi
  14. 18. pro 2019.

    and how we uncovered an error in a paper published 20 years ago which is highly cited.

    Prikaži ovu nit
    Poništi
  15. 18. pro 2019.

    I will give a short presentation tomorrow about our work on the certification of quantum computation using the proof assistant Isabelle 1/2

    Prikaži ovu nit
    Poništi
  16. 18. pro 2019.

    When will Lean 4 be released?

    Poništi
  17. 27. stu 2019.

    The chapter on the universal approximation theorem is a really nice instance of Bret Victor's ladder of abstraction.

    Prikaži ovu nit
    Poništi
  18. 27. stu 2019.

    Want to learn the fundamental equations of backpropagation? Check out Michael Nielsen's great book "Neural Networks and Deep Learning".

    Prikaži ovu nit
    Poništi
  19. 26. stu 2019.

    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 nit
    Poništi
  20. 26. stu 2019.

    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 nit
    Poništi
  21. 26. stu 2019.

    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 nit
    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·