Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://ift.tt/xPTKle1

Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://salt-lang.dev July 1, 2026 at 09:05PM

Show HN: Searchable directory of 22k+ products from worker-owned co-ops https://ift.tt/IKZJNuF

Show HN: Searchable directory of 22k+ products from worker-owned co-ops https://ift.tt/XYL7wbA July 2, 2026 at 12:47AM

Show HN: Z-Jail – A 130 KB Linux sandbox-C99 with 7 defense layers and zero deps https://ift.tt/iB9UeXn

Show HN: Z-Jail – A 130 KB Linux sandbox-C99 with 7 defense layers and zero deps https://ift.tt/WhyG0Np July 1, 2026 at 11:18PM

Show HN: Kage, verification and freshness for Google's OKF agent memory https://ift.tt/YZ1MHIT

Show HN: Kage, verification and freshness for Google's OKF agent memory Kage was always a document format memory with it's own memory standards... and was betting on file based memory + git native. It's good to see that Google also thinks the same and released OKF(Open Knowledge Format) and Kage has adopted OKF with open arms. Though Google has released the Memory standard and how to structure the memory, it doesn't do verification, when and how memories are created. That's where Kage comes in, Kage as a framework works with your agent, understand what to save, when to save, how to save, it also help the agent to recall relevant memory/maintain it's freshness. Kage is focused on maintaining your repo's memory for you and give you best experience when coordinating and working with teammates on the same repo. Just install Kage and let you agents do the memory maintenance job itself using Kage. Best support with Claude Code(Hook), also available and works with all the over coding agents. https://kage-core.com/ July 1, 2026 at 12:29AM

Show HN: Morph Reflexes – Multi-head classifiers for agent traces https://ift.tt/LrJ9KCx

Show HN: Morph Reflexes – Multi-head classifiers for agent traces The most common failures for production agents are behavioral: looping, reasoning leakage, user frustration, and more. Using a frontier model like GPT or Sonnet to judge every turn is too expensive and slow to run at scale. How it works: We use a modern LLM with hybrid attention and remove the decode step. We built an inference engine that lets prefill compute be 99% reused from reflex to reflex, similar in spirit to older 2019-era BERT/HYDRA + older multiple-head techniques. We took the same high-level idea and did the hard work to make it work with a modern architecture and attention. On it, we can run inference in under 30ms and serve the full request in under 90ms. If you run 4 reflexes or 100, the extra overhead is less than 2ms. Why does optimizing this matter? If you’re even a medium-sized startup, you’re dealing with tens of thousands of agent runs and millions of turns. If you want to track things like user frustration rates over time, frontier LLM-as-judge does not scale. I built a similar stack at Tesla. When ML engineers needed to sample data across petabytes for signals like `is_camera_obfuscated=true`, along with 200 other things, you need to 1) spin them up quickly 2) run at scale efficiently What it is not: A dashboard. In my experience, 99% of dashboards go unused. This is purely API-based and made for devs who want to track agent behavior themselves and trigger their own alerts and build on it. You can vibetrain a custom reflex in our dashboard, and then let it self improve in production: https://ift.tt/0ifhoxZ Docs: https://ift.tt/RJbxiuZ I’d love feedback from people running agents in prod: what sorts of things do you wish you could track over time across 100% of turns? TLDR: semantic signals from agent traces, super fast, cheap via API July 1, 2026 at 12:52AM

Show HN: Jensen – a Deus Ex: Human Revolution theme for 30 developer apps https://ift.tt/whHrnTe

Show HN: Jensen – a Deus Ex: Human Revolution theme for 30 developer apps https://tomaytotomato.github.io/jensen/ June 30, 2026 at 11:56PM

Show HN: Fleet – a local-first console for managing Dockerized Hermes AI Agents https://ift.tt/FPdZHJe

Show HN: Fleet – a local-first console for managing Dockerized Hermes AI Agents https://ift.tt/cdP26po June 30, 2026 at 12:31AM