Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. The Inference Gap(twitter.com/lon)
    1 pointsby 1 minute ago
    1comments
  2. Ju Ju Tsu(codeberg.page)
    1 pointsby 2 minutes ago
    1comments
  3. Privacy Tools Experts Use(proton.me)
    3 pointsby 3 minutes ago
    —discuss
  4. Ticket-In Ticket-Out(wikipedia.org)
    1 pointsby 4 minutes ago
    —discuss
  5. Show HN: An honest comparison of the Agent Harness vs. six alternatives(time2magic.com)
    1 pointsby 9 minutes ago
    —discuss
  6. Before and After Photos Show Data Centers Furiously Popping Up Across America(petapixel.com)
    1 pointsby 10 minutes ago
    —discuss
  7. Breaking a four year hiatus to talk about the export keyword (PEPs 842 and 843)(aroberge.blogspot.com)
    1 pointsby 10 minutes ago
    —discuss
  8. Show HN: Primescript – Academic Markdown editor with vector search and LaTeX(primescript.com)
    1 pointsby 10 minutes ago
    —discuss
  9. Show HN: A Mondrian-style puzzle block game(wdamao.com)
    1 pointsby 12 minutes ago
    1comments
  10. A Calendar of Smells(worldsensorium.com)
    1 pointsby 12 minutes ago
    —discuss
  11. A space war played in SQL(schemaverse.com)
    1 pointsby 13 minutes ago
    —discuss
  12. Solitaire Alone Together(eieio.games)
    1 pointsby 14 minutes ago
    1comments
  13. An Ocean Planet in Space(blue-continuum.com)
    2 pointsby 15 minutes ago
    —discuss
  14. EZ4: A reflection-driven alternative to AWS CDK for serverless apps(github.com/sbalmt)
    2 pointsby 19 minutes ago
    —discuss
  15. Ask HN: How do you sell a small bootstrapped SaaS?
    2 pointsby 21 minutes ago
    —discuss
  16. A 7B fact-checker beat 30B LLM reviewers and deleted no true claims(openteams.com)
    3 pointsby 21 minutes ago
    —discuss
  17. The World After Capital (2024)(worldaftercapital.org)
    2 pointsby 22 minutes ago
    —discuss
  18. How Your Internet Traffic Gets There: IXPs and Peering(ipinfo.io)
    2 pointsby 25 minutes ago
    —discuss
  19. A Programming Mentality(natemeyvis.com)
    1 pointsby 27 minutes ago
    —discuss
  20. Vibes vs. Evidence: What delivers AI code review quality(dsifry.github.io)
    2 pointsby 27 minutes ago
    —discuss
  21. What Makes Jev Different from Other LLMs? A Simple Explanation(medium.com/dolevietthang)
    2 pointsby 27 minutes ago
    —discuss
  22. Silicon Valley Saw the iPhone Coming 13 Yrs Before Apple [video](youtube.com)
    1 pointsby 29 minutes ago
    —discuss
  23. Something bugs me about AGI AI LLM, what if we back paddled 1000 year(shatteringtheabyss.substack.com)
    1 pointsby 30 minutes ago
    1comments
  24. Context compaction, measured: FutureOS vs. Codex vs. OpenCode(future-os-blog.github.io)
    1 pointsby 36 minutes ago
    —discuss
  25. Major air traffic controller outage triggers flight chaos [video](youtube.com)
    2 pointsby 37 minutes ago
    —discuss
  26. Meta's Muse Is Better at Surveilling Than Helping Me(wired.com)
    2 pointsby 40 minutes ago
    —discuss
  27. Android Bench 2.0 – Long Horizon Android Development Benchmark(android.com)
    1 pointsby 42 minutes ago
    —discuss
  28. FloatLib: Verified Floating-Point Arithmetic in Lean(leandojo.org)
    1 pointsby 48 minutes ago
    —discuss
  29. Driscoll's Gave China Its Blueberries–Then China Swiped the Secret to Growing Th(wsj.com)
    4 pointsby 50 minutes ago
    —discuss
  30. Open-Sourcing Rebalancer: High-Performance Assignment Problem Solver(fb.com)
    1 pointsby 52 minutes ago
    —discuss

FloatLib: Verified Floating-Point Arithmetic in Lean

1 pointsby 49m agoleandojo.org
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗