Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @tangled_zans
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @tangled_zans
-
Prikvačeni tweet
I'm going to teach a course on implementing dependently typed programming languages at
@monadic_waw this June! If you have any questions you'd like to see covered, feel free to ask. The 6 hours of videos will be posted online.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zanzi 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 -
some fucking good data analysis, and a good methodology for tracking hate groupshttps://twitter.com/DavidPaisley/status/1222999786749558789 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ah but refactoring so late, how do you know the innocuous sentence you've removed wasnt crucial to your point ten pages down? Theres only one solution, we need a type checker for written work.https://twitter.com/krismicinski/status/1222910598956113920 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zanzi proslijedio/la je Tweet
We are building a Haskell team at
@FutureFinanceLC in London. I am especially interested in exploring probabilistic programming. DM me if you are interested.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My sheaves bring all the category theorists to the yard And they're like "Wanna make kimchi?"https://twitter.com/sclv/status/903084761190735872 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"When all you have is nails, every rock looks like a hammer"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Brexshit is Brexshit.https://twitter.com/terrychristian/status/1222193654867079173 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ADHD is waiting half an hour until your 31st birthday to register for your 26-30 railcard.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"So far, the question has been posed as how does language affect thinking, but what if the question is inverted to ask how do concepts affect language?"https://twitter.com/pigworker/status/1222658127855804417 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Finally a personality test that understands mehttps://twitter.com/thecodinglove/status/1222638760359288833 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zanzi proslijedio/la je Tweet
"Bringing Stories Alive: Generating Interactive Fiction Worlds”
@rajammanabrolu made a text-adventure game world generator. The online demo is live! Paper: https://arxiv.org/abs/2001.10161 Code: https://github.com/rajammanabrolu/WorldGeneration … Demo: http://evennnia-textgame.com/ pic.twitter.com/okNvfwSJZw
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New startup idea: a chat bot trained on your conversations that takes care of online arguing for you. No more getting into dumb internet fights! Now you can tell people exactly how wrong they are without having to type a word yourself.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We must construct additional pylonshttps://twitter.com/hankgreen/status/1222010298258690049 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zanzi proslijedio/la je Tweet
“Debugging data flows in reactive programs | the morning paper”http://htn.to/ykHEjf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zanzi proslijedio/la je Tweet
Time to expand this into a thread. There are important classes of abstract machines that can hold things like lambda terms or graphs in their state, and do reductions on it. SPJ's spineless tagless G-machine is an example you might have heard of. http://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf …https://twitter.com/_julesh_/status/1067943980820623360 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I was in a talk that mentioned how it might have been Roger Penrose who suggested the lambda calculus to Christopher Strachey as a potential language for programming language semantics. Speaker:"Perhaps someone who knows Penrose could ask him?" Audience: "Oh, he's right here"https://twitter.com/danghica/status/1124567463306440704 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"You hear that? Oh, no, no, no. No. No! Oh, Jesus Christ, no. The clocks are here!" The first thing I'll do when MovieGAN is invented is turn this into a film.https://twitter.com/scattermoon/status/1209252466749059072 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
research friends: how do you organise your notes/questions? I feel like I've tried a bunch of over-engineered systems(ie org-mode) and they always end up going out of control.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Zanzi proslijedio/la je Tweet
Romeo Stevens comes in with the best explanation I've seen of Suffering and Craving in Buddhism!pic.twitter.com/Evv6USBVCJ
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Play stupid games. Win stupid prizes. Celebrate stupid victory by making a stupid commemorative 50p coin.
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.

