Show - HN Paper

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB

Show HN: Quldra – A true device based post quantum messenger

Show HN: GitGres – A private GitHub in 650 lines of PostgreSQL

Show HN: Bay Whale Strandings – interactive map of whale strandings in SF Bay

Show HN: Drag-and-Drop in the Terminal

Show HN: See where your computer connects (TapMap)

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM)

Show HN: Open-source background computer use for Windows agents

Show HN: Send your first Peppol e-invoice in 5 minutes (EU mandate live)

Show HN: Record tmux, analyze with Claude, and replay as searchable episodes

Show HN: Crforest – Competing-risks RSF in Python, 6× faster than R's rfSRC

Show HN: GrandPerspective-style treemaps for the web and disk usage visualizer

Show HN: AgentPort – Open-source Security Gateway For Agents

Show HN: VT Code – Rust coding agent with AST-level code intelligence

Show HN: Chrome extension for Gmail/Workspace users to alias emails at signup

Show HN: TripBalls – plan road trips to away games (MLB, NFL, NBA, WC2026)

Show HN: A new benchmark for testing LLMs for deterministic outputs

Show HN: OmniForge – document intelligence and audio capture with local LLM

Show HN: Study Bible MCP – scholarly Greek/Hebrew lexicons and morphology

Show HN: Commit cherry-picking by copy-and-paste in a Mac GUI

299 300 301 302 303 304 305 306 307 308