00:00:00Introduction (a Warning)
00:00:37Who Is Peter Naur?
00:02:18Programming as Theory Building
00:26:46A Quote Against the AI Hype
00:27:25Your Homework Assignment
00:29:04What to Expect Next Week
00:29:43Hanna's Homework
درباره این اپیزود
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
انگلیسی
ایالات متحده آمریکا
یادداشت ها را نشان دهید 🔗
رونوشت 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
جستجوی اپیزودهای گذشته
اپیزودهای قبلی Computer Science Off Course را جستجو کن.
قسمت های دیگر در این پادکست
Is there something you wish computers could do but somehow, despite all the hype around AI, they still can't do it? In this episode, we discuss Hubert Dreyfus' book "What Computers Can't Do" (1972) and its updated revision, "What Computers Still Can't Do" (1992), both from historical and current AI…
Are you playing a role when using a computer? We certainly are! In this episode, we connect the worlds of theatre and computers. We discuss Brenda Laurel's book "Computers as Theatre” (1991). Per usual, Felienne has read the book. And as it turns out, it gave her a new way to look at the world. Hu…
Has this text been written by an AI or by us, Felienne and Hanna? It's the latter! Why does this matter? This week, we discuss what it means when you can no longer tell human and machine output apart. For the first time, we discuss a paper we are not exactly ecstatic about. Namely, Alan Turing's 19…
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 …
سلب مسئولیت: پادکست و آثار هنری تعبیه شده در این صفحه متعلق به Felienne Hermans & Hanna Schraffenberger است که متعلق به صاحب آن است و به Listen Notes، Inc وابسته یا تایید نشده است.
ویرایش
از کمک شما برای بروز نگهداشتن پایگاهدادههای پادکست سپاسگزاریم
