Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Black robin, once down to just a single breeding pair, wins NZ bird of the year (theguardian.com)
    2 pointsby 0 minutes ago
    —discuss
  2. Damned If You Do, Damned If You Don't (sspnet.org)
    1 pointsby 2 minutes ago
    1comments
  3. LabMCP: Open-source connectors for AI-controlled lab instruments (k-dense.ai)
    1 pointsby 2 minutes ago
    —discuss
  4. Atwood's Duck (2022) (themindcollection.com)
    1 pointsby 2 minutes ago
    —discuss
  5. Why a style panel should know which components support breakpoint objects? (crossui.com)
    1 pointsby 2 minutes ago
    —discuss
  6. Show HN: I emulated Roborock's cloud so my vacuum works without internet (github.com/python-roborock)
    1 pointsby 2 minutes ago
    —discuss
  7. Starship Flight 14 – Live Broadcast (x.com)
    1 pointsby 2 minutes ago
    —discuss
  8. What Sentry's 16GB selfhosted taught me (epure.sh)
    2 pointsby 4 minutes ago
    —discuss
  9. 'I'm 100% natural': how Japan's 90-year-old bodybuilder is still winning titles (theguardian.com)
    1 pointsby 4 minutes ago
    —discuss
  10. The way we talk to bots matters even if they aren't conscious (psyche.co)
    1 pointsby 4 minutes ago
    —discuss
  11. Public library visits increased by two million nationwide in two years (rte.ie)
    1 pointsby 5 minutes ago
    —discuss
  12. It's hard to sell a house when it's covered in baboon faeces (theguardian.com)
    1 pointsby 6 minutes ago
    —discuss
  13. What is the AI capex breakeven rate? (ft.com)
    1 pointsby 6 minutes ago
    1comments
  14. Five failure modes around fact retirement in agent memory, with measurements (medium.com/dat999zx)
    1 pointsby 7 minutes ago
    —discuss
  15. Defend VPNs (defendvpns.com)
    2 pointsby 9 minutes ago
    —discuss
  16. Show HN: Libreta – Financial Models in CSV and YAML (github.com/danielochoa94)
    2 pointsby 10 minutes ago
    —discuss
  17. Debugging Postgres Performance Under Row-Level Security (myhoai.com)
    1 pointsby 11 minutes ago
    —discuss
  18. Redbrix – A browser-based MySQL editor for non-technical users (redbrix.io)
    2 pointsby 11 minutes ago
    —discuss
  19. The next AI divide is between learning and earning (weforum.org)
    1 pointsby 11 minutes ago
    —discuss
  20. Reification (Fallacy) (wikipedia.org)
    2 pointsby 13 minutes ago
    —discuss
  21. Simdjson 5.0 Is Out (lemire.me)
    2 pointsby 13 minutes ago
    —discuss
  22. Stop the World (rruxandra.github.io)
    1 pointsby 14 minutes ago
    —discuss
  23. Examples of Well-Worn Objects (core77.com)
    1 pointsby 15 minutes ago
    —discuss
  24. SpaceX Starship Orbital Launch Attempt Starting in ~10 Mins (x.com)
    2 pointsby 18 minutes ago
    1comments
  25. Anamnesis (vhbelvadi.com)
    2 pointsby 18 minutes ago
    —discuss
  26. Fusion Startup Builds Reactor with Magnetic Mirrors (ieee.org)
    3 pointsby 20 minutes ago
    —discuss
  27. KiDex – component library manager for KiCad (kidex.io)
    1 pointsby 20 minutes ago
    —discuss
  28. Scholarship, authorship and GenAI: claim your work (ecologyisnotadirtyword.com)
    2 pointsby 25 minutes ago
    1comments
  29. Trolley – PvP Trolley Problem (typememetics.institute)
    3 pointsby 28 minutes ago
    —discuss
  30. Ionic partners with Capawesome as the migration path off Appflow (ionic.io)
    2 pointsby 29 minutes ago
    1comments

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

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