1. Emacs for NvChads (qlain.online)
    13 points by etoql 2 days | discuss
  2. Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
    14 points by modinfo 3 days | 2 comments
  3. Civilian plane crash in New Mexico tied to military GPS blocking (www.wired.com)
    498 points by dzdt 6 days | 278 comments
  4. A weapon that could help red squirrels in their Battle of Britain (www.economist.com)
    9 points by geneticdrifts 3 days | discuss
  5. LLMs won't break symmetric crypto (www.bfswa.blog)
    76 points by rowbin 6 days | 102 comments
  6. Black lung rates in Appalachia are high as the 1970s (text.npr.org)
    31 points by mooreds 1 day | 12 comments
  7. Tech leaders say AI means less work; staff say they work up to 90 hours a week (www.bbc.com)
    16 points by billybuckwheat about 20 hours | 3 comments
  8. Half of Europe's towns and villages have fewer residents than 60 years ago (correctiv.org)
    59 points by Pamar about 10 hours | 99 comments
  9. ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14 (mlir-school.github.io)
    12 points by matt_d 3 days | discuss
  10. Amazon Is Creating the Biggest Pollution Source in the Country (newrepublic.com)
    264 points by geox 3 days | 167 comments
  11. Foxes, Lions, and LLMs: The Machiavellian Game of Tech Hiring (twitter.com)
    6 points by 0xbeebs 1 day | discuss
  12. Notable Sandwiches #145: Yakisoba-Pan (buttondown.com)
    7 points by mooreds 2 days | 1 comments
  13. My phone detects going on a run as “someone snatching my phone and running off” (mastodon.gamedev.place)
    199 points by luu 5 days | 344 comments
  14. Herdr is joining Y Combinator. The runtime stays open (herdr.dev)
    281 points by collinmanderson 5 days | 189 comments
  15. Atlassian Rovo Exfiltrates Data, Bypassing Controls (www.promptarmor.com)
    304 points by hackerBanana 6 days | 137 comments
  16. NASA Fires Up Powerful Lithium-Fed Thruster for Trips to Mars (www.nasa.gov)
    10 points by bilsbie about 21 hours | 2 comments
  17. LinkedIn Feed Blocker (github.com)
    182 points by andrewpollack 3 days | 110 comments
  18. LLMs and Humans Are Cognitive Cousins (preposterousuniverse.com)
    5 points by quick_brown_fox about 21 hours | discuss
  19. Three Six Mafia – Data about "6/6/6 dating" (2024) (divingintheshallowend.com)
    171 points by embedding-shape 6 days | 198 comments
  20. I asked 4 AI companions what they were. They lied, then texted me the next day (papers.ssrn.com)
    11 points by Ai_Sycophancy 3 days | 2 comments
  21. Optimizing a GPT-2-Class Transformer on a GPU (martinkristiansen.com)
    3 points by mkristiansen 1 day | 1 comments
  22. NoRecognition: AI Adversarial Clothing (sandbox.norecognition.org)
    6 points by windyVector 2 days | 1 comments
  23. Zapscape (CVE-2026-64561): Guest-to-Host Escape in KVM/x86 (github.com)
    86 points by john_strinlai 5 days | 14 comments
  24. Cyber vulnerability sweep picks up Royal Navy drones sending data to China (www.theregister.com)
    6 points by emptybits about 9 hours | discuss
  25. Exploring input-output segmented algorithms (boostedcpp.net)
    4 points by ibobev 2 days | discuss
  26. Waymo in Dallas (waymo.com)
    330 points by xnx 7 days | 731 comments
  27. Octopus Energy: use less electricity during solar eclipse (www.theguardian.com)
    8 points by DamonHD 1 day | 1 comments
  28. Port the Enlightenment desktop environment to NetBSD (blog.netbsd.org)
    11 points by birdculture 1 day | 1 comments
  29. To recruit teachers, school districts are building homes (www.nytimes.com)
    63 points by mooreds 1 day | 67 comments
  30. Mark Zuckerberg Lays Out New AI Vision in 6,500-Word Essay (www.wsj.com)
    13 points by bookofjoe 1 day | 4 comments
More