Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @mttbsu
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @mttbsu
-
Matteo proslijedio/la je Tweet
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 -
Matteo proslijedio/la je Tweet
In case you missed yesterday's business meeting,
#POPL2021 will be in Copenhagen! https://popl21.sigplan.org/track/POPL-2021-research-papers … We hope to see you there!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
Introducing Euro S&P Workshops (Part 1/11): HotSpot: Hot topics in the Principles of Security and Trust
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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:
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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: https://civs.cs.cornell.edu/cgi-bin/vote.pl?id=E_4b2cb504c8560f2c … (RT if you care about this issue)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
C++ is a Swiss army knife of a language. Every few years it sprouts a couple more odd-shaped blades to cut yourself on.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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.http://theses.di.unipi.it/Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
How
#DNA invented computing and it's currently reinventing it ... Super interesting talk on#molecularcomputing by#lucacardelli at#phdevent2@DI_Unipisa@Unipisapic.twitter.com/D2koJ8ogXh – mjesto: Dipartimento di Informatica
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
Prof. Luccio on the major benefit in a teacher's life: it is working with young people :)
#phdevent2#unipi@DI_Unipisa#phdpic.twitter.com/8zNHXzSXb8 – mjesto: Dipartimento di Informatica
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
[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
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
“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: https://go.nasa.gov/2jRonUI pic.twitter.com/nJPRbhi1Jg
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
'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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nice to see Secure Compilation becoming "mainstream"!https://twitter.com/michael_w_hicks/status/1145767579371413505 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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.https://blog.sigplan.org/Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
'Beware of bugs in the above code; I have only proved it correct, not tried it.' -- Donald Knuth
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Matteo proslijedio/la je Tweet
Java is Pass-by-Value http://javadude.com/articles/passbyvalue.htm …
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.