3 ms·
I cant recall if it was released this year but Lamport's Intro to TLA+ (uploaded on youtube) stands out for me.
by joshxyz 6y ago
I cant recall if it was released this year but Lamport's Intro to TLA+ (uploaded on youtube) stands out for me.
- baby 6y agoDefinitely not from this year, also not really a talk.
- simonebrunozzi 6y agoI met him in person in 2019 in Palo Alto, as a consequence of me being a big fan of his work in the field of Computer Science. He seems to be a really nice and smart individual.