AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Programming Languages and AI
This chapter explores the intersection between programming languages and artificial intelligence, discussing the three waves of AI, the trade-offs between flexibility and guarantees in AI programs, and DARPA's efforts to develop more trustworthy AI.
In episode 103 of The Gradient Podcast, Daniel Bashir speaks to Dr. Kathleen Fisher.
As the director of DARPA’s Information Innovation Office (I2O), Dr. Kathleen Fisher oversees a portfolio that includes most of the agency’s AI-related research and development efforts, including the recent AI Forward initiative. AI Forward explores new directions for AI research that will result in trustworthy systems for national security missions. This summer, roughly 200 participants from the commercial sector, academia, and the U.S. government attended workshops that generated ideas to inform DARPA’s next phase of AI exploratory projects. Dr. Fisher previously served as a program manager in I2O from 2011 to 2014. As a program manager, she conceptualized, created, and executed programs in high-assurance computing and machine learning, including Probabilistic Programming for Advancing Machine Learning (PPAML), making building ML applications easier. She was also a co-author of a recent paper about the threats posed by large language models.
Since 2018, DARPA has dedicated over $2 billion in R&D funding to AI research. The agency DARPA has been generating groundbreaking research and development for 65 years – leading to game-changing military capabilities and icons of modern society, such as initiating the research field that rendered self-driving cars and developing the technology that led to Apple’s Siri.
Have suggestions for future podcast guests (or other feedback)? Let us know here or reach us at editor@thegradient.pub
Subscribe to The Gradient Podcast: Apple Podcasts | Spotify | Pocket Casts | RSSFollow The Gradient on Twitter
Outline:
* (00:00) Intro
* (01:30) Kathleen’s background
* (05:05) Intersections between programming languages and AI
* (07:15) Neuro-symbolic AI, trade-offs between flexibility and guarantees
* (09:45) History of DARPA and the Information Innovation Office (I2O)
* (13:55) DARPA’s perspective on research
* (17:10) Galvanizing a research community
* (20:06) DARPA’s recent investments in AI and AI Forward
* (26:35) Dual-use nature of generative AI, identifying and mitigating security risks, Kathleen’s perspective on short-term and long-term risk (note: the “Gradient podcast” Kathleen mentions is from Last Week in AI)
* (30:10) Concerns about deployment and interaction
* (32:20) Outcomes from AI Forward workshops and themes
* (36:10) Incentives in building and using AI technologies, friction
* (38:40) Interactions between DARPA and other government agencies
* (40:09) Future research directions
* (44:04) Ways to stay up to date on DARPA’s work
* (45:40) Outro
Links:
* Probabilistic Programming for Advancing Machine Learning (PPAML) (Archived)
* Assured Neuro Symbolic Learning and Reasoning (ANSR)
* Identifying and Mitigating the Security Risks of Generative AI Paper
* Semantic Forensics (SemaFor)
Listen to all your favourite podcasts with AI-powered features
Listen to the best highlights from the podcasts you love and dive into the full episode
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
Listen to all your favourite podcasts with AI-powered features
Listen to the best highlights from the podcasts you love and dive into the full episode