Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @polikarn
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @polikarn
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Nadia Polikarpova proslijedio/la je Tweet
We still have open positions, let me know if you are looking for an internship in Program Synthesis this summer! Preferred: experience with deep learning, NLP, and search. Current (or accepted) PhD enrollment required.https://twitter.com/Skiminok/status/1199452372201697280 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
And congrats to
@AaronGuo069 on his first conference talk! He did an outstanding job! If you're curious, our paper is here: https://cseweb.ucsd.edu/~npolikarpova/publications/popl20.pdf …pic.twitter.com/IhhQueIIt2
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My crew
@poplconf 2020:@AaronGuo069,@LambdaLinguist,@davidjustodavid, Ziteng, Shivani +@HilaCodes and Darya in the front. So excited to have the opportunity to bring fresh brilliant minds into the community!pic.twitter.com/oxcs6wdG93
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
Then at 11:45, Zheng Guo who should get on twitter will present the very cool synthesis project I started working on since joining UCSD with
@LambdaLinguist,@davidjustodavid,@RanjitJhala, and@polikarn https://popl20.sigplan.org/details/POPL-2020-Research-Papers/54/Program-Synthesis-by-Type-Guided-Abstraction-Refinement …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
it's hard to properly express right now, but the women@popl dinner was incredible, inspiring, and so encouraging. huge thanks to Kathleen Fisher for her wonderful talk, Anabel for organizing, and all the wonderful women in PL for being a constant source of support & inspiration!!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
Funny that when you type “man” into your terminal, you get things explained to you Really makes u think


Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
One of my 2020 resolutions (along with drinking water throughout the day) was to finally start posting in our
@AkitaSoftware blog. First one here for everybody wondering what it is we've been up to!https://twitter.com/AkitaSoftware/status/1217492833403166720 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
During these nightmarish days,
@github decides to fix everything by closing my account for being Iranian. Honestly it almost made me laugh. This will be great for my undergrad class, where students have to deliver everything on github.pic.twitter.com/vnkgPpkpXY
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Went on a coding spree this winter break and rediscovered this simple truth: FRESH VARIABLES ARE THE ROOT OF ALL EVIL in programming languages
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
Our paper on fast and robust synthesis of imperative programs with Read-Only Borrows, with
@andre_costea,@zhucchina and@polikarn, will appear at ESOP'20! Check our new shiny framework ROBoSuSLik: https://github.com/TyGuS/suslik/tree/borrows … Draft paper is available online: https://ilyasergey.net/papers/robosuslik-draft.pdf …pic.twitter.com/6A4JXWiwgj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I definitely have experienced this with my collaborators, but collaborators change and they are often on the other side of the world. A band would be a whole new level!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I just watched "Bohemian Rhapsody", and one moment resonated with me: when Freddy reflects on his solo experience and explains that the music was crap because the musicians did exactly what he asked them to. And it's the disagreements in the band that make Queen's music great.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Why don't we have research bands? I want to be in a research band. We would drop singles (POPL/PLDI papers), B-sides (appendices with meta-theory), and albums (long series of follow-up work, only for devoted fans)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ugh, I realize now I should have posted both links in one tweet. So let me leave the first one here:http://youtu.be/uMzPkQLqMYE
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It's that time of the year again, when UCSD CSE faculty go crazy for a week :)
#holidayparty2019 https://youtu.be/uMzPkQLqMYE https://youtu.be/1NndmBZ_WRAPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Better late than never: so excited to have
@HilaCodes join my group as a postdoc! Can't wait for her to teach me how to make program synthesis work for actual, live humans!https://twitter.com/HilaCodes/status/1186695946320502784 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
We are recruiting heroes to participate in a study of the development processes of proof engineers in Coq. This study will help inform the design of future proof automation tooling. More information is in the video description. Please spread the word!https://www.youtube.com/watch?v=JzoRNwBPyGo …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
You know you're reviewing for a European FM conference when a third of all papers are about train scheduling
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nadia Polikarpova proslijedio/la je Tweet
Academics everywhere, let’s try to remember that your worth as a person doesn’t depend on your success in research.
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.