|
Matteo
@
mttbsu
Italy
|
|
PhD Student @Unipisa. 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
@chritcu
|
27. sij |
|
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? youtube.com/channel/UCwG95…
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
POPL
@poplconf
|
24. sij |
|
In case you missed yesterday's business meeting, #POPL2021 will be in Copenhagen!
popl21.sigplan.org/track/POPL-202…
We hope to see you there!
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
IEEE EuroS&P
@IEEEEUROSP
|
21. sij |
|
Introducing Euro S&P Workshops (Part 1/11): HotSpot: Hot topics in the Principles of Security and Trust
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Daniel Gruss
@lavados
|
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:
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Alessandro Masala
@ShooterHatesYou
|
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.
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Andrew Myers
@AndrewCMyers
|
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: civs.cs.cornell.edu/cgi-bin/vote.p…
(RT if you care about this issue)
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Andrew Myers
@AndrewCMyers
|
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.
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Said Daoudagh
@SaidDaoudagh
|
5. pro |
|
Attending THESES, a new event that brings together (young) researchers from the Department of Computer Science @DI_Unipisa of University of Pisa @Unipisa and Master’s students. theses.di.unipi.it
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Stefano Forti
@stefano_forti
|
6. pro |
|
How #DNA invented computing and it's currently reinventing it ... Super interesting talk on #molecularcomputing by #lucacardelli at #phdevent2 @DI_Unipisa @Unipisa pic.twitter.com/D2koJ8ogXh
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Stefano Forti
@stefano_forti
|
6. pro |
|
Prof. Luccio on the major benefit in a teacher's life: it is working with young people :)
#phdevent2 #unipi @DI_Unipisa #phd pic.twitter.com/8zNHXzSXb8
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Cynthia Liem
@informusiccs
|
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. pic.twitter.com/oXID1dTDgm
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
gipi
@giannigipi
|
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?
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Women@NASA
@WomenNASA
|
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 #Apollo50th possible: go.nasa.gov/2jRonUI pic.twitter.com/nJPRbhi1Jg
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Logic & Applications
@LogicPractice
|
12. srp |
|
Certified Programming with Dependent Types adam.chlipala.net/cpdt/
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Computer Science
@CompSciFact
|
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
|
||
|
|
||
|
Matteo
@mttbsu
|
2. srp |
|
Nice to see Secure Compilation becoming "mainstream"! twitter.com/michael_w_hick…
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Michael Hicks
@michael_w_hicks
|
29. lip |
|
New post on PL Perspectives, the @sigplan blog, by Jens Palsberg, the SIGPLAN Chair, on the state of SIGPLAN. Also, RSS and email subscriptions now available. blog.sigplan.org
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Computer Science
@CompSciFact
|
21. lip |
|
'Beware of bugs in the above code; I have only proved it correct, not tried it.' -- Donald Knuth
|
||
|
|
||
|
Matteo
@mttbsu
|
4. stu 2018. |
|
No! La risposta era "pausa" :)
|
||
|
|
||
| Matteo proslijedio/la je tweet | ||
|
Computer Science
@CompSciFact
|
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
|
||
|
|
||