Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Is A.I. Above the Law?(newyorker.com)
    1 pointsby 0 minutes ago
    1comments
  2. Show HN: Agnetlearn; From first principles to reliable agents(agentlearn.dev)
    1 pointsby 0 minutes ago
    —discuss
  3. Fire breaks out at Starlink station in Poland, Russians suspected(pravda.com.ua)
    1 pointsby 0 minutes ago
    —discuss
  4. The Group Chat Where World Leaders Are Racing to Create AI Controls(wsj.com)
    1 pointsby 2 minutes ago
    —discuss
  5. Two and a half years without a gallbladder(tracydurnell.com)
    1 pointsby 2 minutes ago
    —discuss
  6. Trump's US no longer a reliable ally, warns Belgium in leaked document(ft.com)
    1 pointsby 2 minutes ago
    —discuss
  7. RSI and the Beginning of History(avidfayaz.com)
    1 pointsby 3 minutes ago
    —discuss
  8. Measure Distant Asteroids with a DIY Rig(ieee.org)
    1 pointsby 4 minutes ago
    —discuss
  9. Show HN: Cbjev – typed decisions about text from one encoder pass(github.com/tomek7667)
    1 pointsby 4 minutes ago
    —discuss
  10. She HN: Quick route, a simple single page route planning tool(theinstant.cc)
    1 pointsby 5 minutes ago
    —discuss
  11. Jev Does Not Play Dice: 83% probability, 19% accuracy on a hidden fair die roll(kantahayashiai.github.io)
    1 pointsby 6 minutes ago
    2comments
  12. Amazon to Expand Robot-Making Capacity with New, $100M Indiana Hub(wsj.com)
    1 pointsby 7 minutes ago
    —discuss
  13. Databricks Acquires Row Zero, Bringing Live, Governed Spreadsheets to Genie(databricks.com)
    1 pointsby 7 minutes ago
    —discuss
  14. Show HN: Site MCP – Let any AI agent read your website, free, no install(sitemcp.dev)
    1 pointsby 7 minutes ago
    —discuss
  15. What Is Happening with PostgreSQL 19(snowflake.com)
    1 pointsby 7 minutes ago
    —discuss
  16. California's Shadow Welfare System(city-journal.org)
    2 pointsby 8 minutes ago
    —discuss
  17. New metastable ice phases via supercooled water (July 2025)(arxiv.org)
    1 pointsby 9 minutes ago
    —discuss
  18. Vulkan Hardware Database Quick Filters(saschawillems.de)
    1 pointsby 9 minutes ago
    —discuss
  19. The Murky History of Soviet-Born Tetris(mitpress.mit.edu)
    2 pointsby 10 minutes ago
    —discuss
  20. Tetrahedral cages significantly reduce BVH memory usage(gpuopen.com)
    1 pointsby 10 minutes ago
    —discuss
  21. Memory Management, Explained Simply (Part 1) [video](youtube.com)
    1 pointsby 10 minutes ago
    —discuss
  22. Show HN: Maxxwell – An Agent That Manages Your Other Coding Sessions(maxxwell.dev)
    1 pointsby 10 minutes ago
    1comments
  23. Cybernation – AI album by AI's about the coming of AI – concept album(cybernation.world)
    2 pointsby 11 minutes ago
    —discuss
  24. Shadow roots, explained with live examples(simonwillison.net)
    1 pointsby 11 minutes ago
    —discuss
  25. Free Job Application Tracker Spreadsheet: Keep Every Next Step in View(foxapply.com)
    1 pointsby 11 minutes ago
    —discuss
  26. Identity is not authority: the missing check before AI agents act(delegus.ai)
    1 pointsby 12 minutes ago
    —discuss
  27. I Built an iPhone Game with AI Without Writing a Single Line of Code(medium.com/meetcyber)
    1 pointsby 13 minutes ago
    1comments
  28. We packed every question into one encoder pass and got 14x the throughput(codepawl.com)
    1 pointsby 14 minutes ago
    —discuss
  29. Fine to use computer-generated survey responses–if you don't care about data(columbia.edu)
    1 pointsby 15 minutes ago
    —discuss
  30. Combining Machine Learning and Homomorphic Encryption(machinelearning.apple.com)
    1 pointsby 15 minutes ago
    —discuss

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

3 pointsby 1h agogithub.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗