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://ko.player.fm/legal.
The Church of Logic와 비슷한 콘텐츠
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
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
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
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
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
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
How many organs could you donate and remain alive? How many planet Earths could fit inside the Sun? How high is a giraffe's blood pressure? Why is the sea blue? To find out, Ask The Naked Scientists!
…
continue reading
Player FM -팟 캐스트 앱
Player FM 앱으로 오프라인으로 전환하세요!
Player FM 앱으로 오프라인으로 전환하세요!
))
Rustan Leino - part I
Manage episode 522100618 series 3653028
Cody Roux에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Cody Roux 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.
I'm delighted 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
64 에피소드
공유
Manage episode 522100618 series 3653028
Cody Roux에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Cody Roux 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.
I'm delighted 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
64 에피소드
모든 에피소드
×
플레이어 FM에 오신것을 환영합니다!
플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 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
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
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
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
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
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
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
How many organs could you donate and remain alive? How many planet Earths could fit inside the Sun? How high is a giraffe's blood pressure? Why is the sea blue? To find out, Ask The Naked Scientists!
…
continue reading
Player FM -팟 캐스트 앱
Player FM 앱으로 오프라인으로 전환하세요!
Player FM 앱으로 오프라인으로 전환하세요!
