• 1.

  FloatLib: Verified Floating-Point Arithmetic in Lean(leandojo.org)

  1 pointsby matt_d46 days ago0 commentsTrend history
• 2.

  Driscoll's Gave China Its Blueberries–Then China Swiped the Secret to Growing Th(wsj.com)

  Repost2 prior posts6 pointsby harry_nutsachs46 days ago0 commentsTrend history
• 3.

  Open-Sourcing Rebalancer: High-Performance Assignment Problem Solver(engineering.fb.com)

  2 pointsby iamsyr46 days ago0 commentsTrend history
• 4.

  Lifestreams: A storage model for personal data (1996)(dl.acm.org)

  1 pointsby dgudkov46 days ago0 commentsTrend history
• 5.

  A zero-day has been released for Meta's Muse(github.com)

  3 pointsby momentmaker46 days ago0 commentsTrend history
• 6.

  I built an autonomous accounting tool to let AI do my taxes(github.com)

  4 pointsby 7eleven200746 days ago1 commentsTrend history
• 7.

  Google fined more than €400M by Irish regulator over its use of location data(theguardian.com)

  1 pointsby MC99546 days ago0 commentsTrend history
• 8.

  Ask HN: Ceremonious Architecture in Times of AI

  2 pointsby ruxian46 days ago1 commentsTrend history
• 9.

  We're Using AI Wrong. The Chat Window Sucks(stclair.ai)

  1 pointsby kenxle46 days ago0 commentsTrend history
• 10.

  Artificial Intelligence and Labor Market Reallocation [pdf](conference.nber.org)

  2 pointsby paulpauper46 days ago0 commentsTrend history
• 11.

  A U.S. Strategy to Secure Geopolitical Advantage on an Path to Superintelligence(rand.org)

  3 pointsby paulpauper46 days ago0 commentsTrend history
• 12.

  US threatens to ground Iranian airlines worldwide from Wednesday(aljazeera.com)

  33 pointsby teleforce46 days ago2 commentsTrend history
• 13.

  I shipped 2,500 PRs last month to production(twitter.com)

  Repost1 prior post1 pointsby doppp46 days ago2 commentsTrend history
• 14.

  Monthly Roundup #46: September 2026(thezvi.substack.com)

  2 pointsby paulpauper46 days ago0 commentsTrend history
• 15.

  Sa: A Wrapper Around GNU Screen(joshstoolbox.com)

  2 pointsby thatslast46 days ago1 commentsTrend history
• 16.

  OpenAI flags 6 new incidents of 'concerning' behavior, unveils plan to track it(nbcnews.com)

  5 pointsby gmays46 days ago0 commentsTrend history
• 17.

  The Way of Code by Rick Rubin(thewayofcode.com)

  Repost5 prior posts1 pointsby momentmaker46 days ago0 commentsTrend history
• 18.

  Agents on Rails: Maximum Effort and DeepSeek 4.1 Flash(rubyonrails.org)

  2 pointsby doppp46 days ago0 commentsTrend history
• 19.

  Escaping the OpenAI Codex sandbox, twice(accomplish.ai)

  2 pointsby CoderLim11046 days ago0 commentsTrend history
• 20.

  Outages across API, Grok.com, and Grok Build – API (us-east-1.api.x.ai) Status(status.x.ai)

  2 pointsby corvad46 days ago0 commentsTrend history
• 21.

  Bubble Rumble(bubblerumble.net)

  1 pointsby jkwn46 days ago1 commentsTrend history
• 22.

  Robin Williams' Daughter to Fans Creating AI Videos: 'Have Some Shame'(variety.com)

  86 pointsby CharlesW46 days ago54 commentsTrend history
• 23.

  Datasets.store: Pre-scraped ecommerce datasets across 80 retail platforms(datasets.store)

  1 pointsby Sharanxxxx46 days ago0 commentsTrend history
• 24.

  Why do we have rust in the kernel?(theregister.com)

  3 pointsby homo__sapiens46 days ago1 commentsTrend history
• 25.

  NewKid Days in SF on Oct. 25 – show what you're building to families(newkid.ai)

  1 pointsby k7vin46 days ago0 commentsTrend history
• 26.

  People Hooked on Vapes Try a New Way to Quit: Cigarettes(bloomberg.com)

  29 pointsby alephnerd46 days ago14 commentsTrend history
• 27.

  Sorority Row's GLP-1 Secret(thecut.com)

  3 pointsby gmays46 days ago0 commentsTrend history
• 28.

  Making portable my unportable transputer C compiler(nanochess.org)

  4 pointsby nanochess46 days ago0 commentsTrend history
• 29.

  Show HN: Marklite: Lightweight Markdown Viewer/Editor(marklite.app)

  Repost1 prior post1 pointsby mchilson46 days ago0 commentsTrend history
• 30.

  The A.I. Party House Where Networking Has a Dark Side(nytimes.com)

  Repost1 prior post4 pointsby berkeleyjunk46 days ago1 commentsTrend history

Operational status: system stale