Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @nikivazou
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @nikivazou
-
Prikvačeni tweet
We have open positions for Phd and Postdoc at
@IMDEA_Software! Application deadline is Feb 1st (soon after#POPL). Spread the news and encourage students to apply! https://software.imdea.org/open_positions.html …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
-
Check out the winners of the SRC
@poplconf: https://popl20.sigplan.org/track/POPL-2020-Student-Research-Competition … Congrats to all of you!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nanevski applies programming ideas to proofs.
@IMDEA_Software@LabosNomades#tezos#blockchain workshoppic.twitter.com/EzrLXKaGDd
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Niki Vazou proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
...and finally, the aftermath of a long day!
#apls2019pic.twitter.com/abYMTuZcaX – mjesto: Σουφάλα
Prikaži ovu nitHvala. 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
-
Property based testing explained at Athens PLseminar by
@lemonidas_42#greekPLmafiapic.twitter.com/c49zGANaxo
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Niki Vazou proslijedio/la je Tweet
Alex Kavvos previewing his
#popl2020 work on reccurence extraction at the NTUA PL-seminar!pic.twitter.com/V20OqLXK3y
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Niki Vazou proslijedio/la je Tweet
Category theory goes mainstream with an appearance on Rick and Morty! They use quantum reasoning in symmetric monoidal categories to travel in time, as in https://arxiv.org/pdf/1902.00032.pdf …pic.twitter.com/5frKYova1N
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Niki Vazou proslijedio/la je Tweet
We are accepting applications for the Basili postdoctoral fellowship at UMD. We've had great postdocs come work in PLUM, including
@nikivazou,@tomgilray,@lemonidas_42, and Robert Rand; join this exclusive club! https://www.cs.umd.edu/basili-postdocHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Join us to work in the green capital!
@IMDEA_Software is hiring tenure-track (deadline Dec 20). https://software.imdea.org/open_positions/call_for_faculty.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Niki Vazou proslijedio/la je Tweet
Did you miss the deadline to submit a paper to Trends in Functional Programming http://www.cse.chalmers.se/~rjmh/tfp/ ? No worries--it's not too late! Submission is open until January 10th, for a presentation slot at the event and post-symposium reviewing.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Happily destroying academia of the 90s! As female, I am not sure, but I think this is what we call evolution...https://twitter.com/samth/status/1196883832647098368 …
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
-
Niki Vazou proslijedio/la je Tweet
There's still plenty of time to submit to the
#POPL2020 Student Research Competition!https://twitter.com/poplconf/status/1173578530371731462 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Thanks Kenny for this
#PLMW talk on "Mental Health in Grad School and Beyond"#takecareofyourselfhttps://youtu.be/9ooa7G7jRd8Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Question: is `Semigroup.<>` still called mappend?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Niki Vazou proslijedio/la je Tweet
For Halloween, a post on why I'm scared by quantifiers in SMT formulas, and the benefits Liquid/Refinement types can bring to Floyd-Hoare style program logic. https://ucsd-progsys.github.io/liquidhaskell-blog/2019/10/20/why-types.lhs/ … (With thanks to Rustan Leino,
@polikarn, Dan Ricketts,@hillelogram ,@zizzivon)Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The intro to Haskell lecture
@acmupm is almost ready!pic.twitter.com/RJepCoNSb9
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.