Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Jemalloc 5.4.0(github.com/jemalloc ↗)
    36comments
  2. The scourge of x86 emulation(fex-emu.com ↗)
    20comments
  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 ↗)
    163comments
  9. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    33comments
  10. Wax motor(wikipedia.org ↗)
    69comments
  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 ↗)
    145comments
  13. Shapelearn Qwen 3.8 27B (13.1 GB VRAM)(byteshape.com ↗)
    7comments
  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. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    37comments
  20. Speeding up gearhash on ARM64(sam.dev ↗)
    discuss
  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. Fixing an NZXT Signal 4K30 part 2: the green/pink video bug(downtowndougbrown.com ↗)
    10comments
  24. CrowdSec Source Code Leak(crowdsec.net ↗)
    48comments
  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 ↗)
    41comments
  30. Khipu (Quipu) Field Guide(khipufieldguide.com ↗)
    discuss

Programming as Theory Building (by Naur of BNF)

26 pointsby 18y agozafar.se
2 comments
18y agoHN ↗

Reading this article gave me insight into the interaction that typically occurs in Lisp discussions, where someone will present sample code where they are having a problem and requesting a solution. Instead of getting the answer they expect, what they typically receive is an explanation of why that is not "the Lisp way". On the surface, this looks like nitpicking, but when you look at it from the Programming as Theory Building viewpoint, it is clear that the respondents are more versed in the theory of Lisp and are merely trying to enrich the original requester with the same enlightenment.

In general, I thought the article was excellent, as it voiced many of the ideas that I've seen pg express in his likening of Lisp programming to working with clay, as well as many of my own insights of what programming actually means to me. Unfortunately, it also helps to justify my constant rewriting of my code to make it more elegant, as any mathematician would be expected to do the same. While this may be a good intellectual exercise, it's not necessarily good for getting stuff done.

18y agoHN ↗

I'm with ya on rewriting code to make it cleaner. Maybe it's OCD, but who cares. It's one of the joys of coding to me. And yeah, sometimes it's costly, but sometimes it's very beneficial, and regardless it's like an itch.