1:13:35

Markus Kuppe — Workshop: TLA+ in action (Part 1)

1:17:00

Bernhard Haeupler: Neurodiversity & Universally-Optimal Distributed Optimization

39:03

SREcon20 Americas - Weeks of Debugging Can Save You Hours of TLA+

59:45

OPODIS 2021 - Keynote by Nathalie Bertrand

12:21

The ridiculous real story behind the tariff plan that turned Donald Trump into a global disaster

1:28:30

TLA+

2:51:43

3-HOUR STUDY WITH ME | Hyper Efficient, Doctor, Focus Music, Deep Work, Pomodoro 50-10

3:58:39

Eliminates All Negative Energy, Tibetan Healing Flute, Increases Mental Strength