Presentation by Jeremy Avigad at the opening of the Hoskinson Center at Carnegie Mellon University

Sdílet
Vložit
  • čas přidán 8. 09. 2024

Komentáře • 33

Další v pořadí
Automatické přehrávání
Charles Hoskinson at the opening of the Hoskinson Center at Carnegie Mellon University14:06Charles Hoskinson at the opening of the Hoskinson Center at Carnegie Mellon University
Charles Hoskinson at the opening of the Hoskinson Center at Carnegie Mellon UniversityInput Output
zhlédnutí 63K
Is Mathematics Obsolete with Jeremy Avigad1:25:22Is Mathematics Obsolete with Jeremy Avigad
Is Mathematics Obsolete with Jeremy AvigadSanta Fe Institute
zhlédnutí 7K
Herb Simon : Earthware Symposium : October 2000 : Carnegie Mellon University33:25Herb Simon : Earthware Symposium : October 2000 : Carnegie Mellon University
Herb Simon : Earthware Symposium : October 2000 : Carnegie Mellon UniversityCMU Robotics Institute
zhlédnutí 12K
Секрет летающего стула! #shorts00:14Секрет летающего стула! #shorts
Секрет летающего стула! #shortsРоман Magic
zhlédnutí 21M
Jak Žiješ? Robert Rosenberg00:32Jak Žiješ? Robert Rosenberg
Jak Žiješ? Robert RosenbergREFRESHER CZ
zhlédnutí 70K
Táta ČR na dovolené u moře 🏝️ #selixinho00:25Táta ČR na dovolené u moře 🏝️ #selixinho
Táta ČR na dovolené u moře 🏝️ #selixinhoSelixinho
zhlédnutí 530K
Něco na posilnění! 😅00:35Něco na posilnění! 😅
Něco na posilnění! 😅prima+
zhlédnutí 179K
Disruption, Democracy and the Global Order - Yuval Noah Harari at the University of Cambridge1:22:37Disruption, Democracy and the Global Order – Yuval Noah Harari at the University of Cambridge
Disruption, Democracy and the Global Order - Yuval Noah Harari at the University of CambridgeCSER Cambridge
zhlédnutí 135K
CICM2021: The Design of Mathematical Language - Jeremy Avigad1:07:26CICM2021: The Design of Mathematical Language - Jeremy Avigad
CICM2021: The Design of Mathematical Language - Jeremy Avigadleanprover community
zhlédnutí 2K
Scott Berkun Lecture: The Myths of Innovation51:10Scott Berkun Lecture: The Myths of Innovation
Scott Berkun Lecture: The Myths of InnovationCarnegie Mellon University
zhlédnutí 104K
The Innovators Forum: Vinod Khosla1:05:24The Innovators Forum: Vinod Khosla
The Innovators Forum: Vinod KhoslaCarnegie Mellon University
zhlédnutí 10K
Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"1:01:15Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"
Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"Topos Institute
zhlédnutí 2,5K
Input | Output CEO Charles Hoskinson Delivers the Opening Keynote at Rare Evo 202425:39Input | Output CEO Charles Hoskinson Delivers the Opening Keynote at Rare Evo 2024
Input | Output CEO Charles Hoskinson Delivers the Opening Keynote at Rare Evo 2024Input Output
zhlédnutí 1,7K
Charles Hoskinson keynote - Cardano 2nd Anniversary meetup44:54Charles Hoskinson keynote - Cardano 2nd Anniversary meetup
Charles Hoskinson keynote - Cardano 2nd Anniversary meetupInput Output
zhlédnutí 12K
General Electric CEO Jeff Immelt1:03:36General Electric CEO Jeff Immelt
General Electric CEO Jeff ImmeltCarnegie Mellon University
zhlédnutí 13K
The Future of Mathematics?1:14:48The Future of Mathematics?
The Future of Mathematics?Microsoft Research
zhlédnutí 107K
POV: Já VS budík, při prvním školním dnu 🥹 #fyp #school #marcel00:16POV: Já VS budík, při prvním školním dnu 🥹 #fyp #school #marcel
POV: Já VS budík, při prvním školním dnu 🥹 #fyp #school #marcelMARCEL
zhlédnutí 215K
Секрет летающего стула! #shorts00:14Секрет летающего стула! #shorts
Секрет летающего стула! #shortsРоман Magic
zhlédnutí 21M
Electric Flying Bird with Hanging Wire Automatic for Ceiling Parrot00:15Electric Flying Bird with Hanging Wire Automatic for Ceiling Parrot
Electric Flying Bird with Hanging Wire Automatic for Ceiling ParrotRuhul Shorts
zhlédnutí 31M
This sign works better than a STOP sign ​⁠@AustinMollno1 ​⁠@MillerEva #danilisboom00:19This sign works better than a STOP sign ​⁠@AustinMollno1 ​⁠@MillerEva #danilisboom
This sign works better than a STOP sign ​⁠@AustinMollno1 ​⁠@MillerEva #danilisboomDANILIS BOOM
zhlédnutí 4,9M
No loopholes!00:58No loopholes!
No loopholes!Chris and Jack
zhlédnutí 10M
Pouštíme si TRAPNÉ PÍSNIČKY na VEŘEJNÝCH MÍSTECH 201:01Pouštíme si TRAPNÉ PÍSNIČKY na VEŘEJNÝCH MÍSTECH 2
Pouštíme si TRAPNÉ PÍSNIČKY na VEŘEJNÝCH MÍSTECH 2MaTTem
zhlédnutí 774K
Jak Žiješ? Robert Rosenberg00:32Jak Žiješ? Robert Rosenberg
Jak Žiješ? Robert RosenbergREFRESHER CZ
zhlédnutí 70K
Incredible Dog Rescues Kittens from Bus - Inspiring Story #shorts00:18Incredible Dog Rescues Kittens from Bus - Inspiring Story #shorts
Incredible Dog Rescues Kittens from Bus - Inspiring Story #shortsFabiosa Best Lifehacks
zhlédnutí 37M