Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Content provided by Visual Studio Toolbox (HD) - Channel 9. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Visual Studio Toolbox (HD) - Channel 9 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 Visual Studio Toolbox (HD) - Channel 9
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
Why are people designing video games in war zones? How do you catch a catfisher? Can we trust AI lie detectors? Each week, Jordan Erica Webber is joined by experts to answer these questions on our digital culture podcast, Chips with Everything
…
continue reading
Health care in the United States is complex, hard to navigate and doesn’t always work the way it should. The good news: So much has changed over the last few years. Leaders inside and outside of the health industry are rethinking how to deliver care and support to meet all people where they’re at. When it comes to your health, everything is connected. So, taking better care of it needs to go beyond the physical to include mental, emotional, social and spiritual health. And to look at the ful ...
…
continue reading
A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
The podcast about Python and the people who make it great
…
continue reading
Functional Geeks, Geeking Functionally
…
continue reading
What will the future look like? The Future of Everything offers a view of the nascent trends that will shape our world. In every episode, join our award-winning team on a new journey of discovery. We’ll take you beyond what’s already out there, and make you smarter about the scientific and technological breakthroughs on the horizon that could transform our lives for the better.
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
Analyzing Code with Infer#
Archived series ("Inactive feed" status)
When?
This feed was archived on February 25, 2022 23:29 (
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 284787985 series 32504
Content provided by Visual Studio Toolbox (HD) - Channel 9. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Visual Studio Toolbox (HD) - Channel 9 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.
Want to detect reliability and security bugs before they ship? Matthew Jin and Xiaoyu Liu show Infer#, a static analysis tool you can use to validate the correctness of source code without needing to execute it.
Learn more about Infer# here.
72 episodes
Share
Archived series ("Inactive feed" status)
When?
This feed was archived on February 25, 2022 23:29 (
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 284787985 series 32504
Content provided by Visual Studio Toolbox (HD) - Channel 9. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Visual Studio Toolbox (HD) - Channel 9 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.
Want to detect reliability and security bugs before they ship? Matthew Jin and Xiaoyu Liu show Infer#, a static analysis tool you can use to validate the correctness of source code without needing to execute it.
Learn more about Infer# here.
72 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 Visual Studio Toolbox (HD) - Channel 9
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
Why are people designing video games in war zones? How do you catch a catfisher? Can we trust AI lie detectors? Each week, Jordan Erica Webber is joined by experts to answer these questions on our digital culture podcast, Chips with Everything
…
continue reading
Health care in the United States is complex, hard to navigate and doesn’t always work the way it should. The good news: So much has changed over the last few years. Leaders inside and outside of the health industry are rethinking how to deliver care and support to meet all people where they’re at. When it comes to your health, everything is connected. So, taking better care of it needs to go beyond the physical to include mental, emotional, social and spiritual health. And to look at the ful ...
…
continue reading
A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
The podcast about Python and the people who make it great
…
continue reading
Functional Geeks, Geeking Functionally
…
continue reading
What will the future look like? The Future of Everything offers a view of the nascent trends that will shape our world. In every episode, join our award-winning team on a new journey of discovery. We’ll take you beyond what’s already out there, and make you smarter about the scientific and technological breakthroughs on the horizon that could transform our lives for the better.
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
