Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @michael_w_hicks
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @michael_w_hicks
-
This is not just some prose shallowly recounting the panel or video.
@TaliaRinger has thought deeply about the past 15 years. Very insightful.https://twitter.com/taliaringer/status/1223782253064421376 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Michael Hicks proslijedio/la je Tweet
We made the list! TWICE!!https://twitter.com/copyconstruct/status/1221527703389528064 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Excited, and a little nervous: Playing a 4-v-4 Ultimate tourney this weekend. Hoping to play well, have fun, and not get injured (in reverse order)!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
And:
@fancytypes and@djg98115 helped organize the event.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Panelists: Brigitte Pientka, Scott Owens, Xavier Leroy,
@rfindler, Peter Sewell, and Benjamin Pierce. (I was the moderator.)Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back.
@TaliaRinger considers where we are now while recapping the distinguished@poplconf panel she organized to discuss POPLmark's impact.https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Superposition IV
@Superpositionfc, an established, all-female hackathon in the Bay Area, is happening at the end of February. Interested? The application is on-line:http://bit.ly/sp4_appHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
MC2 is hiring! Join a fantastic group of faculty in CS, ECE, and InfoSci doing work across the computer security spectrum. Open positions at all levels.
@CollegeParkMC2https://ejobs.umd.edu/postings/76588Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Michael Hicks proslijedio/la je Tweet
Here’s what you need to know about the new travel authorization.https://www.afar.com/magazine/us-citizens-will-need-a-visa-to-travel-to-europe-starting-in-2021?utm_medium=social&utm_source=sshare&utm_campaign=tw_fb&utm_content=1579185313&utm_medium=social&utm_source=facebook …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This POPL was both fun and highly productive for me. Thanks for the great conversations, interesting talks, and helpful ideas and advice!https://twitter.com/poplconf/status/1221278982282326017 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Michael Hicks proslijedio/la je Tweet
I think the fact that in France, it's OK to do applied work as long as it is theoretically interesting, and in the US, it's OK to do theory as long as it has practical applications, kind of captures the difference between "Euro PL" and "American PL"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Stack overflow muses about why
@rustlang is it’s most loved language, four years running.https://stackoverflow.blog/2020/01/20/what-is-rust-and-why-is-it-so-popular/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Great talk at
@poplconf by@daviddarais about our work on probabilistically oblivious computation! https://dl.acm.org/doi/pdf/10.1145/3371118?download=true …pic.twitter.com/TeQ3IiY2cW
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
“Attending”
@poplconf — ain’t live-streaming great? https://popl20.sigplan.org/attending/Online+Participation …pic.twitter.com/82fP3JLzYp
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
As a general trend, I find that panels are often disappointing. This one was different IMO. Talia made sure we were well prepared and the panelists and audience members were excellent.https://twitter.com/TaliaRinger/status/1219821664596365312 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Is programming "safe" from AI? No, and yes, says
@jer_gib on today's PL Perspectives post.https://twitter.com/sigplan/status/1219266108831813632 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today: reflecting on the 15 years since the POPLmark proof mechanization challenge was thrown down.https://twitter.com/TaliaRinger/status/1219127165083619329 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Michael Hicks proslijedio/la je Tweet
PLanQC was a huge success! Thanks to everyone who organized, refereed, presented and attended!pic.twitter.com/5ze2iZZz4k
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Really happy with how PLanQC came together. Have a look at the talks and see for yourself.https://twitter.com/planqc2020/status/1219093441126289409 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Michael Hicks proslijedio/la je Tweet
I need more votes so we can convince ACM to make a change!https://twitter.com/AndrewCMyers/status/1218356199613255687 …
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.