Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @maxgubi
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @maxgubi
-
mgubi 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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
How to use gravity and water to wear a swimcap [source: https://buff.ly/2LQw0mR ]
#SundayFundaypic.twitter.com/zBzYahad4CHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
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.https://johncarlosbaez.wordpress.com/2020/01/05/topos-theory-part-1/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
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
@observablehq notebook!https://observablehq.com/@bryangingechen/fibonacci-formalized-1-some-sums …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
mgubi proslijedio/la je Tweet
New Lean Maths Challenge: prove that a set of real numbers has at most one supremum. https://tinyurl.com/LeanMathsChallenges …
#leanproverHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
mgubi proslijedio/la je Tweet
If the Moon Were Only 1 Pixel (2014) https://joshworth.com/dev/pixelspace/pixelspace_solarsystem.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
What maths is currently in Lean? Last week I wrote an overview here https://xenaproject.wordpress.com/what-maths-is-in-lean/ … .
#leanproverHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
Is the proof of Fermat's Last Theorem "rigorous mathematics"? I argue that it is currently "theoretical mathematics" herehttps://xenaproject.wordpress.com/2019/12/07/rigorous-mathematics/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
Wikipedia Has Cancer (2017) https://en.wikipedia.org/wiki/User:Guy_Macon/Wikipedia_has_Cancer …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi 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.pic.twitter.com/W2l8ZBFUAn
NowThis
Sascha Baron Cohen Slams Social Media GiantsListen to Sacha Baron Cohen slam the social media industry for facilitating the spread of hate, lies, and conspiraciesHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
mgubi proslijedio/la je Tweet
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.pic.twitter.com/TP2sL7ldhw
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
mgubi 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.https://mastodon.bida.im/@Wu_Ming_Foundt/103101092430275889 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi 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
@XenaProject ! http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mgubi proslijedio/la je Tweet
New version of natural number game: http://wwwf.imperial.ac.uk/~buzzard/xena/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.
Hvala. 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.