AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
5min chapter
Programming as Theory Building by Peter Naur
Future of Coding
The Problems and Costs of Programming
Programming is quintessentially tied to text. If you don't, if you think that programming is just producing the text of a program, it seems like it should be low cost to make these changes. But on the theory-building view, none of that follows. Because what you actually care about with that modification is the theory. And instead of cherishing the programmers who have the theory, you're instead cherishing the program text which will gradually disintegrate as people who don’t have the right theory of how it works make changes to it.
00:00
Transcript
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode