EPISODE · Mar 14, 2026 · 41 MIN
Episode 32: Richard Bird's Algebraic Laws 🟦
from Tacit Talk · host Conor Hoekstra
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.SocialsTacit Talk YouTube PlaylistConor Hoekstra: LinkTree / BioShow NotesDate Released: 2026-03-14Richard Bird's Algebraic Laws for Program CalculationAn Introduction to the Theory of Lists (1986)The Algebra of Programming (1996)Algegraic Identities for Program Calculation (1989)Tweet about Kadane's Algorithm (2021/2022)Algorithm Design with Haskell (2020)Bird-Meertens Formalism (BMF)The School of Squiggol: A History of BMF (2019)
What this episode covers
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 PlaylistConor Hoekstra: LinkTree / BioShow Notes Date Released: 2026-03-14 Richard Bird's Algebraic Laws for Program CalculationAn Introduction to the Theory of Lists (1986)The Algebra of Programming (1996)Algegraic Identiti...
NOW PLAYING
Episode 32: Richard Bird's Algebraic Laws 🟦
No transcript for this episode yet
Similar Episodes
Feb 8, 2026 ·4m
Jan 30, 2026 ·6m
Dec 15, 2025 ·2m
Nov 30, 2025 ·5m
Oct 26, 2025 ·14m
Oct 26, 2025 ·61m