TLA+ Tutorial 2021 at DISC 2021
23:13
Jensen Huang et les GPU - Computerphile
1:09:24
Krzysztof Nowicki: Spanning Trees and Small Cuts in Congested Clique
33:01
The Man Who Almost Broke Math (And Himself...)
30:58
Boboïsation, arrogance des métropoles... Comprendre la basculement culturel avec Christophe Guilluy
1:12:35
OPODIS 2021 - Session 8 - Shared objects and data structures
14:11
[PRL @ AAAI2025] AI Planning: A Primer and Survey (Preliminary Report)
18:44
France has spent decades preparing for Trump | If You're Listening
33:35