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...
Mathlib is a user maintained library for the Lean theorem prover.
It contains both programming infrastructure and mathematics,
as well as tactics that use the former...
Support this show
Enjoy Clockwise Unwound: Ad-free episodes and an extra Overtime topic every week.
#621: Somewhat Thicker than a Knife
September 3rd, 2025
·
29 minutes
Google's antitrust woes...
The diode might be the most neglected component in the electronics curriculum today. Pages upon pages have been written about the mechanics of resistors,...
Support this show
Enjoy Clockwise Unwound: Ad-free episodes and an extra Overtime topic every week.
#629: The House is Just for the Robot
October 29th, 2025
·
29 minutes
What...