Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @davidjustodavid
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @davidjustodavid
-
David Justo proslijedio/la je Tweet
Dipping your toe in the water of programming languages research and want to learn more? Already doing PL research and want to learn to manage your academic career? The Programming Language Mentoring Workshop for students will be held on June 16th, 2020, right before
@PLDI 2020.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo proslijedio/la je Tweet
Congrats to CSE PhD student
@arimirian, who kindly took over this feed for the#CSEOpenHouse and CSE Undergraduate Affairs Manager Vernoica Abreu. They will be honored with Inclusive Excellence Awards today at 2 pm in the Price Center Ballroom West.pic.twitter.com/f9E2T8kPTg
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo proslijedio/la je Tweet
NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Completely in *shock* to see senators argue that *abuse of power* is not an impeachable offense. The mental gymnastics are astounding
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo proslijedio/la je Tweet
Our team at
@DeepMind is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure! https://deepmind.com/careers/jobs/1796254 … https://deepmind.com/careers/jobs/470166 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm trying to draw some good-looking diagrams for a paper and I'm struggling to find the right tool for the job. Any suggestions? I'm looking to explain how different parts of a system interact with one another in a 'performance-first' kind of paper. Thoughts?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Thankful for this week at POPL, for the new and old friends, for the guy who explained session types to me, and thankful to everyone who helped organize the event. 'Till next time!
pic.twitter.com/3uDmWWrkjs
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
-
POPL frens, if you like Haskell, synthesis, and types, then you'll surely enjoy
@AaronGuo069 's talk today at 11:45. Come and say hi :) . It's work with@LambdaLinguist ,@jiaxiao_zhou, Ziteng Wang,@RanjitJhala and@polikarn.@HilaCodes also recently joined the team :)Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo 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 -
David Justo proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
overheard at POPL: "Covfefe Considered Harmful"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo proslijedio/la je Tweet
Are you an undergrad or graduate student interested in programming languages? Then please consider applying to be a student volunteer at
#PLDI2020! Deadline 28 February. https://pldi20.sigplan.org/track/pldi-2020-Student-Volunteering …pic.twitter.com/5WAnMQRCUIHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo proslijedio/la je Tweet
Whether or not you'll be joining us in New Orleans, you may find the
#POPL2020 Slack useful. https://join.slack.com/t/popl2020/shared_invite/enQtODg5NDc0OTQxMDQxLTI1MWRlNGNjNmQ4YjJmYWQ2NmJiM2I0ODRkYWZmZmMxZjI2YTQ4NzhlMGVlY2IyMzEyOTM0M2MwMWMxMmU4NzU …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
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
segfault-driven development
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
JS Twitter, what's your go-to linear algebra library for JS? Trying to allocate some large matrices for an experiment and I've been waiting forever. Send halp
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I was wondering why my "B" key fell off the keyboard...it was tmux
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
David Justo proslijedio/la je Tweet
Grad students sometimes have fun. Unsolved Problem on My Mind, with apologies to Ariana Grande and Pentatonixhttps://www.youtube.com/watch?v=gts5bJlh1Lw …
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.