Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @tiarkrompf
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @tiarkrompf
-
Tiark Rompf 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 -
Tiark Rompf proslijedio/la je Tweet
New paper draft: Toward a Mechanized Compendium of Gradual Typing http://arxiv.org/abs/2001.11560 in which I use Agda and lots of proof reuse to get 9 proofs of type safety for the price of 2.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
We're also looking for PL people in Paris! Interested in HPC, compilation for ML, ML for compilers. Google, not DeepMind ;-)https://twitter.com/monsieurv/status/1223563730585313280 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
PL, compilers, systems jobs at DeepMindhttps://twitter.com/dominikgrewe/status/1221749870895210496 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
Second round of grants in the intersection of PL∩ML. All my academic followers and their recursive academic followers ... we are looking forward you you to apply!https://research.fb.com/blog/2020/01/new-research-award-opportunities-announced-popl-2020/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
open question for compiler people: what should be taught in a modern undergrad compiler class? I'm revamping / modernizing Utah's version of this and would appreciate feedback
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
The program for
#MLSys20 (formerly SysML) is out. Looks like a great mix of papers at the intersection of machine learning and computer systems (some ML for computer systems, some on computer systems for ML).https://twitter.com/atalwalkar/status/1220060498672214018 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
Resharing this in case you have not seen it:https://www.change.org/p/association-for-computing-machinery-acm-support-open-access …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
You know about functional. You know about dysfunctional. Time to learn about DE-functional!
@jimmykoppel tells us about "Defunctionalization: Everybody Does It, Nobody Talks About It" in PL Perspectives. https://blog.sigplan.org/2019/12/30/defunctionalization-everybody-does-it-nobody-talks-about-it/ …pic.twitter.com/s7RdAjtELm
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today I found out I'm so freaking strong, my bicep can rip its tendon right off the bone
#idiotbrag#donotrecommendpic.twitter.com/JIBXCvCKZp
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
#HappyHolidays from everyone here at@SambaNovaAI!
#holidayspic.twitter.com/ZaH9guDbuz
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
Sham on
@TheOfficialACM for signing this regressive letter.https://twitter.com/syardi/status/1207660246161715201 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
And all this time I thought
@TheOfficialACM is an *international* organization representing computer science professionals *across the world*Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Holiday dinner with the group. Who wants to join this awesome team? Get your PhD application submitted by Friday (Dec. 20th): https://www.cs.purdue.edu/graduate/index.html …pic.twitter.com/xIexHjOs9I
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
Exciting times for
#compilers and#programminglanguages.https://twitter.com/yahave/status/1206916807329767429 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
Congratulations to Prof. Markus Püschel for having been named
#IEEE Fellow 2020! http://bit.ly/2RXqDrS Prof. Püschel is being recognised for contributions to the implementation of#signalprocessing techniques in computer science.@IEEEorgpic.twitter.com/Ww0EePFLiq
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Flare can provide an end-to-end native compiled data path across relational and ML workloads. As part of this work, Greg's research has produced new techniques for on-stack replacement and static analysis that are much more broadly applicable than originally envisioned.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
His dissertation presents Flare
@flaredata, an accelerator for Spark, Flink and similar systems, based on novel insights why query compilation and codegen techniques in these systems have not been as effective as they could be.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Congrats to freshly-minted PhD Grégory Essertel! He not only did a truly excellent job on his own research, but had a tremendous positive impact on everyone in the group. Thanks for all the great work
@GregSrtl!https://twitter.com/GregSrtl/status/1206404693737590784 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tiark Rompf proslijedio/la je Tweet
2019 Start-Up to Watch award winner, SambaNova Systems! |
@GlobalSemi@SambaNovaAI#AI#startups#Siliconpic.twitter.com/l89eVfeWRs
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.