Perri Adams on Proof Engines, LLMs, and the New Era of Verifiable Code
Three Buddy Problem · Security Conversations
May 26, 202640m 27s
Audio is streamed directly from the publisher (aphid.fireside.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.