frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift)

https://github.com/OneInX/Manifest-InX-EBS
2•oneinx•3h ago
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://github.com/OneInX/Manifest-InX-EBS 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?

Show HN: Mines.fyi – all the mines in the US in a leaflet visualization

https://mines.fyi/
6•irasigman•20m ago•1 comments

Show HN: A native macOS client for Hacker News, built with SwiftUI

https://github.com/IronsideXXVI/Hacker-News
138•IronsideXXVI•7h ago•105 comments

Show HN: AetherCam, a video recorder focusing on audio

https://aethercamera.pro
2•miloo94•2h ago•0 comments

Show HN: Ghostty-based terminal with vertical tabs and notifications

https://github.com/manaflow-ai/cmux
167•lawrencechen•1d ago•70 comments

Show HN: Running Debian on the OpenWrt One

https://github.com/sjoerdsimons/openwrt-one-debian
5•mfilion•2h ago•0 comments

Show HN: Vibe coded iOS workout app with Apple Watch support

https://apps.apple.com/us/app/fitwit-ai-personal-trainer/id6757002413
4•avsavani•3h ago•2 comments

Show HN: LobsterHelper – Managed OpenClaw on Firecracker VMs

https://lobsterhelper.com
2•alex_trekkoa•3h ago•0 comments

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift)

https://github.com/OneInX/Manifest-InX-EBS
2•oneinx•3h ago•0 comments

Show HN: Micasa – track your house from the terminal

https://micasa.dev
619•cpcloud•1d ago•195 comments

Show HN: I vibed a better OCaml parser than Jane Street in 69 steps

https://github.com/hdresearch/parsexp
2•yevbar•3h ago•0 comments

Show HN: HelixDB Explorer – A macOS GUI for HelixDB

https://github.com/nodfans/helixdb-explorer
3•jomamax•3h ago•0 comments

Show HN: A small, simple music theory library in C99

https://github.com/thelowsunoverthemoon/mahler.c
49•lowsun•22h ago•18 comments

Show HN: A physically-based GPU ray tracer written in Julia

https://makie.org/website/blogposts/raytracing/
189•simondanisch•1d ago•85 comments

Show HN: Minimalistic workout tracker for iPhone – Stats, Trends, Streaks

https://streakout.app/
3•toni88x•6h ago•0 comments

Show HN: Mini-Diarium - An encrypted, local, cross-platform journaling app

https://github.com/fjrevoredo/mini-diarium
129•holyknight•1d ago•62 comments

Show HN: Write native binary web apps with TypeScript and Express

https://github.com/tsoniclang/express
14•jeswin•4d ago•2 comments

Show HN: Resilient RAP: A self-healing data pipeline with <20ms BERT inference

https://github.com/tarek-clarke/resilient-rap-framework
2•tarekclarke•5h ago•1 comments

Show HN: 17MB pronunciation scorer beats human experts at phoneme level

3•fabiosuizu•11h ago•2 comments

Show HN: Rebrain.gg – Doom learn, don't doom scroll

109•FailMore•2d ago•52 comments

Show HN: Flask Is My Go-To Web Framework

https://www.flaskvibe.com/
2•astonfred•10h ago•0 comments

Show HN: Searchable aggregator of 24M London council spending transactions

https://cspend.uk
3•ashfn•10h ago•3 comments

Show HN: A Lisp where each function call runs a Docker container

https://github.com/a11ce/docker-lisp
81•a11ce•1d ago•27 comments

Show HN: Fostrom, an IoT Cloud Platform built for developers

https://fostrom.io/
7•arjunbajaj•15h ago•4 comments

Show HN: VectorNest responsive web-based SVG editor

https://ekrsulov.github.io/vectornest/
85•ekrsulov•2d ago•34 comments

Show HN: Breadboard – A modern HyperCard for building web apps on the canvas

https://breadboards.io/
92•simquat•4d ago•15 comments

Show HN: Celeste game installs as ELF binary (42kB) on ESP32/breezybox [video]

https://www.youtube.com/watch?v=nufOQWBmwpk
3•isitcontent•4h ago•1 comments

Show HN: CEL by Example

https://celbyexample.com/
82•bufbuild•2d ago•40 comments

Show HN: AsteroidOS 2.0 – Nobody asked, we shipped anyway

https://asteroidos.org/news/2-0-release/index.html
465•moWerk•3d ago•68 comments

Show HN: I'm launching a LPFM radio station

https://www.kpbj.fm/
110•solomonb•3d ago•56 comments

Show HN: How to Plan a n8n Workflow

https://theowllogic.com/plan-n8n-workflow
3•wayofthekatana•13h ago•1 comments