Tacit Talk

In this episode, Conor interviews Madeline Vergani about TinyAPL 0.13, inverses, AP8L and more!
Socials
Tacit Talk YouTube Playlist
Conor Hoekstra: LinkTree / Bio
About the Guest
Madeline Vergani 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
TinyAPL
TinyAPL on APL Wiki
TinyAPL Inverse
Omnibar
TinyAPL Combinators
ArrayCast Episode 88: Madeline Vergani and tinyapl
Tacit Talk Episode 14: TinyAPL with Madeline Vergani
Madeline's Blog
Most recent blog post
AP8L

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
Conor Hoekstra: LinkTree / Bio
Show Notes
Date Released: 2026-03-28
Algebra as a Language (1972)
Algebra: An Algorithmic Treatment (1972)

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
Conor Hoekstra: LinkTree / Bio
Show Notes
Date Released: 2026-03-18
From List Calculus to Array Calculi
An Introduction to the Theory of Lists (1986)
Mathematics of Arrays (MoA)
The Algebra of Programming (1996)
Algegraic Identities for Program Calculation (1989)
Algorithm Design with Haskell (2020)
Bird-Meertens Formalism (BMF)
The School of Squiggol: A History of BMF (2019)
Single Assignment C (SaC)
Lectures on Constructive Functional Programming

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)

In this episode, the 1979 Turing Award paper "Notation as a Tool of Thought" by Kenneth E. Iverson is read by the Speechify text-to-speech app.
Socials
Tacit Talk YouTube Playlist
Conor Hoekstra: LinkTree / Bio
Show Notes
Date Released: 2026-03-02
Notation as a Tool of Thought (1979)