The Cārvāka Podcast is a series of long-form conversations hosted by Kushal Mehra. The podcast covers a wide range of subjects where Kushal speaks with a wide range of guests to talk about sports, philosophy, public policy, current affairs, history, economics, etc.
…
continue reading
Content provided by Safe Mode Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Safe Mode Podcast 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.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
DARPA’s Andrew Carney on AIxCC’s quest for truly autonomous AI
MP3•Episode home
Manage episode 491036697 series 3499462
Content provided by Safe Mode Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Safe Mode Podcast 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://podcastplayer.com/legal.
Greg Otto talks with Andrew Carney, project manager at DARPA, about the AIxCC competition. With the finals set to be held in August during DEF CON, they discuss how these autonomous systems fared in detecting and remediating vulnerabilities, as well as the key lessons learned from live exercises and the semifinals. The conversation highlights DARPA's vision to merge formal software engineering with large language models to dramatically reduce software vulnerabilities and explains the scientific and engineering advances still needed to achieve this goal at scale. We also examine the challenges of safeguarding critical infrastructure, particularly when so much depends on open-source projects maintained by volunteers, and consider the impact of AI on patch deployment, code verification, and sustainable defense. In the reporter chat, Greg talks with Matt Kapko about a story debunking the 16 billion password hack.
…
continue reading
107 episodes
MP3•Episode home
Manage episode 491036697 series 3499462
Content provided by Safe Mode Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Safe Mode Podcast 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://podcastplayer.com/legal.
Greg Otto talks with Andrew Carney, project manager at DARPA, about the AIxCC competition. With the finals set to be held in August during DEF CON, they discuss how these autonomous systems fared in detecting and remediating vulnerabilities, as well as the key lessons learned from live exercises and the semifinals. The conversation highlights DARPA's vision to merge formal software engineering with large language models to dramatically reduce software vulnerabilities and explains the scientific and engineering advances still needed to achieve this goal at scale. We also examine the challenges of safeguarding critical infrastructure, particularly when so much depends on open-source projects maintained by volunteers, and consider the impact of AI on patch deployment, code verification, and sustainable defense. In the reporter chat, Greg talks with Matt Kapko about a story debunking the 16 billion password hack.
…
continue reading
107 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.