Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. The Death of Educational Content on YouTube [video] (youtube.com)
    1 pointsby 3 minutes ago
    —discuss
  2. How Not to Build a Shading Language – BCON26 [video] (youtube.com)
    1 pointsby 5 minutes ago
    —discuss
  3. Show HN: Problee – play-money prediction markets (midterms, AI benchmarks, more) (problee.com)
    1 pointsby 5 minutes ago
    —discuss
  4. OpenAI axes next model citing safety issues (ft.com)
    3 pointsby 10 minutes ago
    1comments
  5. Former PLA Officers Eavesdrop on South Korean, U.S. Military Bases (chosun.com)
    1 pointsby 13 minutes ago
    —discuss
  6. Show HN: Jev Decision Layer: Save Frontier Tokens on Closed Decisions (github.com/qualixar)
    1 pointsby 13 minutes ago
    —discuss
  7. OpenAI models may get more reasoning budget through the API than through Codex (twitter.com/tokengremlin)
    1 pointsby 15 minutes ago
    —discuss
  8. Show HN: AppMaker – a visual JavaScript app builder (appmaker.io)
    1 pointsby 16 minutes ago
    —discuss
  9. Poincaré Conjecture Formalized in Lean4 (twitter.com/ayushkhaitan343)
    2 pointsby 23 minutes ago
    —discuss
  10. Show HN: TheSiftNow – a field guide and compatibility checker for The Sift (thesiftnow.com)
    1 pointsby 28 minutes ago
    —discuss
  11. The Macroeconomic Effect of AI: Sizing the Software Engineering Channel (NBER) (nber.org)
    1 pointsby 29 minutes ago
    1comments
  12. Japan holds first panel meeting on anti-espionage measures (mainichi.jp)
    2 pointsby 31 minutes ago
    —discuss
  13. Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized (github.com/qinz1yang)
    2 pointsby 33 minutes ago
    —discuss
  14. Quake 2 on ESP32-P4 (github.com/alexkid77)
    3 pointsby 34 minutes ago
    1comments
  15. With iOS 27, Apple Is Quietly Setting the Stage to Paywall Your iPhone (pcmag.com)
    2 pointsby 36 minutes ago
    1comments
  16. Migrating from MinIO to Predastore (mulgadc.com)
    6 pointsby 36 minutes ago
    1comments
  17. Tailmux – connect to multiple tailnets at once (github.com/growlyx)
    1 pointsby 37 minutes ago
    —discuss
  18. Why Cheetahs Are Friendly (But Never Domesticated) [video] (youtube.com)
    1 pointsby 42 minutes ago
    —discuss
  19. Cantor's Diagonal Argument (wikipedia.org)
    1 pointsby 42 minutes ago
    —discuss
  20. VPNs, Copyright Territoriality, and Why Borders Still Matter Online (wolterskluwer.com)
    2 pointsby 43 minutes ago
    1comments
  21. El Niño bursts through temperature record months before peak (theguardian.com)
    1 pointsby 43 minutes ago
    —discuss
  22. Machine will eventually solve face powder, in theory.. (2021) (reddit.com)
    2 pointsby 48 minutes ago
    —discuss
  23. Is this the Future of Gaming? [video] (youtube.com)
    1 pointsby 49 minutes ago
    —discuss
  24. InputConfig: Free Controller Mapper for Mac (inputconfig.com)
    1 pointsby 50 minutes ago
    —discuss
  25. TraceOn – best DevTools extension that explains why your page loaded slow (chromewebstore.google.com)
    2 pointsby 55 minutes ago
    —discuss
  26. Google Assistant won't be available soon (androidpolice.com)
    2 pointsby 57 minutes ago
    —discuss
  27. AG of Florida files for temporary injunction against OpenAI [pdf] (myfloridalegal.com)
    2 pointsby 58 minutes ago
    —discuss
  28. Anthropic warns AI may pose 'existential risks to humanity' in IPO filing (cnbc.com)
    3 pointsby 58 minutes ago
    1comments
  29. Show HN: Error in official Swiss weather forecasts, recorded since September '25 (xlit.app)
    1 pointsby 59 minutes ago
    1comments
  30. Egg producers reach federal and state settlement over price-fixing allegations (cbsnews.com)
    3 pointsby 1 hour ago
    —discuss

Poincaré Conjecture Formalized in Lean4

2 pointsby 25m agotwitter.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗