Proofs for programs, programs for proofs (bobkonf2026)
Chaos Computer Club - recent events feed · CCC media team
March 13, 202644m 54s
Audio is streamed directly from the publisher (cdn.media.ccc.de) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.