Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. The first mRNA flu shot is now available. Here's who can get it(nbcnews.com)
    1 pointsby 3 minutes ago
    1comments
  2. The Chern-Simons Function and the Quantum Hall Effect(arxiv.org)
    1 pointsby 3 minutes ago
    —discuss
  3. Scaling Discovery Through Test-Time Communication(arxiv.org)
    1 pointsby 4 minutes ago
    —discuss
  4. BCBS Michigan posts $246M loss in 2025(beckerspayer.com)
    1 pointsby 6 minutes ago
    —discuss
  5. ShinyHunters hijack rival Clop's leak site(theregister.com)
    1 pointsby 6 minutes ago
    —discuss
  6. Raspberry Pi is intentionally blocking RAM capacity upgrades(notebookcheck.net)
    1 pointsby 8 minutes ago
    —discuss
  7. REO Trucks teams up with frankstephenson design on its new Runabout lineup(reotrucks.com)
    1 pointsby 10 minutes ago
    —discuss
  8. Avoid White Noise at Work(inc.com)
    1 pointsby 11 minutes ago
    —discuss
  9. First NetHack Ascension by an LLM(hardfought.org)
    1 pointsby 12 minutes ago
    —discuss
  10. Trump admin won't give AI leaders a 'liability shield,' Bessent tells CNBC(cnbc.com)
    1 pointsby 13 minutes ago
    —discuss
  11. Why Russia's New Jet-Powered Drones Are Harder to Stop(united24media.com)
    1 pointsby 14 minutes ago
    —discuss
  12. Magic Jev Ball(rorz.io)
    1 pointsby 17 minutes ago
    —discuss
  13. TIL: 0xCAFEBABE(artima.com)
    1 pointsby 17 minutes ago
    —discuss
  14. No Easy Fix for Bogus Respondents in Online Opt-In Polls(pewresearch.org)
    1 pointsby 19 minutes ago
    —discuss
  15. Show HN: Nvidia networking equipment masquerading as ATT consumer modems and PON
    1 pointsby 21 minutes ago
    —discuss
  16. Argus II: The story of a $150k artificial retina(youtube.com)
    1 pointsby 21 minutes ago
    —discuss
  17. Jevframe: Typed semantic decisions for Pandas and Polars with Jev(pypi.org)
    1 pointsby 22 minutes ago
    —discuss
  18. Department of Energy launches $215M race to build quantum computer by 2028(science.org)
    1 pointsby 24 minutes ago
    —discuss
  19. You're predictable. That's a good thing: Can personal LLMs learn your judgment?(handsdiff.substack.com)
    1 pointsby 25 minutes ago
    —discuss
  20. How Google is drafting AI chatbot laws around the country(npr.org)
    2 pointsby 25 minutes ago
    —discuss
  21. Did OpenAI solve the wrong Navier-Stokes problem?(scientificamerican.com)
    1 pointsby 27 minutes ago
    —discuss
  22. Open Mercato Hackathon in Wrocław – AveCezar(cygankiewicz.com)
    1 pointsby 29 minutes ago
    1comments
  23. Not-a-Mused: Hijacking Meta Muse on macOS(github.com/objective-see)
    1 pointsby 29 minutes ago
    —discuss
  24. Luxir: Open-source hybrid search engine(luxir.org)
    2 pointsby 29 minutes ago
    —discuss
  25. Family tied to suspected Chinese spy Christine Fang gave $4.4M to Newsom(cbsnews.com)
    6 pointsby 31 minutes ago
    —discuss
  26. What We Should Do During a Pause on AI Development(saikat.us)
    2 pointsby 37 minutes ago
    —discuss
  27. Earth Harp(williamearthharp.com)
    1 pointsby 37 minutes ago
    —discuss
  28. Show HN: Jevopt: Making intelligent compiler optimisation decisions with Jev(github.com/ramneet-singh)
    1 pointsby 39 minutes ago
    —discuss
  29. LeanHTTP: HTTP Client for Lean 4(github.com/theoriclabs)
    2 pointsby 41 minutes ago
    —discuss
  30. EU moves to curb energy and water for data centres(euronews.com)
    4 pointsby 43 minutes ago
    —discuss

LeanHTTP: HTTP Client for Lean 4

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