What is programming? This week, we take a stab at this fundamental question with Peter Naur's paper "Programming as Theory Building". Felienne has read the paper (more than once), and Hanna is asking her questions about it. Apparently, programming is more than just solving problems by writing code and involves theory building! Listen in to hear more about what this theory building entails (spoiler alert: it has something to do with being able to explain and defend the solutions we come up with), some beautiful quotes from the paper, and Felienne's ideas of what Naur's argument means for current AI practices, LLM usage, and the computer science curriculum. Read the paper, do the homework, or skip the homework and listen to Hanna's homework attempt instead.

Links:

• Naur's paper
• Felienne's blog post and Hanna’s homework
• Hanna's pomodoro timer (check it out before she gets too embarrassed and removes it)

Audio and music credits:

• Song: "Curiosity Rag" (1910) by James E.C. Kelly (public domain)
• Sound effects and background sounds: Public domain/CC0 sounds from Freesound.org and self-recorded sounds
• Audio editing: Hanna at Earpolish.com

Our teaser episode for the Computer Science Off Course podcast! We bring you one paper or book each week to widen your view on what Computer Science is, and what it could be.

Turing, Naur, Dreyfus, Laurel, and many more will bring some much-needed change in perspective for people who grew up on an information diet of only complex algorithms, programming, and math!

Read along with us (Felienne and Hanna), do the homework and see that there is more between heaven and earth than computers and compilers.

Mentions:

• If Books Could Kill Podcast
• The Academic Imperfectionist Podcast
• Deep Questions podcast

Audio and music credits:

• Song: "Curiosity Rag" (1910) by James E.C. Kelly (public domain)
• Sound effects and background sounds: Public domain/CC0 sounds from Freesound.org and self-recorded sounds
• Audio editing: Hanna at Earpolish.com