Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @mietek
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @mietek
-
Prikvačeni tweet
Agda the Hen (Hönan Agda): my design for the Agda logo competition. https://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXXIII.LogoCompetition …pic.twitter.com/gBkaYOq2DD
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!http://colimit.net/posts/normalisation-by-evaluation/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Why everyone should be guaranteed a basic income: http://t.ted.com/wWXi5Vz
@rcbregmanHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
A common misconception. You need to chant "Yoneda" 3 times in your bathroom mirror at midnight, and you'll be embedded fully and faithfully into your category of presheaves.https://twitter.com/euisuny/status/1169223184941342720 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Danish fishermen Brexit humor: Fisherman 1: I caught a UK shrimp today. Fisherman 2: How do you know it’s from the UK? Fisherman 1: When I emptied the net it rose up and said “I’m a lobster.”
#BrexitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Hey
@BorisJohnson and@Nigel_Farage, we just made Big Ben bong for you
. Sound on.pic.twitter.com/6wnxYi9BOUHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
99 smartphones are transported in a handcart to generate virtual traffic jam in Google Maps. Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route!
#googlemapshacks http://www.simonweckert.com/googlemapshacks.html …pic.twitter.com/6KcMm1XgAF
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Performance artist generates virtual traffic jams in Google Maps by pulling a wagon full of smartphones http://www.simonweckert.com/googlemapshacks.html …pic.twitter.com/m3bmQXvswI
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Completeness theorems for first-order logic analysed in constructive type theory. ~ Yannick Forster, Dominik Kirst, Dominik Wehr. https://www.ps.uni-saarland.de/Publications/documents/ForsterEtAl_2019_Completeness.pdf …
#ITP#Coq#LogicHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Do you have an older Macintosh running 10.8 Mountain Lion, 10.9 Mavericks, 10.10 Yosemite, or 10.11 El Capitan? Could I talk you into running Teensyduino 1.50 and let me which of those old systems do or don't work? Here's the download: https://www.pjrc.com/teensy/td_150/Teensyduino_MacOS_Catalina.zip …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Pacman and the Moon Credit: ESO, Eric Lagadecpic.twitter.com/Q0rnAPMlYJ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Looking forward to the next 700 Mediocre blog posts on Explainable Machine Learning (XML), Understandable Machine Learning (UML), Highly Transparent Machine Learning (HTML), and Very Reliable Machine Learning (VRML).https://twitter.com/laurence_diver/status/1223179516417323008 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
It would be cool if mathematicians decided it's more important for maths to be solid rather than original; if combing through the archives and properly proving theorems became fashionable.https://twitter.com/vee3my/status/1223648030093647872 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
"So I have decided to stop attempting to generate new mathematics, and concentrate instead on carefully checking “known” mathematics on a computer." http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
“Riddled with obvious contradictions” applies to more than one aspect of UK policy.https://foreignpolicy.com/2020/01/31/boris-johnson-britain-knows-its-selling-out-its-national-security-to-huawei/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
Graded monads and parameterised monads both generalise monads to indexed forms, but with different kinds of indexing.
@heades, Phil Wadler, and I show that they can both be subsumed by a particular class of lax functors (with a little extra structure) https://arxiv.org/pdf/2001.10274.pdf …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
"The government took away my family's monopoly" is not the searing indictment of communism you think it is
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
git commit --amen
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Miëtek Bak proslijedio/la je Tweet
When you book flights to a JavaScript conferencehttps://twitter.com/falcondarkstar/status/1222788171361968128 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Miëtek Bak proslijedio/la je Tweet
A message to Europe, this morning on the White Cliffs of Dover. Sound on.pic.twitter.com/E3VY8BaGjK
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.