Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. OpenJev(openjev.com ↗)
    7comments
  2. Jemalloc 5.4.0(github.com/jemalloc ↗)
    44comments
  3. The scourge of x86 emulation(fex-emu.com ↗)
    27comments
  4. Astra for Law(openai.com ↗)
    566comments
  5. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    133comments
  6. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    222comments
  7. Qwen 3.8 Omni Flash(qwen.ai ↗)
    82comments
  8. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    169comments
  9. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    34comments
  10. Wax motor(wikipedia.org ↗)
    70comments
  11. When the fractional part of a float fixes your shader(crocidb.com ↗)
    1comments
  12. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    232comments
  13. A heap overflow and SSO misconfiguration to compromise OpenAI internal repos(hacktron.ai ↗)
    155comments
  14. Shapelearn Qwen 3.8 27B (13.1 GB VRAM)(byteshape.com ↗)
    11comments
  15. Replacing Pull Requests with Delta(zed.dev ↗)
    2comments
  16. How to Write with an LLM(sockpuppet.org ↗)
    101comments
  17. Microsoft exec called AI scraping 'the largest theft of labor in human history'(techcrunch.com ↗)
    6comments
  18. Ask A Monk – A digital wilderness for thoughts with no immediate answer(askamonk.online ↗)
    24comments
  19. Why Does the Universe Expand?(cosmicave.org ↗)
    57comments
  20. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    58comments
  21. Speeding up gearhash on ARM64(sam.dev ↗)
    discuss
  22. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    26comments
  23. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    41comments
  24. Apple detectives solved mystery of ancient tree and rewrote the history of fruit(scientificamerican.com ↗)
    11comments
  25. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    370comments
  26. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    107comments
  27. The most important product decision is what you don't build(liamnugent.me ↗)
    39comments
  28. CrowdSec Source Code Leak(crowdsec.net ↗)
    49comments
  29. Fixing an NZXT Signal 4K30 part 2: the green/pink video bug(downtowndougbrown.com ↗)
    10comments
  30. How Uber Protects Against Retry Storms(uber.com ↗)
    42comments

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.