Hacker News new | ask | show | jobs
by hikarudo 1422 days ago
Spot on. You've described Peter Naur's "Programming as Theory Building" paper exactly.