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