Twitter | Pretraživanje | |
Matteo
PhD Student . Formal methods, language-based security and secure compilation. Runner and cyclist.
63
Tweetovi
230
Pratim
36
Osobe koje vas prate
Tweetovi
Matteo proslijedio/la je tweet
Catalin Hritcu 27. sij
Just returned from 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?
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
POPL 24. sij
In case you missed yesterday's business meeting, will be in Copenhagen! We hope to see you there!
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
IEEE EuroS&P 21. sij
Introducing Euro S&P Workshops (Part 1/11): HotSpot: Hot topics in the Principles of Security and Trust
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Daniel Gruss 19. sij
This Friday we again had our bi-yearly operating systems course final event & it was really great. More people than ever (>120) celebrating what they achieved this semester. Everyone & especially the teachers, showing great appreciation for what the students achieved. Back story:
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Alessandro Masala 19. sij
Salvini in collegamento da Giletti mentre cucina la pizza nel forno a legna, pala in mano 🔝✈️ Italia paese meraviglioso. Non abbiamo niente da invidiare ai populismi sudamericani. Ah e in ore di scemenze neanche un contrasto, un “ma”, niente. La pagheremo tutti, sta cosa.
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Andrew Myers 18. sij
ACM is thinking about how citations should appear in computer science papers. Current citations use author-year format. Some find it verbose. Prev poll had vote splitting—let's try ranking options instead: (RT if you care about this issue)
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Andrew Myers 8. sij
C++ is a Swiss army knife of a language. Every few years it sprouts a couple more odd-shaped blades to cut yourself on.
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Said Daoudagh 5. pro
Attending THESES, a new event that brings together (young) researchers from the Department of Computer Science of University of Pisa and Master’s students.
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Stefano Forti 6. pro
How invented computing and it's currently reinventing it ... Super interesting talk on by at
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Stefano Forti 6. pro
Prof. Luccio on the major benefit in a teacher's life: it is working with young people :)
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Cynthia Liem 27. stu
[1/10] Dear colleague who showed this slide to our MSc students. Acceptance rate is a possible quality indicator of a conference, but not the only one. Sure, if we rank papers on quality and cap early, the best ones remain. But in practice, ranking and capping is never trivial.
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
gipi 2. ruj
Diciamo che Casaleggio è assolutamente in buona fede ma che, comunque, domani, un hacker qualsiasi potrà decidere il futuro prossimo di questo paese. Tutto a posto?
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Women@NASA 17. srp
“There was no second chance. We all knew that.” Margaret Hamilton led the team that developed the building blocks of software engineering — a term that she coined herself — for Apollo guidance. Remember the women who made possible:
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Logic & Applications 12. srp
Certified Programming with Dependent Types
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Computer Science 2. srp
'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise' - Edsger Dijkstra
Reply Retweet Označi sa "sviđa mi se"
Matteo 2. srp
Nice to see Secure Compilation becoming "mainstream"!
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Michael Hicks 29. lip
New post on PL Perspectives, the blog, by Jens Palsberg, the SIGPLAN Chair, on the state of SIGPLAN. Also, RSS and email subscriptions now available.
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Computer Science 21. lip
'Beware of bugs in the above code; I have only proved it correct, not tried it.' -- Donald Knuth
Reply Retweet Označi sa "sviđa mi se"
Matteo 4. stu 2018.
Odgovor korisniku/ci @selena245 @UNIOR4NLP
No! La risposta era "pausa" :)
Reply Retweet Označi sa "sviđa mi se"
Matteo proslijedio/la je tweet
Computer Science 12. srp 2018.
A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. - Lamport
Reply Retweet Označi sa "sviđa mi se"