Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. OpenAI Feared "Optics" of what might appear on Hacker News (authorsguild.org)
    136 pointsby 3 hours ago
    93comments
  2. Meta Blocks President Lula's Facebook Page, Campaign Ads 2 Weeks from Election (reddit.com)
    53 pointsby 55 minutes ago
    15comments
  3. Does Georgism work? Five years later (astralcodexten.com)
    335 pointsby 11 hours ago
    244comments
  4. Flip Fluid on Flip Dots (mitxela.com)
    77 pointsby 5 hours ago
    9comments
  5. Go Concurrency Distilled (antonz.org)
    216 pointsby 11 hours ago
    77comments
  6. PipePipe: NewPipe hard fork implementing SponsorBlock (github.com/infinityloop1308)
    416 pointsby 20 hours ago
    226comments
  7. Improving site performance by shipping more CSS (github.blog)
    40 pointsby 6 hours ago
    22comments
  8. DeepSeek Elastic Compute (DSec) (arxiv.org)
    240 pointsby 15 hours ago
    80comments
  9. Show HN: Reladraw – A diagram language where you decide where to place things (github.com/reladraw)
    300 pointsby 16 hours ago
    82comments
  10. C's Flexible Integer Sizes Were Not a Design Mistake (pikuma.com)
    25 pointsby 4 hours ago
    25comments
  11. A searchable library of forgotten public-domain film clips from 1915 onward (movingimagearchive.com)
    172 pointsby 17 hours ago
    26comments
  12. Biology might not be quantum, but its math is quantumlike (quantamagazine.org)
    67 pointsby 11 hours ago
    23comments
  13. What is the size of Yemen? (2024) (theborys.substack.com)
    164 pointsby 6 hours ago
    44comments
  14. ASML says it sold 'absolutely nothing' in Europe in 2026 (tomshardware.com)
    274 pointsby 1 day ago
    628comments
  15. Fifteen years later, the Apple Cards origin story (lexontech.org)
    393 pointsby 1 day ago
    102comments
  16. The internet discovers TLA+. Now what? (reasonable.io)
    8 pointsby 4 hours ago
    2comments
  17. Drawgent: Coding agent on a live Excalidraw canvas (tangled.org/yanndegat.tngl.sh)
    146 pointsby 17 hours ago
    41comments
  18. Reverse-engineering the Intel 8087's tangent algorithm: more than CORDIC (righto.com)
    79 pointsby 11 hours ago
    11comments
  19. An agent used DNS to reach an external chatbot (alignment.openai.com)
    95 pointsby 11 hours ago
    99comments
  20. How I changed teaching after AI managed to do all my homework assignments (thelastsoftwareengineer.substack.com)
    203 pointsby 1 day ago
    180comments
  21. LP Voting and Investor Consent for AIFs (taghash.io)
    3 pointsby 2 hours ago
    —discuss
  22. Exploding variance of means of exponentials: least-squares to the rescue (francisbach.com)
    29 pointsby 6 hours ago
    —discuss
  23. Promising discoveries about the potential for life on one of Saturn’s icy moons (fu-berlin.de)
    57 pointsby 12 hours ago
    30comments
  24. Turning GLM-5.3-Flash into a Jev-like decision model (privatemode.ai)
    93 pointsby 11 hours ago
    38comments
  25. How to keep enjoying programming in a world of LLMs (haskell.org)
    225 pointsby 23 hours ago
    269comments
  26. Snap Wants to be a State Actor??–Kansas v. Snap (ericgoldman.org)
    44 pointsby 9 hours ago
    12comments
  27. Modern Object Pascal Introduction for Programmers (castle-engine.io)
    174 pointsby 23 hours ago
    75comments
  28. Bob Mackie dressed stars–if they were brave enough (economist.com)
    7 pointsby 5 hours ago
    2comments
  29. Generate fonts where every LLM token is the same width (mesh.host)
    61 pointsby 14 hours ago
    12comments
  30. Evolving programming languages in the AI era (dashbit.co)
    91 pointsby 11 hours ago
    57comments

The internet discovers TLA+. Now what?

7 pointsby 4h agoreasonable.io
Open original View on HN
2 comments
44m agoHN ↗

Time to discover communicating sequential processes instead :P

12m agoHN ↗

That stuff gets rediscovered all the time, the latest example probably being golang

Open thread on HN ↗