Tweetovi

Blokirali ste korisnika/cu @maxgubi

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

  1. proslijedio/la je Tweet

    An older woman came into the bookstore today. I made a joke about a credit card reader issue and she said "these things are all programmed by twenty-five-year-old boys who don't comment their code" and somehow we ended up having a great conversation about programming and biases.

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    12. sij

    How to use gravity and water to wear a swimcap [source: ]

    Poništi
  3. proslijedio/la je Tweet
    6. sij

    Topos theory is a somewhat scary branch of category theory, as witnessed by Johnstone's 1284-page-but-still-unfinished book. I'm teaching a 10-lecture course on topos theory, mainly to learn the subject. Here are my notes for the first class.

    Poništi
  4. proslijedio/la je Tweet
    29. srp 2019.

    Proof assistants are computer programs for writing and verifying formalized mathematical proofs. What's it like to use one? Explore some Fibonacci sum identities with the browser version of the Lean theorem prover in this notebook!

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    14. pro 2019.
    Poništi
  6. proslijedio/la je Tweet
    12. pro 2019.

    New Lean Maths Challenge: prove that a set of real numbers has at most one supremum.

    Poništi
  7. proslijedio/la je Tweet
    10. pro 2019.

    Helping my students to see beyond equations.

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    8. pro 2019.
    Poništi
  9. proslijedio/la je Tweet
    7. pro 2019.

    What maths is currently in Lean? Last week I wrote an overview here .

    Poništi
  10. proslijedio/la je Tweet
    7. pro 2019.

    Is the proof of Fermat's Last Theorem "rigorous mathematics"? I argue that it is currently "theoretical mathematics" here

    Poništi
  11. proslijedio/la je Tweet
    3. pro 2019.
    Poništi
  12. proslijedio/la je Tweet

    “Si Facebook avait existé dans les années 30, il aurait laissé Hitler publier des pubs de 30 secondes sur sa ‘solution’ au ‘problème juif’” Sacha Baron Cohen a déchiré Mark Zuckerberg et les géants du web lors d’un discours. À voir.

    Poništi
  13. proslijedio/la je Tweet
    23. stu 2019.
    Poništi
  14. proslijedio/la je Tweet
    20. stu 2019.

    We often fail to comprehend how recently the Dutch committed to becoming a cycling nation. Of the country’s 37,000 km of separated cycle tracks, more than HALF—about 20,000 km—was built in the past two decades. And they’re still adding a staggering 1,000 km each and every year.

    Poništi
  15. proslijedio/la je Tweet
    18. stu 2019.

    I want to start this trend in academic papers:

    Poništi
  16. proslijedio/la je Tweet

    Il 9 dicembre 2019 sganceremo da Twitter l'account Mastodon. Ora è agganciato solo per informare che siamo di là. Qui rimarranno solo i bot dai blog della WMF. Da quel giorno, chi vorrà seguirci su un social potrà iscriversi a un'istanza di Mastodon.

    Poništi
  17. proslijedio/la je Tweet

    If you want to get a slight idea of what it feels to have Lean proving elementary results about the integers, go try the Natural number game devised by Kevin Buzzard and Mohammad Pedramfar. This is quite funny to do! Thanks !

    Poništi
  18. proslijedio/la je Tweet
    30. lis 2019.

    New version of natural number game: v1.01 -- `exact` tactic gets the chop! Thank you *so much* to all the people who sent feedback about the original rather raw version. The poorly-explained stuff has been removed. New version is a coherent game.

    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:

    ·