Skip to content

Instantly share code, notes, and snippets.

View hamidb80's full-sized avatar
🕸️
The spider’s house is the weakest of houses. If only they knew!

Palestine/humanity is in danger hamidb80

🕸️
The spider’s house is the weakest of houses. If only they knew!
View GitHub Profile
@hamidb80
hamidb80 / programming-as-theory-building.md
Created April 29, 2025 10:36 — forked from onlurking/programming-as-theory-building.md
Programming as Theory Building - Peter Naur

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct