{"podcast":{"title":"Math Deep Dive","slug":"math-deep-dive-7827327","podcast_index_feed_id":7827327,"rss_url":"https://anchor.fm/s/111aec970/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/victor-stabile2","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/45816348/45816348-1776684679618-903a19fc240ab.jpg","author":"Mathematics Podcast","episode_count":31,"summary":"Math Deep Dive explores the ideas that shape mathematics, one concept at a time. Each episode unpacks the history, meaning, and intuition behind key topics—connecting abstract theory to real-world applications. From fundamental principles to surprising generalizations, the show makes complex math more accessible, revealing not just how it works, but why it matters.","last_synced_at":"2026-06-24T00:17:23.763969+00:00","page_url":"https://stenobird.com/podcast/math-deep-dive-7827327"},"episode":{"title":"Profunctor Optics","slug":"profunctor-optics","published_at":"2026-05-27T19:22:35+00:00","page_url":"https://stenobird.com/podcast/math-deep-dive-7827327/profunctor-optics","show_page_url":"https://stenobird.com/podcast/math-deep-dive-7827327","url":"https://podcasters.spotify.com/pod/show/victor-stabile2/episodes/Profunctor-Optics-e3jvv54","audio_url":"https://anchor.fm/s/111aec970/podcast/play/120633956/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-4-27%2Fe27e6322-f8c4-a960-be27-ae1022a239b4.m4a","summary":"This episode of the Math Deep Dive Podcast tackles one of the most ubiquitous challenges in modern software engineering: the "Russian nesting doll" problem of immutable data updates . When you need to update a single zip code buried deep within nested JSON records and variants, you often face a "massive brittle wall" of boilerplate code and nested if-statements. Join us as we explore how functional programmers and theoretical mathematicians independently converged on a universal solution: Profunctor Optics . We’ll bridge the "gritty pragmatic world of software engineering" with the "dizzying abstract heights of pure category theory" to show how complex data manipulation can be reduced to a simple dot operator. In this episode, you’ll discover: The Lenses and Prisms Dilemma: Why "AND" data (product types) and "OR" data (sum types) usually refuse to compose, and how Profunctor Optics solves this "USBC and HDMI" problem. A Tale of Two Worlds: How a group of hackers in a 2015 IRC chat stumbled upon the exact same structures— Tambara modules —that mathematicians were studying in representation theory. The Lattice of Optics: A "predictive periodic table" of data accessors, from simple Adapters to complex Grates and Traversals . Correctness by Construction: How Co-end calculus and the "slider" mechanism allow a compiler to verify your code as a mathematical proof. Beyond the Code: Mind-bending applications of optics in categorical cybernetics , Bayesian game theory, and quantum circuits. By the end of this deep dive, you’ll see why "general abstract nonsense" is actually a gift that deletes hundreds of lines of boilerplate and ensures your systems are mathematically sound. As w…","meta_description":"This episode of the Math Deep Dive Podcast tackles one of the most ubiquitous challenges in modern software engineering: the \"Russian nesting doll&qu…","key_points":[],"chapters":[],"topics":[],"duration_seconds":2609,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/math-deep-dive-7827327/episodes/profunctor-optics/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/math-deep-dive-7827327/profunctor-optics.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}