1. 3

Assolutamente brillante, secondo me. Riassumero’ brevemente, ma una parte e’ gia’ nella descrizione del video. E’ un incontro di Papers we love a Londra se non sbaglio, 2016

Dopo l’apertura di Cockcroft sul calcolo Communicating Sequential Process (Hoare) e le sue evoluzioni piu’ recenti, Borril presenta in modo articolato il paper storico di Leslie Lamport sul tempo e i clocks nelle comunicazioni distribuite. Da li’ prima individua in modo chiaro le intuizioni geniali del paper e come hanno influenzato la storia di questo campo, fino alle evoluzioni piu’ moderne dell’approccio (paxos, vector clocks, …). Poi si sofferma sull’intuizione meno banale che il tempo e il concetto di simultaneita’ e causalita’ sono chiave di tutto il ragionamento, e procede ad illustrare come il concetto di tempo (fisico e informatico) sia evoluto negli anni recenti, rispetto al modello di Einstein e Minkowski, fino alle attuali ricerche che potrebbero cambiare completamente la nostra comprensione di tale concetto. Un meraviglioso affresco della tematica, che fornisce anche diversi spunti di indagine dove andarsi a cercare ulteriori informazioni a riguardo (p.s. alcuni link sono nella pagina youtube anche)

  1.  

  2. 1

    vedo di guardarmelo stasera