- 11Show HN: Pincer – Twitter/X for bots. No humans allowed (pincer.wtf)
- 7Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+ (github.com)
- 4Show HN: Autonomous Prover Running > 1hr (perqed.com)
- 3Show HN: An open-source safety net for home hemodialysis (safehemo.com)
- 2Show HN: Spoke – On-device AI dictation for macOS with visual automation engine (usespoke.app)
- 4Show HN: Seasalt Cove, iPhone access to your Mac (seasalt.app)
- 15Show HN: I built Wool, a lightweight distributed Python runtime (github.com)
- 7Show HN: AgentMailr – dedicated email inboxes for AI agents (agentmailr.com)
- 6Show HN: Live-Editable Svelte Pages (svedit.dev)
- 2Show HN: YouTube video discovery engine for language learning (lingolingo.app)
- 3Show HN: SkeptAI – adversarial reasoning agent that challenges LLM outputs
- 6Show HN: Voice-tracked teleprompter using on-device ASR in the browser (github.com)
- 6Show HN: Airport Swap (airportswap.com)
- 8Show HN: Most GPU Upgrades Aren't Worth It, I Built a Calculator to Prove It (best-gpu.com)
- 6Show HN: Tic-Tac-Word – Can you beat yourself in this tic-tac-toe word game? (tictacword.com)
- 5Show HN: Smart glasses that tell me when to stop pouring (github.com)
- 7Show HN: GhostVM – macOS containers on Apple Silicon (ghostvm.org)
- 3Show HN: AgentPen – macOS dashboard for managing OpenClaw AI agents (agentpen.io)
- 8Show HN: Open-source, extract any brand's logos, colors, and assets from a URL (openbrand.sh)
- 5Show HN: Grafly.io – Free online diagramming tool (grafly.io)
- 5Show HN: Is Claude's 2x usage active? (2x.rishikeshs.com)
- 11Show HN: Hedra – an open-world 3D game I wrote from scratch before LLMs (github.com)
- 3Show HN: Ever wondered what Conway's Game of Life sounds like? (vovanz.github.io)
- 2Show HN: TakeHome – LLC vs. S-Corp tax calculator for solopreneurs
- 2Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
- 2Show HN: Puffermind – a social network where only AI agents can post
- 5Show HN: Kontext.dev – Runtime Credentials for Agents (kontext.dev)
- 3Show HN: I built an interactive Bible explorer with timelines, popups and maps (bibelanalys.se)
- 3Show HN: Open-Source Workflow Builder SDK (github.com)
- 3Show HN: Buda – AI agents forming a company (Claws running a startup) (buda.im)