Hacker News

New stories

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

Cantor's Diagonal Argument

1 pointsby 11m agoen.wikipedia.org
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗