Computer Science Off Course - Programming as Theory Building

Lobsters Hottest News
podcast programming-theory peter-naur computer-science education ai-practices

Summary

This podcast episode discusses Peter Naur's classic paper 'Programming as Theory Building', exploring its implications for AI, LLM usage, and computer science education.

<p><a href="https://lobste.rs/s/oqwjp5/computer_science_off_course_programming">Comments</a></p>
Original Article
View Cached Full Text

Cached at: 07/12/26, 10:49 AM

# Peter Naur - Programming as Theory Building | Podcast Episode on RSS.com Source: [https://rss.com/podcasts/computer-science-off-course/2968986/](https://rss.com/podcasts/computer-science-off-course/2968986/) Peter Naur \- Programming as Theor\.\.\. ##### Peter Naur \- Programming as Theory Building ## Computer Science Off Course by Felienne Hermans & Hanna Schraffenberger ###### Episode notes 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: - \.\.\. [Read more](https://rss.com/podcasts/computer-science-off-course/2968986/#) ###### Keywords Computer ScienceEducationUniversityInterdisciplinaryBooksArticlesHomeworkPerspectives

Similar Articles

Programming as Theory Building (1985)

Lobsters Hottest

This 1985 paper by Peter Naur argues that programming is essentially a theory-building activity, where programmers develop a deep understanding of the problem domain, rather than simply producing code.

Read Programming as Theory Building

Hacker News Top

The article recommends Peter Naur's 'Programming as Theory Building,' arguing that programming is fundamentally about constructing and communicating a mental model of the software rather than just writing code.

Why care about programming languages

Lobsters Hottest

In the age of AI-assisted coding, the author argues that deep understanding of programming language concepts remains essential for engineering, listing key ideas from various languages that expand mental models for problem solving.

@mvanhorn: https://x.com/mvanhorn/status/2063865685558903149

X AI KOLs Following

The article explains the concept of 'loops' in AI coding, where developers write programs that prompt coding agents instead of manually prompting, as popularized by Peter Steinberger and Boris Cherny, and discusses how this shift represents a new abstraction layer in AI-assisted development.