Skip to content

Instantly share code, notes, and snippets.

View shaunplee's full-sized avatar

Shaun Lee shaunplee

7 followers · 5 following
View GitHub Profile
@shaunplee
shaunplee / programming-as-theory-building.md
Created July 5, 2020 15:57 — 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

@shaunplee
shaunplee / keybase.md
Created September 12, 2016 22:34

Keybase proof

I hereby claim:

  • I am shaunplee on github.
  • I am s_p_lee (https://keybase.io/s_p_lee) on keybase.
  • I have a public key whose fingerprint is 8D4B 40A9 A3AB FC0A F51C DBCA 1082 06A8 7825 9EFB

To claim this, I am signing this object: