Hacker News

New stories

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

Tailmux – connect to multiple tailnets at once

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