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 ↗)
    21comments
  3. Astra for Law(openai.com ↗)
    521comments
  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 ↗)
    215comments
  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. Wax motor(wikipedia.org ↗)
    70comments
  10. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    33comments
  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. Ask A Monk – A digital wilderness for thoughts with no immediate answer(askamonk.online ↗)
    23comments
  16. Why Does the Universe Expand?(cosmicave.org ↗)
    50comments
  17. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    56comments
  18. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    23comments
  19. Speeding up gearhash on ARM64(sam.dev ↗)
    discuss
  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 ↗)
    366comments
  22. Apple detectives solved mystery of ancient tree and rewrote the history of fruit(scientificamerican.com ↗)
    9comments
  23. CrowdSec Source Code Leak(crowdsec.net ↗)
    48comments
  24. Fixing an NZXT Signal 4K30 part 2: the green/pink video bug(downtowndougbrown.com ↗)
    10comments
  25. The most important product decision is what you don't build(liamnugent.me ↗)
    36comments
  26. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    105comments
  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]

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.