Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Great Tea Race of 1866(wikipedia.org ↗)
    1 pointsby 5 minutes ago
    —discuss
  2. Cache-Tax(github.com/karanb192 ↗)
    1 pointsby 5 minutes ago
    —discuss
  3. Mova: Movement Analytics Platform(omid.al ↗)
    1 pointsby 6 minutes ago
    —discuss
  4. Lodestar – Easier Communication with Agents(try-lodestar.com ↗)
    1 pointsby 6 minutes ago
    1comments
  5. DDns: Endpoint-aware DNS resolution beyond IP addresses(dhttp.net ↗)
    1 pointsby 7 minutes ago
    —discuss
  6. Republican bill would order ISPs, DNS providers, and VPNs to block piracy sites(arstechnica.com ↗)
    2 pointsby 7 minutes ago
    —discuss
  7. Apple May Return to Server Market with Nvidia Technology(macrumors.com ↗)
    3 pointsby 13 minutes ago
    —discuss
  8. Google auto-banned my Bug Hunter account for exposing their fake "Delete" button(medium.com/istokovicsgyorgy79 ↗)
    1 pointsby 17 minutes ago
    —discuss
  9. iPhone 18 Pro Camera Review: Dunton, Colorado(austinmann.com ↗)
    1 pointsby 19 minutes ago
    —discuss
  10. Low-Cost Servers for AI and Developers(rawhq.io ↗)
    2 pointsby 20 minutes ago
    —discuss
  11. Show HN: A directory of 164 Asian AI companies, ranked by disclosed scale(asiaai.fyi ↗)
    1 pointsby 21 minutes ago
    —discuss
  12. ComplianceSnap – Free Ada/WCAG risk scanner for Shopify/WooCommerce stores: C(lumnika.com ↗)
    1 pointsby 26 minutes ago
    —discuss
  13. Antigravity-Preview-09-2026(aistudio.google.com ↗)
    2 pointsby 27 minutes ago
    —discuss
  14. Garbage trucks analyze homes with AI-powered cameras(popsci.com ↗)
    2 pointsby 30 minutes ago
    —discuss
  15. Pentagon weighs pulling nearly a third of U.S. forces from Europe(nbcnews.com ↗)
    3 pointsby 31 minutes ago
    —discuss
  16. The open source version of Claude Project that gives you the context ownershp(github.com/zqiren ↗)
    2 pointsby 32 minutes ago
    —discuss
  17. Essays of Dario Amodei are why people are worried about artificial intelligence(nytimes.com ↗)
    4 pointsby 33 minutes ago
    1comments
  18. Jev plays Roulette Wars on its own(twitter.com/nicosaraintaris ↗)
    1 pointsby 33 minutes ago
    —discuss
  19. LeanReact: Expressing Composable and Correct React Components in Lean(theoric.com ↗)
    1 pointsby 38 minutes ago
    —discuss
  20. Shapelearn Qwen 3.8 27B (13.1 GB VRAM)(byteshape.com ↗)
    2 pointsby 42 minutes ago
    —discuss
  21. Minimal Phone 2(minimalcompany.com ↗)
    3 pointsby 46 minutes ago
    —discuss
  22. Ubuntu 26.10 Moves cp, mv and rm Over To Rust Coreutils For 100% Transition(phoronix.com ↗)
    6 pointsby 46 minutes ago
    —discuss
  23. AWS now supports spend limits(amazon.com ↗)
    4 pointsby 47 minutes ago
    —discuss
  24. You can run Git on object storage if you re-make packfiles(tigrisdata.com ↗)
    2 pointsby 50 minutes ago
    1comments
  25. .agt – The Agent Namespace(agtnames.substack.com ↗)
    2 pointsby 59 minutes ago
    1comments
  26. Tiny e-readers aren't small Kindles. They're a different bet(readme.club ↗)
    6 pointsby 59 minutes ago
    —discuss
  27. Unix Was Right. We Made Linux Too Complicated [video](youtube.com ↗)
    4 pointsby 1 hour ago
    —discuss
  28. This California Educational Juggernaut Doesn't Need the SAT(nytimes.com ↗)
    3 pointsby 1 hour ago
    2comments
  29. Spectral AI Architecture: Executive Summary and Core Concepts(github.com/srdwy99m5j-lab ↗)
    2 pointsby 1 hour ago
    —discuss
  30. What Is LPO, NPO, CPO? Knowledge of Optical Interconnect Technologies(fiber-mart.com ↗)
    2 pointsby 1 hour ago
    —discuss

LeanReact: Expressing Composable and Correct React Components in Lean

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