Skip to content

Instantly share code, notes, and snippets.

View remotelyliving's full-sized avatar
🌛
🌜

Christian Thomas remotelyliving

🌛
🌜
View GitHub Profile
@dpritchett
dpritchett / naur.md
Last active August 25, 2025 19:39
Programming as Theory Building

Programming as Theory Building

Peter Naur, 1985

(copied from http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)

Introduction

The present discussion is a contribution to the understanding of what programming is. It suggests that programming properly should be regarded as an activity by which the programmers form or achieve a certain kind of insight, a theory, of the matters at hand. This suggestion is in contrast to what appears to be a more common notion, that programming should be regarded as a production of a program and certain other texts.