Flash Forward is a show about possible (and not so possible) future scenarios. What would the warranty on a sex robot look like? How would diplomacy work if we couldn’t lie? Could there ever be a fecal transplant black market? (Complicated, it wouldn’t, and yes, respectively, in case you’re curious.) Hosted and produced by award winning science journalist Rose Eveleth, each episode combines audio drama and journalism to go deep on potential tomorrows, and uncovers what those futures might re ...
…
continue reading
Content provided by Association for Computing Machinery (ACM). All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Association for Computing Machinery (ACM) or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Similar to ACM ByteCast
We humans could have a bright future ahead of us that lasts billions of years. But we have to survive the next 200 years first. Join Josh Clark of Stuff You Should Know for a 10-episode deep dive that explores the future of humanity and finds dangers we have never encountered before lurking just ahead. And if we humans are alone in the universe, if we don't survive intelligent life dies out with us too.
…
continue reading
Come dive into one of the curiously delightful conversations overheard at National Geographic’s headquarters, as we follow explorers, photographers, and scientists to the edges of our big, weird, beautiful world. Hosted by Peter Gwin and Amy Briggs.
…
continue reading
The traditional enterprise go-to-market motion is undergoing a transformational shift. B2B buyers are more sophisticated than ever, and operational efficiency is a key focus for every organization. One key function possesses a unique opportunity to shape the future of revenue generation: enablement. On this podcast, we’re bringing you the secrets, strategies, and tactics that successful enablement leaders are using to drive meaningful impact. The Enablement Edge is the go-to resource for sal ...
…
continue reading
Whether the topic is popcorn or particle physics, you can count on BrainStuff to explore -- and explain -- the everyday science in the world around us.
…
continue reading
This Anthro Life is the premiere go-to Anthropology Podcast that fuses human insights with cultural storytelling. We equip you with a deep understanding of the human experience to revolutionize your decision-making strategies and social impact. Head over to https://www.thisanthrolife.org to learn more. Spearheaded by acclaimed Anthropologist Dr. Adam Gamwell, This Anthro Life equips leaders, individuals, and organizations to shape a more compassionate future. We aim to broaden perspectives a ...
…
continue reading
The news you know, the science you don’t. Unexpected Elements looks beyond everyday narratives to discover a goldmine of scientific stories and connections from around the globe. From Afronauts, to why we argue, to a deep dive on animal lifespans: see the world in a new way.
…
continue reading
PT Inquest is an online journal club. Hosted by Jason Tuori, Megan Graham, and Chris Juneau, the show looks at an article every week and discusses how it applies to current physical therapy practice.
…
continue reading
It didn’t all change in March 2020. Not really. The UK high street has been in the throes of a gradual revolution for decades. From the rise of ecommerce, to the birth of mobile, social commerce, and a growing emphasis on experience, change has been underway for a while. In fact for many, the pandemic has acted as a wake-up call. Digital transformation was no longer a ‘nice to have’ but a matter of survival. Necessity sparked innovation and customers are enjoying more flexibility and conveni ...
…
continue reading
We take your questions about life, Earth and the universe to researchers hunting for answers at the frontiers of knowledge.
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
Leslie Lamport - Episode 16 (Special Episode in Partnership with the Hanselminutes Podcast)
Manage episode 293541054 series 2667187
Content provided by Association for Computing Machinery (ACM). All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Association for Computing Machinery (ACM) or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
In this episode of ACM ByteCast, our special guest host Scott Hanselman (of The Hanselminutes Podcast) welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.
Leslie shares his journey into computing, which started out as something he only did in his spare time as a mathematician. Scott and Leslie discuss the differences and similarities between computer science and software engineering, the math involved in Leslie’s high-level temporal logic of actions (TLA), which can help solve the famous Byzantine Generals Problem, and the algorithms Leslie himself has created. He also reflects on how the building of distributed systems has changes since the 60s and 70s.
Subscribe to the Hanselminutes Podcast: https://www.hanselminutes.com/.
Links:
55 episodes
Share
Manage episode 293541054 series 2667187
Content provided by Association for Computing Machinery (ACM). All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Association for Computing Machinery (ACM) or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
In this episode of ACM ByteCast, our special guest host Scott Hanselman (of The Hanselminutes Podcast) welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.
Leslie shares his journey into computing, which started out as something he only did in his spare time as a mathematician. Scott and Leslie discuss the differences and similarities between computer science and software engineering, the math involved in Leslie’s high-level temporal logic of actions (TLA), which can help solve the famous Byzantine Generals Problem, and the algorithms Leslie himself has created. He also reflects on how the building of distributed systems has changes since the 60s and 70s.
Subscribe to the Hanselminutes Podcast: https://www.hanselminutes.com/.
Links:
55 episodes
All episodes
×
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Similar to ACM ByteCast
Flash Forward is a show about possible (and not so possible) future scenarios. What would the warranty on a sex robot look like? How would diplomacy work if we couldn’t lie? Could there ever be a fecal transplant black market? (Complicated, it wouldn’t, and yes, respectively, in case you’re curious.) Hosted and produced by award winning science journalist Rose Eveleth, each episode combines audio drama and journalism to go deep on potential tomorrows, and uncovers what those futures might re ...
…
continue reading
We humans could have a bright future ahead of us that lasts billions of years. But we have to survive the next 200 years first. Join Josh Clark of Stuff You Should Know for a 10-episode deep dive that explores the future of humanity and finds dangers we have never encountered before lurking just ahead. And if we humans are alone in the universe, if we don't survive intelligent life dies out with us too.
…
continue reading
Come dive into one of the curiously delightful conversations overheard at National Geographic’s headquarters, as we follow explorers, photographers, and scientists to the edges of our big, weird, beautiful world. Hosted by Peter Gwin and Amy Briggs.
…
continue reading
The traditional enterprise go-to-market motion is undergoing a transformational shift. B2B buyers are more sophisticated than ever, and operational efficiency is a key focus for every organization. One key function possesses a unique opportunity to shape the future of revenue generation: enablement. On this podcast, we’re bringing you the secrets, strategies, and tactics that successful enablement leaders are using to drive meaningful impact. The Enablement Edge is the go-to resource for sal ...
…
continue reading
Whether the topic is popcorn or particle physics, you can count on BrainStuff to explore -- and explain -- the everyday science in the world around us.
…
continue reading
This Anthro Life is the premiere go-to Anthropology Podcast that fuses human insights with cultural storytelling. We equip you with a deep understanding of the human experience to revolutionize your decision-making strategies and social impact. Head over to https://www.thisanthrolife.org to learn more. Spearheaded by acclaimed Anthropologist Dr. Adam Gamwell, This Anthro Life equips leaders, individuals, and organizations to shape a more compassionate future. We aim to broaden perspectives a ...
…
continue reading
The news you know, the science you don’t. Unexpected Elements looks beyond everyday narratives to discover a goldmine of scientific stories and connections from around the globe. From Afronauts, to why we argue, to a deep dive on animal lifespans: see the world in a new way.
…
continue reading
PT Inquest is an online journal club. Hosted by Jason Tuori, Megan Graham, and Chris Juneau, the show looks at an article every week and discusses how it applies to current physical therapy practice.
…
continue reading
It didn’t all change in March 2020. Not really. The UK high street has been in the throes of a gradual revolution for decades. From the rise of ecommerce, to the birth of mobile, social commerce, and a growing emphasis on experience, change has been underway for a while. In fact for many, the pandemic has acted as a wake-up call. Digital transformation was no longer a ‘nice to have’ but a matter of survival. Necessity sparked innovation and customers are enjoying more flexibility and conveni ...
…
continue reading
We take your questions about life, Earth and the universe to researchers hunting for answers at the frontiers of knowledge.
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
