Maurice Herlihy: Distributed Computing through Combinatorial Topology Published 2017-05-18 Download video MP4 360p Recommendations 51:20 Ulrich Bauer: Ripser Efficient computation of Vietoris–Rips persistence barcodes 18:20 Triangle Subdivision - Numberphile 33:41 William Farmer: An Alternative Approach to Formal Mathematics 34:41 Kevin Buzzard: Capturing mathematical equality 58:16 Maurice Herlihy — Blockchains and the future of distributed computing 1:12:50 Maurice Herlihy — Transactional memory 1:57:40 Panel Discussion on Formalization in Mathematics 12:40 Explaining Distributed Systems Like I'm 5 28:51 What's next for NATO? | Inside Story 04:58 7 popular Russian gestures! 34:16 Jaques Carette: Unavoidable Mathematics 40:39 Aarne Ranta: Informath: Informalization of Formal Mathematics 24:31 Transformers Explained From The Atom Up (Many Inaccuracies! Revised Version Is Out Now!) 58:41 The Greatest Maths Mistakes | Matt Parker | Talks at Google 34:32 Mohammad Abdulaziz: Formalising the Theory of Combinatorial Optimisation 24:06 Dennis Müller: Injecting Formal Mathematics into LaTeX 1:12:18 Maurice Herlihy — Data parallelism from a multicore perspective 07:46 MANUEL QAL S1 E26 – It-tigra li gidmet lil Fearne 1:08:20 Special episode: How the Lubavitcher Rebbe CHANGED the WORLD Similar videos 07:47 Topology Meets Asynchronous Computing (ft. Maurice Herlihy) 45:30 Maurice Herlihy: Applying Combinatorial Topology to Byzantine Tasks 07:08 Demo of Visualizer for distributed computing through combinatorial topology 57:48 Topological and combinatorial methods in Theoretical Distributed Computing - Feichtner Kozlov 42:47 נושאים מתקדמים באלגוריתמים מבוזרים - הרצאה 01 1:05:07 Distributed Computing and Combinatorial Topology 56:21 Blockchains and Future of Distributed Computing (Maurice Herlihy) 1:09:33 Maurice Herlihy - Blockchains from a Distributed Computing Perspective 43:05 Dmitry Feichtner-Kozlov: Topology of complexes arising in models for Distributed Computing #1 08:48 Blockchain versus Classical Distributed Programming (ft. Maurice Herlihy) 01:32 Combinatorial topology 04:12 Maurice Herlihy receives 2013 W. Wallace McDowell Award 41:55 Dmitry Feichtner-Kozlov: Topology of complexes arising in models for Distributed Computing #2 50:26 Veronica Lopez - Verifying a distributed system with combinatorial topology | Code Mesh LDN 18 1:19:34 Maurice Herlihy — Blockchain Topics proof-of-work, smart contracts, and cross chain swaps. Part 1. More results