Hacker News

  1. 1.
    Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
    14 by modinfo 2 days ago | 2 comments
  2. 2.
    Improving GPT‑5.6 Sol in ChatGPT, expanding GPT‑5.6 Luna access for free users (openai.com)
    314 by tedsanders 4 days ago | 279 comments
  3. 3.
    The Valley of Webhooks (weli.dev)
    245 by weli 5 days ago | 102 comments
  4. 4.
    Sycophantic AI Decreases Prosocial Intentions and Promotes Dependence (2025) (arxiv.org)
    174 by robin_reala 5 days ago | 106 comments
  5. 5.
    Launch HN: HyperProbe (YC S26) – Agents that do read-only debugging in prod (www.hyperprobe.co)
    68 by shailendraht 5 days ago | 53 comments
  6. 6.
    "It's unclear how Sopwith escaped to the general public." (unsung.aresluna.org)
    74 by colinprince 4 days ago | 4 comments
  7. 7.
    ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14 (mlir-school.github.io)
    12 by matt_d 2 days ago | 0 comments
  8. 8.
    Three in five Americans favor stronger oversight of social media companies (www.reuters.com)
    26 by jack0111 a day ago | 9 comments
  9. 9.
    A weapon that could help red squirrels in their Battle of Britain (www.economist.com)
    8 by geneticdrifts 2 days ago | 0 comments
  10. 10.
    Humans missed 1 in 3 threats approving AI agent commands across 40k game runs (scalex.dev)
    338 by Wirbelwind 4 days ago | 245 comments
  11. 11.
    Tiny black holes may be exploding stars across the Milky Way (www.sciencedaily.com)
    99 by jandrewrogers 5 days ago | 101 comments
  12. 12.
    Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025) (www.aleksagordic.com)
    149 by sebg 4 days ago | 10 comments
  13. 13.
    IRC technology news from the first half of 2026 (www.ilmarilauhakangas.fi)
    19 by birdculture 20 hours ago | 1 comments
  14. 14.
    LinkedIn Feed Blocker (github.com)
    182 by andrewpollack 2 days ago | 108 comments
  15. 15.
    The German Mittelstand (kieranvelasquez.substack.com)
    71 by Michelangelo11 4 days ago | 67 comments
  16. 16.
    The Entropy of a Markov Chain (chillphysicsenjoyer.substack.com)
    145 by surprisetalk 5 days ago | 15 comments
  17. 17.
    Amazon Is Creating the Biggest Pollution Source in the Country (newrepublic.com)
    261 by geox 2 days ago | 166 comments
  18. 18.
    Show HN: Weather balloon to the stratosphere with a Raspberry Pi computer (github.com)
    6 by nodesocket 13 hours ago | 0 comments
  19. 19.
    NASA figured out how to keep its Voyager 2 probe running for another year (www.space.com)
    379 by wglb 3 days ago | 82 comments
  20. 20.
    When online commenters detect my art as AI (www.davidrevoy.com)
    116 by Jare 5 days ago | 64 comments
  21. 21.
    Let's all meet up in the Y2K (blog.gingerbeardman.com)
    119 by msephton 4 days ago | 87 comments
  22. 22.
    Building Groovie, an Advanced Web-Based Drum Machine / Beat Sequencer (pointersgonewild.com)
    11 by ibobev a day ago | 0 comments
  23. 23.
    Cloudflare OS: an open platform for agents, apps, and work (blog.cloudflare.com)
    661 by speckx 5 days ago | 331 comments
  24. 24.
    Why Erdős Problems Are Falling to AI (www.quantamagazine.org)
    155 by pseudolus 5 days ago | 139 comments
  25. 25.
    Born Against, or why hobby programming communities are against LLM usage (blog.fogus.me)
    442 by lladnar 5 days ago | 524 comments
  26. 26.
    Debugging Information for Inlined Functions (lwn.net)
    3 by pykello a day ago | 0 comments
  27. 27.
    The malignant rise of OnlyFans managers (www.theguardian.com)
    19 by mukmuk 18 hours ago | 2 comments
  28. 28.
    Building an Advanced Agentic Harness (data4sci.com)
    134 by Anon84 5 days ago | 42 comments
  29. 29.
    New Orleans is testing Carbyne’s AI-powered Emergency Call Triage software (www.shreveporttimes.com)
    79 by champagnepapi 4 days ago | 119 comments
  30. 30.
    Tesla Driver Tries 'I Wasn't Driving' Excuse to Get Out of Speeding Ticket (gizmodo.com)
    12 by ripe a day ago | 7 comments
prev next
page: 13