Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @d_christiansen
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @d_christiansen
-
Prikvačeni tweet
Here's a Haskell implementation of Pie, the language from The Little Typer, in case you want to look it over: https://github.com/david-christiansen/pie-hs … It has had no non-me users, so bugs are likelier than in the Racket version.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Don't mind me just doing inductive proofs in Redex.pic.twitter.com/EXILye5Hqa
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Having a REPL in the slides is next-level stuff. Thank you so much to everyone who works on Racket.pic.twitter.com/mFYn8g4AsD
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Never use Academia-not-edu or ResearchGate. If you want to share your working papers, put them on your website or use an open archive. It's a disgrace that the academia thing even has a .edu domain.https://twitter.com/johnlaudun/status/1224470816676630528 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
This is an incredibly astute way of showing how easily AI and information in general is manipulable. And how easily it can be done by a single person.https://twitter.com/StevenJCrowley/status/1223977380794064897 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Wonderful clouds this morning at the bus stop!pic.twitter.com/Ua17RgQJgD
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
"A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP! http://gallais.github.io/pdf/generic-syntax.pdf …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Look at all these beautiful people this morning, riding without the worry of private cars.
#BetterMarketStreetpic.twitter.com/CHEUFt6buMHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of
@poplconf in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online https://www.youtube.com/playlist?list=PLyrlk8Xaylp4-Ed1b4Vk57Fzx0aa95-Ag …#POPL2020Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Not only is it now interactive, it is now a *joint activity*: not just request/response cycles a la Shannon's communication model but all sorts of things happening (linters checking, tests running, etc.) all the time, together. https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1363742 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
This, so much this. Same in Germany (Hartz4)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
If you want to stick it to the rich, TAX THEM! But make public services for all members of the public.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Good essay on this:https://www.currentaffairs.org/2019/12/the-importance-of-making-everything-easier …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Means testing is one of the worst parts of USA's liberal consensus. Under the guise of "no handouts to the rich" we create two-tiered systems that the most powerful have no investment in, and we make people's lives bureaucratic because the process of means testing is terrible.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
PSA: The POPL Plague this year is the flu. Since in the first 24 hours after symptoms you can get an antiviral, if you get flu symptoms after POPL go to the doctor early
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
We'll there from 9:30 a.m. - 2:30 p.m. Come see us and:
Bling Your Thing with reflective stickers
Get free bike repair from @B4HPDX,
Take our All-Season Cycling Class
And more!
Details at http://bit.ly/fixitfair .
#pdxnow#pdxlifehttps://twitter.com/beckyjopdx/status/1220788082590375936 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Dear
@RepAdamSmith , moving to online voting in Washington state in any capacity is a TERRIBLE IDEA from a security perspective. Please represent me and other computer security professionals and stand against any future trials of this voting system:https://www.kiro7.com/news/technology/obscure-seattle/FQNRKHGEMXGZNF5IJAQZK5ID4M/?_website=cmg-tv-10090 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Indeed. And it's valuable to think of type systems plural as human understanding projected on languages from the outside. How we find explanations for things, rather than what things inherently are.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
Food for thought: There exists some smallest whole number which no human will ever think about. I wonder how big it is.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Thrane Christiansen proslijedio/la je Tweet
BREAKING: for the past several years
@UCBerkeley has been relying on undergrads to teach a majority of classes in the Computer Sci (ECCS) department oftentimes for little to NO wages yesterday an arbitrator ruled, at our behest, that UCB OWES the workers more than $5 MILLIONPrikaž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.