Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @cattheory
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @cattheory
-
Prikvačeni tweet
- named professors probably get paid better. + are you telling me that there are nameless professors? - no I mean named chairs, endowed by a speci— + would we use De Bruijn indices to refer to them? does this mean there are no free professors?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy 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 -
joomy proslijedio/la je Tweet
The best argument against authoritarianism is how consistently dumb and damaging their cover-up and emergency first response practices are.https://twitter.com/davidpaulk/status/1223603801363365893 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je Tweet
Turkic: okay, we'll give you our word 'aslan'. It means 'lion' Slavic: thanks, we'll simplify it to just 'slonъ' Turkic: cool Slavic: cool T: you know what a lion is, right? S: of course, an animal T: yeah S: in Africa T: yeah S: four legs T: yeah S: long nose T: wait- Slavic:pic.twitter.com/6vqR2ZXP4F
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
+ wegmans has this great chicken drumstick family pack... - oh, the chicken in the pack were a family? how sad.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je Tweet
Retweet if your ancestral heritage's carb-surrounded protein delivery system proletariat poverty food is absolutely the very best one.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je Tweet
I finally submitted my undergraduate thesis to a journal, 5 years after I started working on the project!! Its called 'The P600 for singular “they”: How the brain reacts when John decides to treat themselves to sushi'. Here is a link to the pre-print: https://psyarxiv.com/hwzke 1/n
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je Tweet
Team of Americans, including
@Boeing & US government officials, helped suppress evidence of aircraft's safety issues that contributed to 2009@TurkishAirlines crash in Amsterdam that killed 9 people, pinning the blame on pilots@nytimes reports https://www.nytimes.com/2020/01/20/business/boeing-737-accidents.html?searchResultPosition=1 …Hvala. 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
-
i love types. checking and inferring are some of my favorite activitieshttps://twitter.com/EricTheWry/status/1217867235957538824 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
holy shit, bojack is teaching at wesleyan?https://twitter.com/BoJackHorseman/status/1217476538280472578 …
1:16Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je Tweet
natural languages have too powerful a macro system
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
my students had an entire month to do this last homework so obviously many of them just had to e-mail me about their questions today, one day before Dean's Date, which is the final deadline for all written work for classes.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bir arkadaşım için Coq ile interaktif teorem kanıtlamaya giriş konusunda Türkçe video çektim. herhangi bir günden 7 gün ilerleyince haftanın aynı gününe gelindiğinin kanıtını gösterdim. Türkçe matematik veya bilgisayar konuşurken biraz tutuğum, affedin.https://www.youtube.com/watch?v=llQTJuO65Kk …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
recorded an intro to Coq video in Turkish for a friend, and proved that moving 7 days forward gives you the same day of the week. it only made me realize how paralyzed I feel when I try to explain math or CS in Turkish, but it may be useful to some:https://www.youtube.com/watch?v=llQTJuO65Kk …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
"In retrospect, we misgauged how our participation would be interpreted by the community. For this we are indeed sorry." not a good look.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
this reads like a non-apology apology to mehttps://www.acm.org/about-acm/statement-regarding-open-access …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
featuring a young type theorist trying to write mechanized metatheory proofs by hand and as a result suffers from paranoia and hallucinations. later his advisor reveals that he had similar problems years ago, and he should look for different ways to represent variable binding.https://twitter.com/JSEllenberg/status/1214287218623307776 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
simply hyped lambda calculushttps://twitter.com/InertialObservr/status/1213992088615829504 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
joomy proslijedio/la je Tweet
A new paper has been making the rounds with the intriguing claim that YouTube has a *de-radicalizing* influence. https://arxiv.org/abs/1912.11211 Having read the paper, I wanted to call it wrong, but that would give the paper too much credit, because it is not even wrong. Let me explain.
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.