Static types, algebraic data types, making illegal states unrepresentable: the functional programming tradition has developed extraordinary tools for reasoning about programs....
While each product featured is independently selected by our editors, we may include paid promotion. If you buy something through our links, we may earn commission. Read more about...
Support this show
Enjoy Clockwise Unwound: Ad-free episodes and an extra Overtime topic every week.
#636: Expensive Feet
December 17th, 2025
·
29 minutes
iPhone rumors — under-glass Face ID and a foldable, the iMac...
I’m a sucker for a good travel rewards card. Over the years, I’ve collected a small handful of them — not because I love juggling annual fees, but because...
Directly where the Rhine meets the Moselle, The Thumb rises with quiet confidence near the Ludwig Museum, transforming the tranquil sculpture garden into...
Do we need better verb tenses to describe a counterfactual present from the future perspective?
Any trained linguists in the audience, please helped out.
Reinier...