Posts

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift) https://ift.tt/xshfNCy

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift) Manifest-InX EBS is a spec + offline verifier + proof kit for tamper-evident evidence bundles. Non-negotiable alignment: - Live provider calls are nondeterministic. - Determinism begins at CAPTURE (pinned artifacts). - Replay is deterministic offline. - Drift/tamper is deterministically rejected. Try it in typically ~10 minutes (no signup): 1) Run the verifier against the included golden bundle → PASS 2) Tamper an artifact without updating hashes → deterministic drift/tamper rejection Repo: https://ift.tt/f3OMG07 Skeptic check: docs/ebs/PROOF_KIT/10_MINUTE_SKEPTIC_CHECK.md Exit codes: 0=OK, 2=DRIFT/TAMPER, 1=INVALID/ERROR Boundaries: - This repo ships verifier/spec/proof kit only. The Evidence Gateway (capture/emission runtime) is intentionally not included. - This is not a “model correctness / no hallucinations” claim—this is evidence integrity + deterministic replay/verification from pinned artifacts. Looking...
Post a Comment
Read more

Show HN: HelixDB Explorer – A macOS GUI for HelixDB https://ift.tt/tEeg5Tz

Show HN: HelixDB Explorer – A macOS GUI for HelixDB https://ift.tt/EziuJVr February 20, 2026 at 11:18PM
Post a Comment
Read more

Show HN: A small, simple music theory library in C99 https://ift.tt/CKHjBNv

Show HN: A small, simple music theory library in C99 https://ift.tt/ABnQuZc February 20, 2026 at 04:24AM
Post a Comment
Read more

Show HN: Ghostty-based terminal with vertical tabs and notifications https://ift.tt/ecbIEju

Show HN: Ghostty-based terminal with vertical tabs and notifications I run a lot of Claude Code and Codex sessions in parallel. I was using Ghostty with a bunch of split panes, and relying on native macOS notifications to know when an agent needed me. But Claude Code's notification body is always just "Claude is waiting for your input" with no context, and with enough tabs open, I couldn't even read the titles anymore. I tried a few coding orchestrators but most of them were Electron/Tauri apps and the performance bugged me. I also just prefer the terminal since GUI orchestrators lock you into their workflow. So I built cmux as a native macOS app in Swift/AppKit. It uses libghostty for terminal rendering and reads your existing Ghostty config for themes, fonts, colors, and more. The main additions are the sidebar and notification system. The sidebar has vertical tabs that show git branch, working directory, listening ports, and the latest notification text for each wo...
Post a Comment
Read more

Show HN: Hi.new – DMs for agents (open-source) https://ift.tt/RaQFf8H

Show HN: Hi.new – DMs for agents (open-source) https://www.hi.new/ February 20, 2026 at 02:50AM
Post a Comment
Read more

Show HN: Astroworld – A universal N-body gravity engine in Python https://ift.tt/Bme9ARN

Show HN: Astroworld – A universal N-body gravity engine in Python I’ve been working on a modular N-body simulator in Python called Astroworld. It started as a Solar System visualizer, but I recently refactored it into a general-purpose engine that decouples physical laws from planetary data.Technical Highlights:Symplectic Integration: Uses a Velocity Verlet integrator to maintain long-term energy conservation ($\Delta E/E \approx 10^{-8}$ in stable systems).Agnostic Architecture: It can ingest any system via orbital elements (Keplerian) or state vectors. I've used it to validate the stability of ultra-compact systems like TRAPPIST-1 and long-period perturbations like the Planet 9 hypothesis.Validation: Includes 90+ physical tests, including Mercury’s relativistic precession using Schwarzschild metric corrections.The Planet 9 Experiment:I ran a 10k-year simulation to track the differential signal in the argument of perihelion ($\omega$) for TNOs like Sedna. The result ($\approx 0.00...
Post a Comment
Read more

Show HN: Agent Paperclip: A Desktop "Clippy" That Monitors Claude Code/Codex https://ift.tt/NM1bTkt

Show HN: Agent Paperclip: A Desktop "Clippy" That Monitors Claude Code/Codex Hi HN I built a small desktop companion that monitors CLI AI coding agents so you don’t have to stare at the terminal during long tasks. It shows when the agent is done, needs input, and the current token/context usage (useful to know when it’s about to compact). It’s fully local + free + open source: https://ift.tt/gXt10rl It supports Claude Code via hooks and Codex CLI by watching local session files. Default sticker pack is a small Clippy nod (no affiliation, Microsoft please don't sue me). Next on the to-do list: multi-session visibility. Would love feedback / issues / stars. https://ift.tt/gXt10rl February 18, 2026 at 11:08PM
Post a Comment
Read more