1. U.S. Department of Energy Launches the Genesis Open Models Initiative (genesisopenmodels.anl.gov)
    346 points by moelf 1 day | 151 comments
  2. Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
    11 points by modinfo about 14 hours | discuss
  3. Muse Code Sends Codex and Claude Instructions to Meta by Default (runtimewire.com)
    5 points by ryanmerket about 2 hours | 1 comments
  4. Kitesurf: Agent-first browser that runs in V8 isolates (blog.cloudflare.com)
    214 points by m3h 2 days | 61 comments
  5. 8 Out of 10 Banks in Belgium Hate This One Weird EID RCE (amibeingpwned.com)
    14 points by Doohickey-d about 13 hours | 4 comments
  6. New Mexico court orders Meta to pay $567m over harms to children’s mental health (www.theguardian.com)
    796 points by boplicity 2 days | 423 comments
  7. Responding to the next frontier of critical cyber capabilities (openai.com)
    197 points by artninja1988 1 day | 192 comments
  8. A viral mosquito-killing laser device could be coming to the U.S. (www.npr.org)
    21 points by toomuchtodo about 6 hours | 12 comments
  9. Show HN: Tura – Build agent that uses 80% less token and delivers better results (github.com)
    6 points by turaainet about 7 hours | discuss
  10. Termdom: Build terminal apps with HTML, CSS and the DOM (github.com)
    4 points by thunderbong about 2 hours | discuss
  11. From One Seed to a Thousand Leaves – Merkle's Authentication Tree (0xkrt26.github.io)
    48 points by denismenace 5 days | 4 comments
  12. What Problem is YC's qm supposed to solve? (ferran.sh)
    5 points by Varun08 about 8 hours | discuss
  13. Europe's free satellite service just made it easier to track wildfires (arstechnica.com)
    156 points by 01-_- about 22 hours | 13 comments
  14. AMD acquires Taalas to boost inference performance by etching models in silicon (www.theregister.com)
    927 points by itvision 2 days | 694 comments
  15. Oracle bans AI-generated code from OpenJDK (app.dealroom.co)
    526 points by delduca 1 day | 372 comments
  16. The Nixpkgs core team has disbanded (discourse.nixos.org)
    390 points by Meleagris 1 day | 203 comments
  17. Flesh-eating screwworms feast on humans in Mexico; human cases top 500 (arstechnica.com)
    16 points by Eloissssss about 6 hours | 1 comments
  18. Assembly Hall of Shame (github.com)
    415 points by piotrgrabowski 1 day | 109 comments
  19. ACM Europe Summer School on MLIR 2026: Streamed Live, August 10-14 (mlir-school.github.io)
    6 points by matt_d about 12 hours | discuss
  20. Amazon Is Creating the Biggest Pollution Source in the Country (newrepublic.com)
    223 points by geox about 14 hours | 146 comments
  21. 2027 memory capacity is reportedly sold out (www.ign.com)
    498 points by inigyou 2 days | 477 comments
  22. "Coding is solved" misses the point (blog.mastykarz.nl)
    15 points by listless about 6 hours | 6 comments
  23. Apple says Mac users in China can connect to Alibaba's Qwen AI service (www.reuters.com)
    5 points by 1659447091 43 minutes | discuss
  24. Auto mode is now the default in Claude Code for Pro, Max, and Team plans (simonwillison.net)
    11 points by spenvo about 7 hours | 4 comments
  25. The AI Apocalypse Is Here (www.compactmag.com)
    43 points by reasonableklout about 6 hours | 38 comments
  26. Launch HN: ProvenMetal (YC S26) delivers circuit boards in days instead of weeks (provenmetal.com)
    231 points by willcarkner 3 days | 155 comments
  27. Never Gonna Give You Up but the lyrics are in alphabetical order [video] (www.youtube.com)
    5 points by mooreds about 4 hours | discuss
  28. Show HN: Try Benzi – A coding harness/agent beating Claude Code itself on Sonnet (benzi.fly.dev)
    8 points by showhz about 9 hours | 1 comments
  29. Mario Meets Pareto (www.mayerowitz.io)
    1168 points by theanonymousone 3 days | 165 comments
  30. Guarded Methods in OCaml (2025) (xvw.lol)
    84 points by birdculture 6 days | 7 comments
More