When you hear the words Alzheimer's disease, what do you think of? The truth is, the picture most of us have of the disease is incomplete. Alzheimer's disease doesn't start when someone starts to lose their memory. It actually starts years – sometimes decades – earlier. The Rethinking Alzheimer's Disease Podcast is an engaging, narrative-style podcast miniseries for those curious or motivated to learn about Alzheimer’s disease. Perhaps you have a family member with Alzheimer’s disease, or ca ...
…
continue reading
Cody Roux द्वारा प्रदान की गई सामग्री. एपिसोड, ग्राफिक्स और पॉडकास्ट विवरण सहित सभी पॉडकास्ट सामग्री Cody Roux या उनके पॉडकास्ट प्लेटफ़ॉर्म पार्टनर द्वारा सीधे अपलोड और प्रदान की जाती है। यदि आपको लगता है कि कोई आपकी अनुमति के बिना आपके कॉपीराइट किए गए कार्य का उपयोग कर रहा है, तो आप यहां बताई गई प्रक्रिया का पालन कर सकते हैं https://hi.player.fm/legal।
समान The Church of Logic
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
DNA science. Artificial intelligence. Smartphones and 3D printers. Science and technology have transformed the world we live in. But how did we get here? It wasn’t by accident. Well, sometimes it was. It was also the result of hard work, teamwork, and competition. And incredibly surprising moments. Hosted by bestselling author Steven Johnson (“How We Got To Now”), American Innovations uses immersive scenes to tell the stories of the scientists, engineers, and ordinary people behind the great ...
…
continue reading
Tim Harford explains - and sometimes debunks - the numbers and statistics used in political debate, the news and everyday life
…
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
A myriad of AI, science, and technology experts explore the real challenges and enormous opportunities facing entrepreneurs who are building the future of health. Raising Health, a podcast by a16z Bio + Health, dives deep into the heart of biotechnology and healthcare innovation. Join veteran company builders, operators, and investors Vineeta Agarwala, Julie Yoo, and Jorge Conde, along with distinguished guests like Mark Cuban, Greg Verdine, Fei-Fei Li, and Suchi Saria, as they explore the i ...
…
continue reading
Welcome to Curiosity Weekly from Discovery, hosted by Dr. Samantha Yammine. Once a week, we’ll bring you the latest and greatest in scientific discoveries and break down the details so that you don’t need a PhD to understand it. From neuroscience to climate tech to AI and genetics, no subject is off-limits. Join Sam as she interviews expert guests and investigates the research guiding some of the most exciting scientific breakthroughs affecting our world today. Hosted on Acast. See acast.com ...
…
continue reading
Want TED Talks on the go? Everyday, this feed brings you our latest talks in audio format. Hear thought-provoking ideas on every subject imaginable – from Artificial Intelligence to Zoology, and everything in between – given by the world's leading thinkers and doers. This collection of talks, given at TED and TEDx conferences around the globe, is also available in video format. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
Going Wild with Dr. Rae Wynn Grant is a different kind of nature show about the human drama of saving animals. From a paleoanthropologist who hunts fossils in conflict zones to someone who helped save an endangered species while in prison, in season four we will hear from real-life heroes and nature advocates with widely different expertise and life experiences that led them to be champions for the natural world. Wildlife biologist and host Dr. Rae Wynn-Grant has been studying wild animals i ...
…
continue reading
Science Friction's latest season is: Artificial Evolution. In 1996, Dolly the Sheep became the first ever cloned animal. Nearly 30 years later, genetic technology has reshaped the world around us. What exactly has happened, where are we headed, and are we OK about it? In this series, environment reporter Peter de Kruijff tells the surprising stories of genetic engineering. Meet the scientists changing the food we eat and creating animals with organs we can use. Hear about the criminal conspi ...
…
continue reading
Player FM - पॉडकास्ट ऐप
Player FM ऐप के साथ ऑफ़लाइन जाएं!
Player FM ऐप के साथ ऑफ़लाइन जाएं!
))
Rustan Leino - part II
Manage episode 523255046 series 3653028
Cody Roux द्वारा प्रदान की गई सामग्री. एपिसोड, ग्राफिक्स और पॉडकास्ट विवरण सहित सभी पॉडकास्ट सामग्री Cody Roux या उनके पॉडकास्ट प्लेटफ़ॉर्म पार्टनर द्वारा सीधे अपलोड और प्रदान की जाती है। यदि आपको लगता है कि कोई आपकी अनुमति के बिना आपके कॉपीराइट किए गए कार्य का उपयोग कर रहा है, तो आप यहां बताई गई प्रक्रिया का पालन कर सकते हैं https://hi.player.fm/legal।
I'm delighted to (continue to) talk to Rustan Leino, one of the world's premier program provers, probably best known for the Dafny programing and verification language.
We have a casual chat about program logics, some of the history of Dafny, and some deeper thoughts about inductive predicates and how to do program specification right.
A couple things mentioned:
Greg Nelson's PhD dissertation
65 एपिसोडस
साझा करें
Manage episode 523255046 series 3653028
Cody Roux द्वारा प्रदान की गई सामग्री. एपिसोड, ग्राफिक्स और पॉडकास्ट विवरण सहित सभी पॉडकास्ट सामग्री Cody Roux या उनके पॉडकास्ट प्लेटफ़ॉर्म पार्टनर द्वारा सीधे अपलोड और प्रदान की जाती है। यदि आपको लगता है कि कोई आपकी अनुमति के बिना आपके कॉपीराइट किए गए कार्य का उपयोग कर रहा है, तो आप यहां बताई गई प्रक्रिया का पालन कर सकते हैं https://hi.player.fm/legal।
I'm delighted to (continue to) talk to Rustan Leino, one of the world's premier program provers, probably best known for the Dafny programing and verification language.
We have a casual chat about program logics, some of the history of Dafny, and some deeper thoughts about inductive predicates and how to do program specification right.
A couple things mentioned:
Greg Nelson's PhD dissertation
65 एपिसोडस
सभी एपिसोड
×
प्लेयर एफएम में आपका स्वागत है!
प्लेयर एफएम वेब को स्कैन कर रहा है उच्च गुणवत्ता वाले पॉडकास्ट आप के आनंद लेंने के लिए अभी। यह सबसे अच्छा पॉडकास्ट एप्प है और यह Android, iPhone और वेब पर काम करता है। उपकरणों में सदस्यता को सिंक करने के लिए साइनअप करें।
समान The Church of Logic
When you hear the words Alzheimer's disease, what do you think of? The truth is, the picture most of us have of the disease is incomplete. Alzheimer's disease doesn't start when someone starts to lose their memory. It actually starts years – sometimes decades – earlier. The Rethinking Alzheimer's Disease Podcast is an engaging, narrative-style podcast miniseries for those curious or motivated to learn about Alzheimer’s disease. Perhaps you have a family member with Alzheimer’s disease, or ca ...
…
continue reading
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
DNA science. Artificial intelligence. Smartphones and 3D printers. Science and technology have transformed the world we live in. But how did we get here? It wasn’t by accident. Well, sometimes it was. It was also the result of hard work, teamwork, and competition. And incredibly surprising moments. Hosted by bestselling author Steven Johnson (“How We Got To Now”), American Innovations uses immersive scenes to tell the stories of the scientists, engineers, and ordinary people behind the great ...
…
continue reading
Tim Harford explains - and sometimes debunks - the numbers and statistics used in political debate, the news and everyday life
…
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
A myriad of AI, science, and technology experts explore the real challenges and enormous opportunities facing entrepreneurs who are building the future of health. Raising Health, a podcast by a16z Bio + Health, dives deep into the heart of biotechnology and healthcare innovation. Join veteran company builders, operators, and investors Vineeta Agarwala, Julie Yoo, and Jorge Conde, along with distinguished guests like Mark Cuban, Greg Verdine, Fei-Fei Li, and Suchi Saria, as they explore the i ...
…
continue reading
Welcome to Curiosity Weekly from Discovery, hosted by Dr. Samantha Yammine. Once a week, we’ll bring you the latest and greatest in scientific discoveries and break down the details so that you don’t need a PhD to understand it. From neuroscience to climate tech to AI and genetics, no subject is off-limits. Join Sam as she interviews expert guests and investigates the research guiding some of the most exciting scientific breakthroughs affecting our world today. Hosted on Acast. See acast.com ...
…
continue reading
Want TED Talks on the go? Everyday, this feed brings you our latest talks in audio format. Hear thought-provoking ideas on every subject imaginable – from Artificial Intelligence to Zoology, and everything in between – given by the world's leading thinkers and doers. This collection of talks, given at TED and TEDx conferences around the globe, is also available in video format. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
Going Wild with Dr. Rae Wynn Grant is a different kind of nature show about the human drama of saving animals. From a paleoanthropologist who hunts fossils in conflict zones to someone who helped save an endangered species while in prison, in season four we will hear from real-life heroes and nature advocates with widely different expertise and life experiences that led them to be champions for the natural world. Wildlife biologist and host Dr. Rae Wynn-Grant has been studying wild animals i ...
…
continue reading
Science Friction's latest season is: Artificial Evolution. In 1996, Dolly the Sheep became the first ever cloned animal. Nearly 30 years later, genetic technology has reshaped the world around us. What exactly has happened, where are we headed, and are we OK about it? In this series, environment reporter Peter de Kruijff tells the surprising stories of genetic engineering. Meet the scientists changing the food we eat and creating animals with organs we can use. Hear about the criminal conspi ...
…
continue reading
Player FM - पॉडकास्ट ऐप
Player FM ऐप के साथ ऑफ़लाइन जाएं!
Player FM ऐप के साथ ऑफ़लाइन जाएं!
