| ▲ | 4b11b4 2 hours ago | |
> "the way you describe a program _can_ be the program" One follow-up thought I had was... It may actually be... more difficult(?) to go from a program to a great description | ||
| ▲ | dang an hour ago | parent [-] | |
That's a chance to plump Peter Naur's classic "Programming as Theory Building"! https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... What Naur meant by "theory" was the mental model of the original programmers who understood why they wrote it that way. He argued the real program was is theory, not the code. The translation of the theory into code is lossy: you can't reconstruct the former from the latter. Naur said that this explains why software teams don't do as well when they lose access to the original programmers, because they were the only ones with the theory. If we take "a great description" to mean a writeup of the thinking behind the program, i.e. the theory, then your comment is in keeping with Naur: you can go one way (theory to code) but not the other (code to theory). The big question is whether/how LLMs might change this equation. | ||