Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Cloudflare Quick Tunnels(cloudflare.com ↗)
    134comments
  2. Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure Debug(ledger.com ↗)
    7comments
  3. North Korean nuclear test sets off years of earthquakes(science.org ↗)
    80comments
  4. Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash(cactuscompute.com ↗)
    25comments
  5. C++26: Trivial infinite loops are no longer undefined behaviour(sandordargo.com ↗)
    109comments
  6. OpenJev(openjev.com ↗)
    212comments
  7. US Military had close call after using AI for hallucinated intelligence report(cnn.com ↗)
    4comments
  8. I vibed a proof of Conway's conjecture(overreacted.io ↗)
    118comments
  9. A heap overflow and SSO misconfiguration to compromise OpenAI internal repos(hacktron.ai ↗)
    182comments
  10. I don't like passkeys(hawksley.dev ↗)
    561comments
  11. Jemalloc 5.4.0(github.com/jemalloc ↗)
    76comments
  12. Mathematicians Build Long-Awaited Graph Sandwich(quantamagazine.org ↗)
    6comments
  13. NATS publishes preliminary report on technical incident of 8 September(nats.aero ↗)
    23comments
  14. GrassLobster: AI Agentic Generation of Parametric Geometry Workflows(miro.vision ↗)
    4comments
  15. The scourge of x86 emulation(fex-emu.com ↗)
    69comments
  16. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    176comments
  17. Cekura (YC F24) Is Hiring(ycombinator.com ↗)
    discuss
  18. The Shadows Lurking in the Equations – Underwater Islands(gods.art ↗)
    9comments
  19. Show HN: Scry, programmable internet search w/ congestion pricing(scry.io ↗)
    3comments
  20. Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him(nytimes.com ↗)
    159comments
  21. BeanShell3 in Development(beanshell.github.io ↗)
    13comments
  22. Replacing Pull Requests with Delta(zed.dev ↗)
    70comments
  23. Qwen 3.8 Omni Flash(qwen.ai ↗)
    118comments
  24. An empirical study of harness design for coding agents(arxiv.org ↗)
    41comments
  25. Build Faster Feedback Loops Using Qualitative User Research(nseldeib.com ↗)
    2comments
  26. AI chatbots are becoming experts at changing people's minds(science.org ↗)
    80comments
  27. Second Circuit Allows Government to Search Electronic Devices at the Border(knightcolumbia.org ↗)
    49comments
  28. Systemd is a suite of basic building blocks(systemd.io ↗)
    1comments
  29. How to Write with an LLM(sockpuppet.org ↗)
    198comments
  30. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    62comments

Naur on Programming as Theory Building (1985) [pdf]

6 pointsby 4y agopages.cs.wisc.edu
3 comments
4y agoHN ↗

Notes:

My first encounter with this paper came from this thread:

"programmers spend most of their time trying to figure out and understand the system"

https://news.ycombinator.com/item?id=30860135

There are numerous interesting observations from other readers.

One of my favorites is:

mikewarot writes

The main value of a software company is the mapping of source code and problem space in the developer’s heads [In linked article]

4y agoHN ↗

I also saw this (Naur's piece) linked to in that thread; thank you for submitting it, and it's rather a shame it didn't get many upvotes. It is definitely front-page worthy. I just sat down to read it, tonight.

And wow, what a treat it was. I thought I knew what is argument was going to be (that theory building is the primary task of programmers) — but the plot twist I did not see coming was the argument that it is inherently a part of the programmer's mind, and cannot be separated from the mind! And wow, was it well argued. Went in for a lesson in engineering, and got schooled in philosophy too.