10.5.25 | ProofOfThought uses Z3 for LLM reasoning, Paged Out Issue #7 released, comparison of Ada and Rust in Advent of Code

Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.