Hacker News

New stories

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

LeanReact: Expressing Composable and Correct React Components in Lean

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