Hacker News

Top stories

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

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.