MENU

Fun & Interesting

210. Programming & Theory-Building

THUNK 2,707 lượt xem 3 years ago
Video Not Working? Fix It Now

“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) - https://jimmyhmiller.github.io/incommunicability

Metaphor - Extreme Programming Practice (Bjorn W, 2018) - https://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 - https://homesupport.irobot.com/app/answers/detail/a_id/19541/~/how-does-my-robot-navigate%3F

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

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

The Beginning of Infinity: Explanations That Transform the World - David Deutsch (2011) - https://publicism.info/science/infinity/17.html

Comment