Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @chritcu
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @chritcu
-
Teaching F* at a spring school for Italian PhD students in March: http://cs.unibo.it/projects/biss2020 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Why learn functional programming?https://www.youtube.com/watch?v=Fi83KOAqWb4 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The CPP 2020 talk recordings are now also directly linked from our program: https://popl20.sigplan.org/home/CPP-2020#program …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just returned from
@poplconf and the CPP and PriSC talk recordings are already available online. Benjamin Chung and the other volunteers did an amazing job at recording the talks! The main conference coming soon too?https://www.youtube.com/channel/UCwG9512Wm7jSS6Iqshz4Dpg/playlists …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I see that
@arxiv is back to 2001 this year? This and the 1700 character limit on abstracts.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Happy to announce that this spring I'll be joining the new Max Planck Institute for Security and Privacy (https://www.mpi-sp.org ). The institute has more positions to fill though, so if you're looking for an internationally-oriented place with great research conditions: apply!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We've just sent out the CPP 2020 notifications and made the list of accepted papers immediately available. Now time for some rest! https://popl20.sigplan.org/home/CPP-2020#event-overview …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Our framework for relational program logics for arbitrary effects will be presented at POPL'20. We showed it works for state, recursion, IO, nondeterminism, discrete probabilities, exceptions, and some combinations. What other logics can *you* use it for?https://arxiv.org/abs/1907.05244
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
CPP 2020 abstract submission deadline coming up on October 16. Send in your certified programs and proofs! https://popl20.sigplan.org/home/CPP-2020#Call-for-Papers …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The Computer Security Foundations Symposium (
@CSFSymposium ) is changing to 3 deadlines per year, and the next one is this Friday already (4 October). https://ieee-security.org/TC/CSF2020Hvala. 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
-
Last week I taught the first half of the Logical Foundations book to a 50+ crowd of young and curious CS and Math students at the
#mathinfoly2019 summer school in Lyon. The videos will also be available, but for now here are my other materials: https://prosecco.gforge.inria.fr/personal/hritcu/teaching/lyon2019/ …https://twitter.com/mathinfoly/status/1166322689625268224 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Submit by 16 October 2019 to CPP 2020, the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs: https://popl20.sigplan.org/home/CPP-2020#Call-for-Papers …pic.twitter.com/JqlCbjfJIK
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020) is looking for sponsors: https://popl20.sigplan.org/home/CPP-2020#Supporting-CPP …
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
-
And if you want to get their free unlimited hosting plan for open source projects (https://zulipchat.com/for/open-source/ …) send an email to support@zulipchat.com once you created your organization
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
If you're switching from Slack, remember that at this point you can only import your conversation history when creating the Zulip organization, but not laterhttps://zulipchat.com/help/import-from-slack …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Switching my chatting to
@zulip to escape the@SlackHQ trap. Zulip is open source and provides free unlimited hosting plan for open source projects. The conversation model is better, enforcing the use of threads. Already used by@rustlang, Lean, and nowhttps://fstar.zulipchat.comPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My F* course at VTSA ended today. 11 years ago I attended student at VTSA. https://prosecco.gforge.inria.fr/personal/hritcu/teaching/vtsa2019/ …https://twitter.com/SnT_uni_lu/status/1145599894914306049 …
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.
Live: Kick off of SnT