Shawn Simister @narphorium.com · Jun 6

In 1985 Peter Naur argued that a program is more than just its source code. "Programming As Theory Building" explained how we build theories of the code which help us debug and refactor it but those theories rely on knowledge from outside of the code. pages.cs.wisc.edu/~remzi/Naur....

11 likes 2 replies

?

Replies

Brian Hendrickson · Jun 6

is his son named Diff

Shawn Simister · Jun 6

I feel like over the years, we've sort of given up documenting our mental models of code and just accepted that everyone who reads the code builds their own model from scratch.