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
• Conor Hoekstra: LinkTree / Bio

Show Notes

Date Released: 2026-03-14

• Richard Bird’s Algebraic Laws for Program Calculation
• An 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)