Show | Hacker News

Please read the Show HN rules and tips before posting. You can browse the newest Show HNs here.

1.		Show HN: Reladraw – A diagram language where you decide where to place things (github.com/reladraw)
		180 points by jpwalsh234 8 hours ago \| 52 comments
2.		Show HN: Ekselio – Loveable for finance workflows (local first) (gptbeyond.com)
		27 points by kdautaj 9 hours ago \| 8 comments
3.		Show HN: Jev Plays Pokémon Red (jev-pokemon.vercel.app)
		259 points by pancomplex 1 day ago \| 109 comments
4.		Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com/stormj-uh)
		12 points by jsLavaGoat 8 hours ago \| 2 comments
5.		Show HN: A Claude Code skill to analyze your chess games (github.com/brumar)
		71 points by brumar 10 hours ago \| 53 comments
6.		Show HN: Hacker Atlas - A map of what Hacker News talks about (hackeratlas.com)
		82 points by andrearitossa 1 day ago \| 26 comments
7.		Show HN: CaughtShipping – curfew app for developers, enforced by a public wall (caughtshipping.com)
		4 points by misulicus 6 hours ago \| discuss
8.		Show HN: I checked 1M free proxies – 1 in 5 working ones injected scripts (github.com/maximilianfeix)
		7 points by taventix 11 hours ago \| 1 comment
9.		Show HN: Sixb, a TypeScript ontology framework for modeling your domain (sixb.ai)
		2 points by ademattos 7 hours ago \| 1 comment
10.		Show HN: Blender Copilot (github.com/xeonax)
		6 points by xeonax 7 hours ago \| discuss
11.		Show HN: Cocytus – an esolang where freezes after N accesses (github.com/fireside25a-beep)
		3 points by natgrish 7 hours ago \| discuss
12.		Show HN: Whiteboard (YC W26) – An open-source IDE for thoughtful software design (github.com/devdotfast)
		411 points by sidharthkmenon 2 days ago \| 140 comments
13.		Show HN: Jev predicting your life choices (seek.ws)
		4 points by sdrth 9 hours ago \| 4 comments
14.		Show HN: Air-gapped file encryption as self-decrypting HTML page (apeleg.com)
		88 points by emurlin 2 days ago \| 30 comments
15.		Show HN: Koi.rest – watch some fish and regain your balance (koi.rest)
		223 points by hxii 2 days ago \| 60 comments
16.		Show HN: AgentRun: DSL to turn agents into workflows (github.com/parcha-ai)
		49 points by miguelrios 2 days ago \| 12 comments
17.		Show HN: Treepeat – Code similarity detection using Tree-sitter (github.com/dsummersl)
		71 points by 91awebsi 2 days ago \| 8 comments
18.		Show HN: Jevgpt – reinventing the wheel with another wheel
		24 points by kunggaochicken 1 day ago \| 2 comments
19.		Show HN: Make cursed fonts like Times New Bastard (mitpit.com)
		854 points by MitPitt 2 days ago \| 123 comments
20.		Show HN: Recurse – Develop and deploy specialist agents faster (recurse.run)
		8 points by ozankabak 1 day ago \| 4 comments
21.		Show HN: Agentic CUDA Kernel Optimizer (github.com/bertaye)
		37 points by bertaye 1 day ago \| 11 comments
22.		Show HN: I discovered roads in the US across > 1000 themes (pinedesk.biz)
		13 points by 91awebsi 1 day ago \| 9 comments
23.		Show HN: Hamilton – a no-internet Android health dashboard, named after my dog (play.google.com)
		12 points by hamilton_app 1 day ago \| 12 comments
24.		Show HN: Drop – A rootless Linux sandbox with gVisor support (droprun.sh)
		191 points by mixedbit 4 days ago \| 63 comments
25.		Show HN: Print Graph Paper (printgraphpaper.app)
		6 points by artiomartiom 17 hours ago \| discuss
26.		Show HN: Most Hated Tools (mosthatedtools.app)
		32 points by leonagano 2 days ago \| 20 comments
27.		Show HN: Avoid smooth spinners, use low-FPS spinners (nh2.me)
		25 points by nh2 1 day ago \| 27 comments
28.		Show HN: JevBench, a reproducible benchmark for typed decision models (benchmarkheaven.com)
		149 points by florianstandhar 4 days ago \| 38 comments
29.		Show HN: Gutcheck, grep for meaning with a local CPU model (github.com/sfmqrb)
		5 points by sfmqrb 20 hours ago \| discuss
30.		Show HN: Training a model to identify AI web content from structure alone (arxiv.org)
		73 points by jochenmadler 4 days ago \| 26 comments
		More