Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @JAldrichCMU
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @JAldrichCMU
-
Jonathan Aldrich proslijedio/la je Tweet
Heya
Want to get research experience at CMU?
If you're interested in PL, distributed systems, software engineering, etc we have a program that pays you to come learn to do research with us over the summer!
https://www.cmu.edu/scs/isr/reuse/
Happy to answer Qs about it!
RTs welcome
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jonathan Aldrich proslijedio/la je Tweet
And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.https://twitter.com/mariagoneviral/status/1222166858859675649 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Does anyone know of a screen reader that can handle inference rules (e.g. operational semantics, typing)? Or a way to write rules so that typical screen readers can process them?
#types#accessibilityHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tried to pass a multi-line listing to a command in LaTeX. Result: inscrutable error. Stack overflow says "impossible." Is it too much to expect a language to provide uniform support for abstraction?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dinner and
#jazz with current and former students.#POPL2020 was fun in#NewOrleans!pic.twitter.com/0ntrKm9zNj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 -
#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 -
Jonathan Aldrich proslijedio/la je Tweet
We're at 2600 signatures to send the message that taxpayers deserve access to the research they fund!! This one policy can save lives *and* unlock American innovation. Please keep spreading this to your networks!https://twitter.com/mattmight/status/1219846886984749057 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dependent Object Types is foundation for
#Scala +#Wyvern, but undecidable. Our#DecidableDOT subset preserves major use cases! Julian MacKay#POPL2020 talk, Decidable Subtyping for Path Dependent Types, today@14:21, room IDF II. Read at http://www.cs.cmu.edu/~aldrich/papers/popl20-decidable-DOT.pdf …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
New proposal for measuring of age of a field: minimum font size in paper formats. PL is older than graphics!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jonathan Aldrich proslijedio/la je Tweet
Do you wanna know how it feels to be Middle Eastern? 1st you totally panick about the high possibility of bombs being dropped on your friends & fam. Then you hear two of your friends that just got married last week were on the plane that crashed
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
That's why I encourage ACM members to keep signing the petition to provide universal open access to ACM's digital library, with any charges based only on publication costs (and I trust we can get these close to the LIPIcs/USENIX range).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 -
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 -
Thank you
@ACM_president and@TheOfficialACM for your statement expressing regret for the fallout of your signing the publisher's letter. But "sustainable" OA means a sustainable price. $700/paper isn't. There remain major issues with ACM's OA plans.https://www.acm.org/about-acm/statement-regarding-open-access …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
After only 2 days, we have 694 members demanding
@TheOfficialACM withdraw its signature on anti-Open Access letter, and make OA affordable. ACM members, help us get to 1000, which will put this to a vote of all ACM membership!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 -
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 -
Jonathan Aldrich proslijedio/la je Tweet
Today,
@theintercept published an exposé by Rodrigo Ochigame (a PhD candidate at MIT) on the invention of "ethical AI" by big tech. https://theintercept.com/2019/12/20/mit-ethical-ai-artificial-intelligence/ … Here's why I think it's important to read this piece and share it widely. 1/Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Congratulations to my student,
@daryamelicher on her successful thesis defense today. Module systems, types, user-defined/abstract effects, object capabilities, and secure resource use. Great work that will have lasting influence!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Come do a
#PhD at CMU and make a impact on the world of#SoftwareEngineering!https://twitter.com/isrcmu/status/1183729334600847360 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jonathan Aldrich proslijedio/la je Tweet
A decade ago,
#bugs were an annoyance. Now they are a catastrophe waiting to happen.#SoftwareEngineering’s Eunsuk Kang is perfecting modeling techniques to ensure the systems that can’t fail won’t fail. Learn more: https://youtu.be/tfUfWPVetEI pic.twitter.com/buusXhz3ke
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.