Computer science2014 · shared on Hacker News
Peter Naur – Programming as Theory Building (1985) [pdf]
Research PDF · needs verificationExplore Peter Naur – Programming as Theory Building (1985) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Comment #49028562 Comment #48920135 Comment #48658975 Comment #48488862 Comment #48266652 Comment #48115431 Comment #48071690 Comment #48018432 Comment #47998006 Comment #47909881 Comment #47545472 Comment #47522156 Comment #47429505 Comment #47389101 Comment #47197528 Comment #47126771 Comment #46896488 Comment #46829274 Comment #46652224 Comment #46643240 Comment #46635098 Comment #46443678 Comment #46019770 Comment #45975814 Comment #45650373 Comment #45513523 Comment #45415521 Comment #45342820 Comment #45036420 Comment #45008928 Comment #45008527 Comment #44813710 Comment #44786088 Comment #44364282 Comment #44047914 Comment #43889269 Comment #43774911 Comment #42923860 Comment #42862383 Comment #42597177 Comment #42569352 Comment #42477601 Comment #42434551 Comment #42337537 Comment #41761924 Comment #41727677 Comment #41721143 Comment #41679204 Comment #41209536 Comment #39868110
Yraw_anon_1111 ·
Today is when the Amazon brain drain sent AWS down the spout
1,018 points654 comments
Yjingwen ·
How to Build Good Software
1,016 points239 comments
Ywebmaven ·
Developers spend most of their time figuring the system out
839 points410 comments
Ylainon ·
Ask HN: What is your favorite CS paper?
793 points257 comments
Yavinassh ·
It's probably time to stop recommending Clean Code (2020)
733 points658 comments
Yaskafriend ·
Employees Who Stay in Companies Longer Than Two Years Get Paid 50% Less
708 points535 comments
YBerislavLopac ·
Technical debt as a lack of understanding
661 points291 comments
Yjanpio ·
Vibe engineering
654 points719 comments
Ymooreds ·
The 70% problem: Hard truths about AI-assisted coding
649 points433 comments
Yteleforce ·
Papers every developer should read at least twice (2009)
623 points95 comments
Ythrowaway_43793 ·
Ask HN: SWEs how do you future-proof your career in light of LLMs?
530 points991 comments
YPeledYuval ·
Ask HN: Where can I see many examples of real companies' software architecture?
469 points102 comments
Yimartin2k ·
It's hard to write code for computers, but it's harder to write code for humans
464 points136 comments
Yjchook ·
Essays on programming I think about a lot
438 points94 comments
Ysfarshid ·
We put a coding agent in a while loop
425 points308 comments
Ysigna11 ·
Software Design Is Knowledge Building
419 points110 comments
Ynfrankel ·
DIB Guide: Detecting Agile BS (2018) [pdf]
396 points132 comments
Yyakshaving_jgt ·
Writing a Game Boy Emulator in OCaml
393 points72 comments
Yandrewstetsenko ·
GitHub CEO: manual coding remains key despite AI boom
360 points284 comments
Ydizzystar ·
Catfish Programmers
339 points171 comments
Ymaloga ·
Making the move from Scala to Go
325 points367 comments
Ypmcpinto ·
Programming as a Way of Thinking
322 points131 comments
Ysandinmyjoints ·
Lisping at JPL (2002)
307 points307 comments
Ycloogshicer ·
Peter Naur's view of programming
292 points190 comments
Ymooreds ·
When new hires get paid more, top performers resign first
289 points212 comments
Yakakievich ·
“Computer science is not about computers”
288 points277 comments
Ytodsacerdoti ·
Developer Philosophy
288 points69 comments
Ystephendause ·
Systems Engineering, or "why james gets paid"
260 points73 comments
Ysurprisetalk ·
Discovery Coding
253 points85 comments
Y_praf ·
AI coding made me faster, but I can't code to music anymore
242 points256 comments
Ywellpast ·
Where has all the productivity gone?
236 points211 comments
Ywalterbell ·
Write the damn code
233 points78 comments
Y_bxg1 ·
Ask HN: Do you ever truly use your revision history?
232 points282 comments
Ypabs3 ·
Software Rot
232 points243 comments
Yvog ·
Peter Naur – Programming as Theory Building (1985) [pdf]
225 points15 comments
Yscastiel ·
Turning Claude Code into my best design partner
222 points84 comments
Ybsoles ·
Programming as Theory Building (1985) [pdf]
211 points44 comments
Yimsky ·
Why Write ADRs
207 points61 comments
Yiamjfu ·
Why do we fall into the rewrite trap?
201 points169 comments
Ynancyhua ·
The Design of Software is a Thing Apart
198 points117 comments
Ympweiher ·
Adding is favoured over subtracting in problem solving
196 points145 comments
Yrui314 ·
My story on “worse is better” (2018)
195 points100 comments
YLionTamer ·
Why programmers are not paid in proportion to their productivity (2009)
191 points306 comments
Ynoeclement ·
Read your code
190 points108 comments
Ymaqbool ·
Ask HN: How to understand the large codebase of an open-source project?
188 points47 comments
Ydeepaksurti ·
I Don't Like Debuggers (2000)
186 points239 comments
Ykick ·
Why Programming Is a Good Medium for Expressing Poorly Understood Ideas (1967)
178 points87 comments
Ykrrishd ·
AI code is legacy code?
166 points170 comments
Ylelf ·
Software projects written in Haskell
151 points165 comments
Yfragmede ·
The value isn't in the code (2022)
140 points76 comments
Ymartinald ·
What happens when coding agents stop feeling like dialup?
137 points177 comments
YVarun08 ·
I won't be vibe coding anymore: a noob's perspective
136 points150 comments
Yplanetjones ·
Learning resources for curious software engineers
125 points14 comments
YColinWright ·
Programming as Theory Building (1985) [pdf]
117 points11 comments
Yjerryjerryjerry ·
Making a change to SQLite source code
117 points10 comments
YAplikethewatch ·
Show HN: Build the habit of writing meaningful commit messages
110 points131 comments
Yskeptrune ·
AI won't replace human devs anytime soon
109 points169 comments
Ysigna11 ·
Moxie Marlinspike: Agile is killing software innovation
84 points101 comments
Ydshipper ·
The Knowledge Economy Is Over. Welcome to the Allocation Economy
80 points76 comments
Yjaytaylor ·
Naur on Programming as Theory Building (1985) [pdf]
76 points4 comments
Yfeross ·
Good code is like a love letter to the next developer who will maintain it
76 points38 comments
Ybrakmic ·
Functional Programming Is Not Popular Because It Is Weird
73 points75 comments
YDanielRibeiro ·
Naur’s “Programming as Theory Building” (2011)
52 points14 comments
Ysuchire ·
Writing code and prose
50 points12 comments
Yzdw ·
Programming in Five Easy Pieces
44 points8 comments
Ymbastos ·
Technical debt vs. technical assets: What's the difference?
41 points40 comments
Yksec ·
The Value of Open Source Software
36 points23 comments
Ychrisloy ·
The rise of industrial software
34 points13 comments
Yjakobov ·
Ask HN: Interested on writing a book on software design/architecture together?
30 points18 comments
Yspeckx ·
I am leaving the AI party after one drink
26 points3 comments
Yraphaelcosta ·
What I'm Hearing About Cognitive Debt (So Far)
25 points3 comments
Ypagade ·
Cognitive Debt: When Velocity Exceeds Comprehension
16 points1 comments
Yspeckx ·
AI Coding Is Gambling
16 points6 comments
Yainiriand ·
Ask HN: How do you deal with legacy code?
14 points19 comments
YTomte ·
Why Lisp Syntax Works
9 points0 comments
YArperb ·
Ask HN: What does "legacy code" mean to you?
7 points15 comments
Yjaytaylor ·
Naur on Programming as Theory Building (1985) [pdf]
6 points3 comments
Ymilkglass ·
The West Forgot How to Make Things. Now It's Forgetting How to Code
6 points2 comments
Yluckydev ·
Stopped using Vim. Moving to cursor
4 points3 comments
Yandsoitis ·
Why More Companies Are Recognizing the Benefits of Keeping Older Employees
4 points0 comments
Ydhorthy ·
Why Software Factories Fail
4 points0 comments
YThe_Workplace ·
Ask HN: Why does software collapse under the weight of its own complexity?
3 points3 comments
Yj45 ·
All code is technical debt
3 points0 comments
Yquantum_state ·
Theory Building View of SE [pdf]
3 points0 comments
Ytux1968 ·
The Value of Source Code
3 points1 comments
Ynz ·
What a Programmer Does (1967)[pdf]
3 points1 comments
Yjdkoeck ·
Thoughts on Slowing the Fuck Down
3 points0 comments
Yswyx ·
Programming as Theory Building (1985) [pdf]
2 points0 comments
Ybwestergard ·
Theory-building and why employee churn is lethal to software companies
2 points0 comments
Yevanlh ·
Code the Shortest Path First
2 points0 comments
Ydnw ·
Programming, Evolved: Lessons and Observations
2 points0 comments
Yvismit2000 ·
Way AI assistance impacts the formation of coding skills
2 points0 comments
Ykiwieater ·
100 hour gap between a vibecoded prototype and a working product
2 points0 comments
Ybrendanmc6 ·
Specsmaxxing – On overcoming AI psychosis, and why I write specs in YAML
2 points1 comments
Ys4i ·
Peter Naur – Programming as Theory Building (1985) [pdf]
2 points0 comments
Ynilirl ·
Why senior developers fail to communicate their expertise
2 points0 comments
Ywek ·
Constraint Decay: The Fragility of LLM Agents in Back End Code Generation
2 points0 comments
Yingve ·
The Coming Loop
2 points0 comments
Ycdrnsf ·
The Tower Keeps Rising
2 points0 comments
Ymichaelfeathers ·
Active Knowledge in Software Development
1 points0 comments