Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Show HN: TheSiftNow – a field guide and compatibility checker for The Sift (thesiftnow.com)
    1 pointsby 3 minutes ago
    —discuss
  2. The Macroeconomic Effect of AI: Sizing the Software Engineering Channel (NBER) (nber.org)
    1 pointsby 5 minutes ago
    —discuss
  3. Japan holds first panel meeting on anti-espionage measures (mainichi.jp)
    1 pointsby 7 minutes ago
    —discuss
  4. Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized (github.com/qinz1yang)
    1 pointsby 9 minutes ago
    —discuss
  5. Quake 2 on ESP32-P4 (github.com/alexkid77)
    2 pointsby 10 minutes ago
    —discuss
  6. With iOS 27, Apple Is Quietly Setting the Stage to Paywall Your iPhone (pcmag.com)
    1 pointsby 11 minutes ago
    —discuss
  7. Migrating from MinIO to Predastore (mulgadc.com)
    5 pointsby 12 minutes ago
    1comments
  8. Tailmux – connect to multiple tailnets at once (github.com/growlyx)
    1 pointsby 13 minutes ago
    —discuss
  9. Why Cheetahs Are Friendly (But Never Domesticated) [video] (youtube.com)
    1 pointsby 17 minutes ago
    —discuss
  10. Cantor's Diagonal Argument (wikipedia.org)
    1 pointsby 18 minutes ago
    —discuss
  11. VPNs, Copyright Territoriality, and Why Borders Still Matter Online (wolterskluwer.com)
    1 pointsby 18 minutes ago
    1comments
  12. El Niño bursts through temperature record months before peak (theguardian.com)
    1 pointsby 19 minutes ago
    —discuss
  13. Machine will eventually solve face powder, in theory.. (2021) (reddit.com)
    2 pointsby 23 minutes ago
    —discuss
  14. Is this the Future of Gaming? [video] (youtube.com)
    1 pointsby 25 minutes ago
    —discuss
  15. InputConfig: Free Controller Mapper for Mac (inputconfig.com)
    1 pointsby 25 minutes ago
    —discuss
  16. TraceOn – best DevTools extension that explains why your page loaded slow (chromewebstore.google.com)
    2 pointsby 31 minutes ago
    —discuss
  17. Google Assistant won't be available soon (androidpolice.com)
    2 pointsby 33 minutes ago
    —discuss
  18. AG of Florida files for temporary injunction against OpenAI [pdf] (myfloridalegal.com)
    2 pointsby 34 minutes ago
    —discuss
  19. Anthropic warns AI may pose 'existential risks to humanity' in IPO filing (cnbc.com)
    2 pointsby 34 minutes ago
    —discuss
  20. Show HN: Error in official Swiss weather forecasts, recorded since September '25 (xlit.app)
    1 pointsby 35 minutes ago
    1comments
  21. Egg producers reach federal and state settlement over price-fixing allegations (cbsnews.com)
    3 pointsby 37 minutes ago
    —discuss
  22. Inside Texas immigration court where children fight to stay in the US (cnn.com)
    2 pointsby 37 minutes ago
    —discuss
  23. The Video Game Industries Dark Night (isfine.org)
    1 pointsby 41 minutes ago
    —discuss
  24. AMD Acquires Fei-Fei Li's World Labs for $8.2B (youtube.com)
    2 pointsby 42 minutes ago
    —discuss
  25. Show HN: How distributed Claude Code is built on a tunnelling service (nfltr.xyz)
    1 pointsby 46 minutes ago
    —discuss
  26. 2026 in LLMs (so far) (simonwillison.net)
    1 pointsby 48 minutes ago
    —discuss
  27. Show HN: Gargi Reflex: Autonomous Model Caching for System One Decisions (gargi.io)
    2 pointsby 52 minutes ago
    —discuss
  28. When oil prices spike, where does the money go? (theconversation.com)
    5 pointsby 58 minutes ago
    —discuss
  29. Clipboard Normalizer (jefftk.com)
    1 pointsby 59 minutes ago
    —discuss
  30. Global Cloud Status (globalcloudstatus.com)
    1 pointsby 1 hour ago
    1comments

Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized

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