Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @jeremysiek
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @jeremysiek
-
Jeremy Siek 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 -
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 -
Jeremy Siek proslijedio/la je Tweet
Reminder to check out this recap of the POPLmark Retrospective Panel. I talk a lot about how the PL community can learn from this panel, even beyond the proof engineering community!https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek 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 -
Jeremy Siek proslijedio/la je Tweet
I just want the flag to say "I'll write all my code the monomorphizable way but I'll take smaller code at the cost of worse performance so please treat all my generics and impl Traits like they're dyn". ...because
@rustembeddedHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
PLMW is a great opportunity for people getting started (or thinking about getting started) in PL research. Scholarships available -- please apply!https://twitter.com/sigarch/status/1221827958341541888 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
I'm excited to share this post about the POPLmark Retrospective panel! Have thoughts on how to design benchmark suites and evaluate programming languages tools and techniques? I'd love to hear them, either here or as comments on the blog post.https://twitter.com/sigplan/status/1222557468959571970 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
#Verification can transform#softwaredevelopment, but we need ways to do it incrementally.@wise_jenna gave awesome talk on our "Gradual Verification for Recursive Heap Data Structures" today at#POPL2020 Workshop on Gradual Typing#wgt. Read the paper! http://www.cs.cmu.edu/~aldrich/papers/wgt20-gradual-verification.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
How to mix static and dynamic
#programanalysis in a principled way, with fewer false positives? Try our approach to "Gradual Program Analysis", presented by Sam Estep today at#POPL2020 Workshop on Gradual Typing#wgt. Read the paper! http://www.cs.cmu.edu/~aldrich/papers/wgt20-gradual-analysis.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
Answer to What are similarities and differences between C++ and Swift? by Dave Abrahams https://www.quora.com/What-are-similarities-and-differences-between-C-and-Swift/answer/Dave-Abrahams?ch=2&srid=R1zp …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
Generic Programming doesn't mean templates. It means generalizing algorithm implementations iteratively, discovering sets of requirements on their arguments and grouping the requirements into named concepts and hierarchies of concepts. It's about algorithms, not templates.
#cppHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
To make OA universal, we need to be able to roll the cost of OA into conference registration fees. That's difficult at $700/paper even for flagship events. For small conferences/workshops, it's impossible. We need low-cost OA, $60-$100/paper, like LIPIcs/USENIX.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
Join me! ACM members, sign a petition supporting open access, asking
@TheOfficialACM to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!https://www.change.org/p/association-for-computing-machinery-acm-support-open-access …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek 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 -
Jeremy Siek proslijedio/la je Tweet
Scalar replacement is still worth it, even with a very good generational GC. It saves you the ~five instructions of allocations, minor collect runs less often, plus all the loads and stores to the object can be removed too.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
Mypy 0.760 is out! It includes a type signature suggestion feature for tools, and various fixes and improvements, including a fix to a regression in 0.750. https://mypy-lang.blogspot.com/2019/12/mypy-0760-released.html?spref=tw …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
My professor in the
#UofU@UtahSoC School of Computing was named an 2020 IEEE Fellow & recognized her for contributions to compiler optimization and performance tuning. Prof. Hall is my PhD thesis co-Advisor and its has always been a great honor to be her student#womenintechpic.twitter.com/v0NI3ukAwI
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
Finally, we've gotten the ICFP'19 conference videos up; conference talks can be found at https://www.youtube.com/playlist?list=PLyrlk8Xaylp4EuohGj90SbJOcmEwrS-ZO … and PLMW athttps://www.youtube.com/playlist?list=PLyrlk8Xaylp7OOEocOBfbS3juBzWZkpgA …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
The Program Analysis team at Apple is hiring static analysis engineers! Excited about making static analysis more effective and easier to use? Come join us to help build bug-finding tools used by millions of developers! https://jobs.apple.com/en-us/details/200022405/static-analysis-engineer …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jeremy Siek proslijedio/la je Tweet
I finally got around to writing down some of those radical ideas for academic peer review. What do you think? Should we blow it all up and start over?https://medium.com/bits-and-behavior/a-modern-vision-for-peer-review-d5f73f0fae07 …
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.