Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Neural Drive (mlx-optiq.com)
    1 pointsby 0 minutes ago
    —discuss
  2. Chatbots give a narrow slice of knowledge:Researchers warn of knowledge collapse (ku.dk)
    1 pointsby 1 minute ago
    —discuss
  3. China Broadens Travel Curbs to Encompass Family of Top AI Talent (bloomberg.com)
    1 pointsby 1 minute ago
    —discuss
  4. Cohesix – find out what happened to a local AI job (github.com/lukeb-aidev)
    1 pointsby 3 minutes ago
    —discuss
  5. Richardson Maturity Model, Steps Toward the Glory of REST (martinfowler.com)
    1 pointsby 6 minutes ago
    1comments
  6. Nvidia Launches Open Agent Safety Platform (mrkt30.com)
    1 pointsby 6 minutes ago
    —discuss
  7. Vite+ 1.0 Is Out (voidzero.dev)
    1 pointsby 6 minutes ago
    —discuss
  8. The Largest Roman Mosaic Ever Excavated Opens to the Public (thisiscolossal.com)
    1 pointsby 8 minutes ago
    —discuss
  9. Space X Startship first orbital flight (nytimes.com)
    1 pointsby 8 minutes ago
    —discuss
  10. SlopTotal, a Self-hosted AI text detector that runs 23 open models (github.com/pablocaeg)
    3 pointsby 8 minutes ago
    —discuss
  11. Geely to Buy 30% Stake in Rival Nio's Battery-Swapping Unit (bloomberg.com)
    1 pointsby 9 minutes ago
    —discuss
  12. Fingerprints of Jev (jdhornsby.com)
    1 pointsby 9 minutes ago
    —discuss
  13. Why Software Factories Fail [video] (youtube.com)
    1 pointsby 11 minutes ago
    —discuss
  14. Intro to Clojure Workshop [video] (youtube.com)
    1 pointsby 11 minutes ago
    —discuss
  15. Is an Agentic Bank Run Coming? (apollo.com)
    2 pointsby 12 minutes ago
    —discuss
  16. My coding agent now records the demo video for its own PRs (github.com/half144)
    1 pointsby 12 minutes ago
    —discuss
  17. #59 Hans Kelsen and Carl Schmitt: Friend and Enemy (voelkerrechtsblog.org)
    1 pointsby 14 minutes ago
    —discuss
  18. Hospitals use AI to find more things to bill for. Insurers use AI to deny them. (twitter.com/hedgiemarkets)
    1 pointsby 15 minutes ago
    —discuss
  19. Parisians on Hunt for Baguettes as Bakers Get Nod to Take Vacation (2015) (npr.org)
    1 pointsby 16 minutes ago
    —discuss
  20. How NOT to detect residential proxies (truesign.ai)
    5 pointsby 17 minutes ago
    1comments
  21. Oracle triggers 'force majeure' on data center project over power delays (reuters.com)
    1 pointsby 17 minutes ago
    —discuss
  22. The case for Wile E. Coyote, engineer: how it shaped the way we build (coyotiv.com)
    1 pointsby 18 minutes ago
    —discuss
  23. Show HN: Skill that lets you run other Skills as Jinja templates (github.com/electronick1)
    2 pointsby 18 minutes ago
    —discuss
  24. Corporate America embraces cheaper 'open' AI models (ft.com)
    1 pointsby 19 minutes ago
    —discuss
  25. A Replacement for Bert: Introducing ModernBERT (answer.ai)
    1 pointsby 20 minutes ago
    —discuss
  26. Vanguard: Anti-Boost, Pro-Skill (riotgames.com)
    1 pointsby 21 minutes ago
    1comments
  27. Applying Deming's Continuous Improvement to Multi-Agent AI Systems (medium.com/zrkjsy)
    1 pointsby 21 minutes ago
    —discuss
  28. Show HN: Quick Decision - Select text, get a yes/no verdict (Jev) (getopenclip.app)
    1 pointsby 21 minutes ago
    —discuss
  29. RustFS 1.0 is GA after 2.5 years (medium.com/ethan-carter)
    2 pointsby 21 minutes ago
    —discuss
  30. Celebrating Sixteen Years of LibreOffice (documentfoundation.org)
    1 pointsby 22 minutes ago
    —discuss

Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture

1 pointsby 57m agogithub.com
Open original View on HN
1 comments
Open thread on HN ↗