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
• The Algebra of Programming
• Algegraic Identities for Program Calculation
• Tweet about Kadane’s Algorithm
• Algorithm Design with Haskell
• Bird-Meertens Formalism (BMF)
• The School of Squiggol: A History of BMF