Podcast EpisodeLean anchor: viability iteration computes the greatest fixed pointEmergence Calculus··2 August 2026·9 minDownload audioVisit episode page