210. Programming & Theory-Building @THUNKShow
210. Programming & Theory-Building  @THUNKShow
Uploaded June 2021 | Updated September 2026, 1 week ago
“Programming” in the sense of “developing algorithmic instructions” isn’t just for computers - all rigorously-defined human systems are “programmed” after a fashion. But what is it that programmers (instruction-writers, legislators, chefs) are *doing*, exactly?

NOTE: I accidentally uploaded this with the title for episode 205. T_T My mistake!

- Links for the Curious-

Programming as Theory-Building (Naur, 1985) - https://pages.cs.wisc.edu/~remzi/Naur.pdf

Defending the Incommunicability of Programs (Miller) - jimmyhmiller.github.io/incommunicability

Metaphor - Extreme Programming Practice (Bjorn W, 2018) - explainagile.com/agile/xp-extreme-programming/practices/metaphor

Gilbert Ryle (Stanford Encyclopedia of Philosophy) - https://plato.stanford.edu/entries/ryle/

How Does my Robot Navigate? | iRobot Customer Care - homesupport.irobot.com/app/answers/detail/a_id/19541/~/how-does-my-robot-navigate%3F

78. Steampunk, Babbage, & Lovelace - youtube.com/watch?v=g17dqIoK-0I

175. The Aesthetic of Programming - youtube.com/watch?v=HH8HvHj5eFQ

The Beginning of Infinity: Explanations That Transform the World - David Deutsch (2011) - publicism.info/science/infinity/17.html
210. Programming & Theory-Building25K Subscriber Livestream Announcement178. Multiplication Menagerie | THUNK102. On Rand-Bashing (Please Read Video Description) | THUNK84. Why Prejudice is Impractical | THUNK116. The War on Science | THUNK88. Humes Guillotine & Rational Morality | THUNK234. Tidiness253. Organizing Systems104. Ethics Overview & Moral Voting | THUNK185. Bounded Rationality | THUNK100. Q & A | THUNK
THUNK |

210. Programming & Theory-Building

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER