Show HN: Make No Mistakes – AI coding agents must prove their work https://ift.tt/UgmrFyn July 5, 2026 at 10:18PM
Show HN: I built an encrypted BLE dongle for pasting stuff to air-gapped devices Definitely one of those "20 minute adventure gone wrong" projects where all I wanted initially was a quick wireless rubber ducky for bitlocker keys and the like and then I kept adding stuff like AES-256..... Currently working on adding WebAuthn/FIDO support because the hardware is already there and scope creep is a lifestyle at this point. Would love feedback, especially on the security side. Repo and PCB files are fully open source. https://ift.tt/oeyA7…
Show HN: Pulse v0.2.0 A lightweight system monitor with historical metrics and a built-in web dashboard. Hi HN, I have been building Pulse, a lightweight system monitor written in C. The goal is to provide a simple way to monitor CPU, memory, disk, network, processes, and system information from both the terminal and a built-in web dashboard, while keeping the project easy to understand and with as few dependencies as possible. The biggest addition in v0.2.0 is historical metrics. Pulse now records system metrics over time, exposes them throug…
Show HN: Mlx-serve – LLM inference server for Apple Silicon, written in Zig https://mlxserve.com/ July 4, 2026 at 12:06AM
Show HN: Maestro – scaffold Go microservices and keep them in sync https://ift.tt/1GkQPf8 July 4, 2026 at 12:03AM
Show HN: AnythingLLM Fork as NPM Package I am a huge fan of anythingLLM, I’ve used it extensively. I had use cases that it doesn’t quite fit; so I decided to fork it as an easy to install, lighter weight package. I’ve been changing the agent mode code to focus more an automation. I’d love your feedback! https://ift.tt/k2fv8WL July 2, 2026 at 10:55PM
Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://salt-lang.dev July 1, 2026 at 08:05PM
Social Plugin