Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Jemalloc 5.4.0(github.com/jemalloc ↗)
    37comments
  2. The scourge of x86 emulation(fex-emu.com ↗)
    22comments
  3. Astra for Law(openai.com ↗)
    524comments
  4. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    127comments
  5. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    217comments
  6. Qwen 3.8 Omni Flash(qwen.ai ↗)
    78comments
  7. When the fractional part of a float fixes your shader(crocidb.com ↗)
    1comments
  8. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    165comments
  9. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    33comments
  10. Wax motor(wikipedia.org ↗)
    70comments
  11. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    227comments
  12. A heap overflow and SSO misconfiguration to compromise OpenAI internal repos(hacktron.ai ↗)
    146comments
  13. Shapelearn Qwen 3.8 27B (13.1 GB VRAM)(byteshape.com ↗)
    8comments
  14. How to Write with an LLM(sockpuppet.org ↗)
    92comments
  15. Why Does the Universe Expand?(cosmicave.org ↗)
    50comments
  16. Ask A Monk – A digital wilderness for thoughts with no immediate answer(askamonk.online ↗)
    23comments
  17. Speeding up gearhash on ARM64(sam.dev ↗)
    discuss
  18. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    56comments
  19. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    23comments
  20. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    37comments
  21. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    367comments
  22. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    105comments
  23. Apple detectives solved mystery of ancient tree and rewrote the history of fruit(scientificamerican.com ↗)
    10comments
  24. CrowdSec Source Code Leak(crowdsec.net ↗)
    48comments
  25. Fixing an NZXT Signal 4K30 part 2: the green/pink video bug(downtowndougbrown.com ↗)
    10comments
  26. The most important product decision is what you don't build(liamnugent.me ↗)
    37comments
  27. Show HN: Snapdrop: Instantly share files between devices. No setup, no signup(snapdrop.me ↗)
    34comments
  28. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data(arxiv.org ↗)
    39comments
  29. How Uber Protects Against Retry Storms(uber.com ↗)
    42comments
  30. Khipu (Quipu) Field Guide(khipufieldguide.com ↗)
    discuss

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.