When AI Writes the Code, Who Proves It Works?
- Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code.
- Subscribe: Apple • Spotify • Overcast • Pocket Casts • YouTube • AntennaPod • Podcast Addict • Amazon • RSS.
Unverified
- Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code.
- Subscribe: Apple • Spotify • Overcast • Pocket Casts • YouTube • AntennaPod • Podcast Addict • Amazon • RSS.
Sources: Thedataexchange