Episode 32: Richard Bird's Algebraic Laws 🟦

Episode 36: Representation-Driven Algorithm Dispatch 🟦

In this episode, "Representation-Driven Dispatch" (generated by Claude 4.6 Opus) is read by the Speechify text-to-speech app. Socials * Tacit Talk YouTube Playlist [https://www.youtube.com/playlist?list=PLVFrD1dmDdvenJhYti3HomLRkC4_Y9AXA] * Conor Hoekstra: LinkTree / Bio [https://conorshakory.com/] Show Notes Date Released: 2026-04-15 * Representation-Driven Dispatch [https://github.com/codereport/max-odd-binary/blob/main/paper/representation-driven-dispatch.pdf]

Episode 35: TinyAPL 0.13, Inverses & AP8L with Madeline Vergani

In this episode, Conor interviews Madeline Vergani about TinyAPL 0.13, inverses, AP8L and more! Socials * Tacit Talk YouTube Playlist [https://www.youtube.com/playlist?list=PLVFrD1dmDdvenJhYti3HomLRkC4_Y9AXA] * Conor Hoekstra: LinkTree / Bio [https://conorshakory.com/] About the Guest Madeline [https://x.com/madelinevergani] Vergani [https://mastodon.social/@RubenVerg@functional.cafe] is the creator of TinyAPL, the Omnibar and AP8L. Show Notes Date Recorded: 2026-03-30 Date Released: 2026-03-31 * Madeline Vergani on APL Wiki [https://aplwiki.com/wiki/Madeline_Vergani] * TinyAPL [https://tinyapl.rubenverg.com/] * TinyAPL on APL Wiki [https://aplwiki.com/wiki/TinyAPL] * TinyAPL Inverse [https://beta.tinyapl.rubenverg.com/docs/primitive/inverse] * Omnibar [https://omnibar.rubenverg.com/?ig=true&in=true] * TinyAPL Combinators [https://tinyapl.rubenverg.com/docs/info/combinators] * ArrayCast Episode 88: Madeline Vergani and tinyapl [https://www.arraycast.com/episodes/episode88-tinyapl] * Tacit Talk Episode 14: TinyAPL with Madeline Vergani [https://tacittalk.com/2025/01/25/Episode-14.html] * Madeline's Blog [https://blog.rubenverg.com/] * Most recent blog post [https://blog.rubenverg.com/reflections_inverses_life] * AP8L [https://www.lexaloffle.com/bbs/?tid=152582]

Episode 34: Algebra as a Language (1972) 🟦

In this episode, the 1972 paper "Algebra as a Language" by Kenneth E. Iverson is read by the Speechify text-to-speech app. Socials * Tacit Talk YouTube Playlist [https://www.youtube.com/playlist?list=PLVFrD1dmDdvenJhYti3HomLRkC4_Y9AXA] * Conor Hoekstra: LinkTree / Bio [https://conorshakory.com/] Show Notes Date Released: 2026-03-28 * Algebra as a Language (1972) [https://www.jsoftware.com/papers/algebra.htm] * Algebra: An Algorithmic Treatment (1972) [https://www.jsoftware.com/books/pdf/algebra.pdf]

Episode 33: From List Calculus to Array Calculi (Bird's Laws, AoP, MoA & SaC) 🟦

In this episode, the "From List Calculus to Array Calculi" (generated by GPT 5.4) is read by the Speechify text-to-speech app. Socials * Tacit Talk YouTube Playlist [https://www.youtube.com/playlist?list=PLVFrD1dmDdvenJhYti3HomLRkC4_Y9AXA] * Conor Hoekstra: LinkTree / Bio [https://conorshakory.com/] Show Notes Date Released: 2026-03-18 * From List Calculus to Array Calculi [https://github.com/codereport/tacittalk/blob/main/assets/bird_array_calculus_deep_dive.pdf] * An Introduction to the Theory of Lists (1986) [https://www.cs.ox.ac.uk/files/3378/PRG56.pdf] * Mathematics of Arrays (MoA) [https://www.researchgate.net/publication/308893116_A_Mathematics_of_Arrays] * The Algebra of Programming (1996) [https://ks3-cn-beijing.ksyun.com/attachment/0ed5f41c9bf19f39a9fb3fcf6ddd8bd8] * Algegraic Identities for Program Calculation (1989) [https://www.researchgate.net/profile/Richard-Bird-2/publication/220458641_Algebraic_Identities_for_Program_Calculation/links/57c7f67108ae28c01d4ff3a1/Algebraic-Identities-for-Program-Calculation.pdf] * Algorithm Design with Haskell (2020) [https://www.cs.ox.ac.uk/publications/books/adwh/] * Bird-Meertens Formalism (BMF) [https://en.wikipedia.org/wiki/Bird%E2%80%93Meertens_formalism] * The School of Squiggol: A History of BMF (2019) [https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf] * Single Assignment C (SaC) [https://www.sac-home.org/index] * Lectures on Constructive Functional Programming [https://www.cs.ox.ac.uk/files/3390/PRG69.pdf]

Episode 32: Richard Bird's Algebraic Laws 🟦

In this episode, the "Richard Bird's Algebraic Laws for Program Calculation" which is a summary of the important papers that introduced the algebraic laws of programming (generated by Claude 4.6 Opus) is read by the Speechify text-to-speech app. Socials * Tacit Talk YouTube Playlist [https://www.youtube.com/playlist?list=PLVFrD1dmDdvenJhYti3HomLRkC4_Y9AXA] * Conor Hoekstra: LinkTree / Bio [https://conorshakory.com/] Show Notes Date Released: 2026-03-14 * Richard Bird's Algebraic Laws for Program Calculation [https://github.com/codereport/tacittalk/blob/main/assets/bird_tier1_papers.pdf] * An Introduction to the Theory of Lists (1986) [https://www.cs.ox.ac.uk/files/3378/PRG56.pdf] * The Algebra of Programming (1996) [https://ks3-cn-beijing.ksyun.com/attachment/0ed5f41c9bf19f39a9fb3fcf6ddd8bd8] * Algegraic Identities for Program Calculation (1989) [https://www.researchgate.net/profile/Richard-Bird-2/publication/220458641_Algebraic_Identities_for_Program_Calculation/links/57c7f67108ae28c01d4ff3a1/Algebraic-Identities-for-Program-Calculation.pdf] * Tweet about Kadane's Algorithm (2021/2022) [https://x.com/code_report/status/1561793038241898497?s=20] * Algorithm Design with Haskell (2020) [https://www.cs.ox.ac.uk/publications/books/adwh/] * Bird-Meertens Formalism (BMF) [https://en.wikipedia.org/wiki/Bird%E2%80%93Meertens_formalism] * The School of Squiggol: A History of BMF (2019) [https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf]