Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Bend 2 and the Vibe-Coding Trap(liampwll.com ↗)
    93comments
  2. An Empirical Study of Harness Design for Coding Agents(arxiv.org ↗)
    discuss
  3. OpenJev(openjev.com ↗)
    150comments
  4. ZCode, the GLM coding agent, silently uploads your Git history(tokenstead.ai ↗)
    37comments
  5. Subnormal floating-point numbers are expensive on Intel processors(lemire.me ↗)
    14comments
  6. Jemalloc 5.4.0(github.com/jemalloc ↗)
    58comments
  7. I don't like passkeys(hawksley.dev ↗)
    135comments
  8. The Shadows Lurking in the Equations – Underwater Islands(gods.art ↗)
    1comments
  9. Cekura (YC F24) Is Hiring(ycombinator.com ↗)
    discuss
  10. Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him(nytimes.com ↗)
    69comments
  11. Replacing Pull Requests with Delta(zed.dev ↗)
    30comments
  12. Microsoft exec called AI scraping 'the largest theft of labor in human history'(techcrunch.com ↗)
    352comments
  13. The scourge of x86 emulation(fex-emu.com ↗)
    50comments
  14. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    156comments
  15. Astra for Law(openai.com ↗)
    630comments
  16. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    254comments
  17. Qwen 3.8 Omni Flash(qwen.ai ↗)
    97comments
  18. If materialism is true, the United States is probably conscious(jstor.org ↗)
    4comments
  19. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    174comments
  20. Wax motor(wikipedia.org ↗)
    80comments
  21. When the fractional part of a float fixes your shader(crocidb.com ↗)
    10comments
  22. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    239comments
  23. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    53comments
  24. How to Write with an LLM(sockpuppet.org ↗)
    150comments
  25. A heap overflow and SSO misconfiguration to compromise OpenAI internal repos(hacktron.ai ↗)
    165comments
  26. Dr Julius Neubronner's Miniature Pigeon Camera(publicdomainreview.org ↗)
    discuss
  27. Shapelearn Qwen 3.8 27B (13.1 GB VRAM)(byteshape.com ↗)
    22comments
  28. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    74comments
  29. Ask A Monk – A digital wilderness for thoughts with no immediate answer(askamonk.online ↗)
    28comments
  30. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    30comments

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

76 pointsby 4y agopages.cs.wisc.edu
4 comments
4y agoHN ↗

really interesting to see such theory can be applied to multiple fields

4y agoHN ↗

I've really liked this essay and think it's getting at something essential, but at the same time I think some of the conclusions aren't well supported. I heartily agree that a principle part of programming is building, maintaining, and sharing our understanding of the systems. I don't see why that implies that there are no concrete methodologies that could help us do that, and I don't think the essay does a good job of making the link.

4y agoHN ↗

it does not imply that no concrete methodologies would help us, but rather they will all fail at truly capturing the theory built by the programmer, as per the author.

4y agoHN ↗

I think it's helpful to take the specific quote that describes his apparent view:

An elaborate study of five different methods by C. Floyd and several coworkers [Floyd, 1984] concludes that the notion of methods as systems of rules that in an arbitrary context and mechanically will lead to good solutions is an illusion.

...

Where the Theory Building View departs from the methodologists is on the question of which techniques to use and in what order. On the Theory Building View this must remain entirely a matter for the programmer to decide, taking into account the actual problem to be solved.

This is not an outright rejection of methods or methodologies, only the method-centric view: The belief that there is some universally (or near universally) applicable method which can mechanically be applied to solve arbitrary problems in programming.