• 1.

  Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code(github.com)

  75 pointsby permute18 days ago33 commentsTrend history
• 2.

  Securing the Future of AI Agents(deepmind.google)

  Repost2 prior posts2 pointsby mooreds18 days ago0 commentsTrend history
• 3.

  The First Idempotency Key(hatchet.run)

  3 pointsby abelanger18 days ago0 commentsTrend history
• 4.

  Tenir: A Counter-Pressure Architecture for Safe Agentic AI Under Irreversibly(zenodo.org)

  2 pointsby skiredj18 days ago0 commentsTrend history
• 5.

  Private Claude Chats Exposed in Google and Bing Search Results(wired.com)

  Repost1 prior post16 pointsby healsdata18 days ago3 commentsTrend history
• 6.

  I got tired of router appliance limitations, so I moved my home network to OVN(mabels.github.io)

  3 pointsby fastandfearless18 days ago0 commentsTrend history
• 7.

  OptMem – Permanent memory for AI agents(github.com)

  Repost1 prior post2 pointsby pwmglenn18 days ago0 commentsTrend history
• 8.

  Valimail Alternative(dmarcguard.io)

  2 pointsby meysamazad18 days ago0 commentsTrend history
• 9.

  Adaptive speculative decoding on a $300 GPU(github.com)

  2 pointsby gogo27gallet18 days ago0 commentsTrend history
• 10.

  There are no fire alarms when it comes to privacy(unsungnovelty.org)

  4 pointsby meysamazad18 days ago0 commentsTrend history
• 11.

  Turtle-inspired interactive Python project(codembark.com)

  2 pointsby camdenreslink18 days ago0 commentsTrend history
• 12.

  Show HN: Cosmos47, a public chronological feed without algorithms(cosmos47.com)

  2 pointsby boredyeti18 days ago2 commentsTrend history
• 13.

  AWS Secrets Manager Terraform: Least-Privilege Access(blog.victorsilva.com.uy)

  2 pointsby meysamazad18 days ago0 commentsTrend history
• 14.

  Using AI for Automated Tasks(visualgui.com)

  2 pointsby speckx18 days ago0 commentsTrend history
• 15.

  What AI developers could learn from Charles Bukowski?(galjot.si)

  50 pointsby sedovsek18 days ago36 commentsTrend history
• 16.

  Show HN: SpecShield – Contract testing and can-I-deploy gates for OpenAPI(specshield.io)

  3 pointsby DeepakSatyam18 days ago0 commentsTrend history
• 17.

  Hister v0.17.0(github.com)

  4 pointsby mstef18 days ago0 commentsTrend history
• 18.

  AI meets Cryptography 3: What AI Found in Bron Labs's bron-crypto(blog.zksecurity.xyz)

  Repost1 prior post2 pointsby duha18 days ago0 commentsTrend history
• 19.

  Google and Reddit do not own the Internet, web scraper says after court win(arstechnica.com)

  Repost1 prior post7 pointsby tatersolid18 days ago0 commentsTrend history
• 20.

  Show HN: Dn – plan collaboratively, let agents execute(github.com)

  3 pointsby moochmooch18 days ago0 commentsTrend history
• 21.

  XMPP Agent Gateway: A protocol for discovering and invoking AI agents(romanbsd.github.io)

  3 pointsby romanbsd18 days ago0 commentsTrend history
• 22.

  Interrupt Handlers for Web Automation(orchestra-automation.com)

  2 pointsby oceandoughnut18 days ago0 commentsTrend history
• 23.

  The OWASP Top 10 (2025)(owasp.org)

  2 pointsby mooreds18 days ago0 commentsTrend history
• 24.

  Rebuilding FIFA Standings Layout with CSS Subgrid(ishadeed.com)

  2 pointsby speckx18 days ago0 commentsTrend history
• 25.

  The milk that lasts for months(bbc.com)

  2 pointsby tosh18 days ago0 commentsTrend history
• 26.

  World Labs Acquires SceniX(worldlabs.ai)

  2 pointsby doppp18 days ago0 commentsTrend history
• 27.

  Big Tech Stocks Are Pricing in a Miracle on Costs(wsj.com)

  2 pointsby petethomas18 days ago0 commentsTrend history
• 28.

  ASRock Rack 4U16X-GNR2 Nvidia HGX B300 8-GPU Server Review – ServeTheHome(servethehome.com)

  2 pointsby rbanffy18 days ago1 commentsTrend history
• 29.

  Apple Upgrade Launches in the United States(apple.com)

  4 pointsby virgildotcodes18 days ago2 commentsTrend history
• 30.

  Show HN: Preloop: Open-source control plane for AI agents. See, govern, cut cost(github.com)

  2 pointsby dim0r18 days ago1 commentsTrend history

Operational status: system stale