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

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/VD8WbK9 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 for feedback: - Does the exit-code model map cleanly to CI gate usage? - Any spec/report format rough edges that block adoption? https://ift.tt/VD8WbK9 February 20, 2026 at 11:57PM

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

Show HN: HelixDB Explorer – A macOS GUI for HelixDB https://ift.tt/RvDpw37 February 20, 2026 at 11:18PM

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

Show HN: A small, simple music theory library in C99 https://ift.tt/muQ4UaY February 20, 2026 at 04:24AM

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

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

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

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.002^{\circ}$) was a great sanity check for the engine’s precision, as this effect is secular and requires millions of years to fully manifest.The Stack:NumPy for vectorization, Matplotlib for 2D analysis, and Plotly for interactive 3D trajectories.I'm currently working on a real-time 3D rendering layer. I’d love to get feedback on the integrator’s stability for high-eccentricity orbits or suggestions on implementing more complex gravitational potentials. https://ift.tt/dYj9M2N February 20, 2026 at 01:27AM

Show HN: Nonograms – Friends-only puzzle room with replays and leaderboards https://ift.tt/aDMguKi

Show HN: Nonograms – Friends-only puzzle room with replays and leaderboards Invite code: hackernews. No email required for signup. My friend group loves playing nonograms and competing against each other, but we always send each other screenshots of the solved game grid and time after the fact. So from the start, I knew I wanted leaderboards, replays, and shareable links. I also added PWA support so it can be added to the home screen on mobile and an offline play mode. No ads, analytics or nonsense, just nonograms. Some other goodies as well such as YouTube-like scrubber and KDE-based visualization in replays. https://ift.tt/BrTEMUX Tech stack: React + TypeScript on Vite, hosted on Cloudflare Pages with D1 and Workers https://ift.tt/eDv6IPz February 18, 2026 at 11:23PM

Show HN: I curated 130 US PDF forms and made them fillable in browser https://ift.tt/btBDCNH

Show HN: I curated 130 US PDF forms and made them fillable in browser Hi HN! I built SimplePDF 7 years ago, with the vision from day one to help get rid of bureaucracy (I'm from France, I know what I'm talking about) Fast forward to this week where I finally released something I had on my mind for a long time: a repository of the main US forms that are ready to be filled, straight from the browser, as opposed to having to find a PDF tool online (or local). I focused on healthcare, ED, HR, Legal and IRS/Tax for now. On the tech-side, it's SimplePDF all the way down: client-side processing (the data / documents stay in your browser). I hope you find the resource useful! NiP https://ift.tt/OIQgl8y February 18, 2026 at 12:03AM