- 201Show HN: Reladraw – A diagram language where you decide where to place things (github.com)
- 261Show HN: Jev Plays Pokémon Red (jev-pokemon.vercel.app)
- 27Show HN: Ekselio – Loveable for finance workflows (local first) (gptbeyond.com)
- 72Show HN: A Claude Code skill to analyze your chess games (github.com)
- 12Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com)
- 82Show HN: Hacker Atlas - A map of what Hacker News talks about (hackeratlas.com)
- 7Show HN: I checked 1M free proxies – 1 in 5 working ones injected scripts (github.com)
- 4Show HN: CaughtShipping – curfew app for developers, enforced by a public wall (caughtshipping.com)
- 2Show HN: Sixb, a TypeScript ontology framework for modeling your domain (docs.sixb.ai)
- 411Show HN: Whiteboard (YC W26) – An open-source IDE for thoughtful software design (github.com)
- 6Show HN: Blender Copilot (github.com)
- 3Show HN: Cocytus – an esolang where freezes after N accesses (github.com)
- 4Show HN: Jev predicting your life choices (quiz.seek.ws)
- 88Show HN: Air-gapped file encryption as self-decrypting HTML page (cms-sfx-demo.apeleg.com)
- 223Show HN: Koi.rest – watch some fish and regain your balance (koi.rest)
- 49Show HN: AgentRun: DSL to turn agents into workflows (github.com)
- 71Show HN: Treepeat – Code similarity detection using Tree-sitter (github.com)
- 24Show HN: Jevgpt – reinventing the wheel with another wheel
- 854Show HN: Make cursed fonts like Times New Bastard (bastardica.mitpit.com)
- 8Show HN: Recurse – Develop and deploy specialist agents faster (recurse.run)
- 37Show HN: Agentic CUDA Kernel Optimizer (github.com)
- 13Show HN: I discovered roads in the US across > 1000 themes (road-about-a-theme.pinedesk.biz)
- 12Show HN: Hamilton – a no-internet Android health dashboard, named after my dog (play.google.com)
- 191Show HN: Drop – A rootless Linux sandbox with gVisor support (droprun.sh)
- 32Show HN: Most Hated Tools (mosthatedtools.app)
- 25Show HN: Avoid smooth spinners, use low-FPS spinners (nh2.me)
- 6Show HN: Print Graph Paper (printgraphpaper.app)
- 149Show HN: JevBench, a reproducible benchmark for typed decision models (benchmarkheaven.com)
- 5Show HN: Gutcheck, grep for meaning with a local CPU model (github.com)
- 73Show HN: Training a model to identify AI web content from structure alone (arxiv.org)