fp.

Show HN: zkGolf – Competitive optimization of formally verified circuits

https://zk.golf/

65•rot256•21h ago•9 comments

Show HN: Inkwell – An RSS reader for e-ink devices

https://kendal.codeberg.page/inkwell/

59•imkendal•21h ago•5 comments

Show HN: Gitstock–Transform you GitHub commit history into K-line and animations

https://gitstock.org/

24•dares2573•3d ago•3 comments

Show HN: Pieces – Social network for people

https://try.piecesof.me/

46•domo__knows•1d ago•46 comments

Show HN: I made a tool that prevents websites from tracking you

https://github.com/alex-w-developer/GetBlocked

23•sudo_cowsay•12h ago•9 comments

Show HN: CLI tool for detecting non-exact code duplication with embedding models

https://github.com/rafal-qa/slopo

86•rkochanowski•22h ago•41 comments

Show HN: Ordered dithering command-line tool

https://github.com/scascino4/dither

3•scascino4•3h ago•0 comments

Show HN: A graph paper generator that renders vector PDFs in the browser

https://freegraphpaper.net/

102•lam_hg94•23h ago•23 comments

Show HN: I measured the half-life of 41,301 Show HN launches. It's 7 hours

https://jonno.nz/posts/your-show-hn-dies-in-7-hours/

29•jonnonz•1d ago•8 comments

Show HN: Claudoro, Pomodoro timer embedded in the Claude Code statusline

https://github.com/emson/claudoro

47•emson•2d ago•34 comments

Show HN: I built a declarative layout engine for SVG, Canvas, WebGL

https://github.com/carnworkstudios/boxwood

5•bonzai2carn•9h ago•0 comments

Show HN: CLI that helps AI agents avoid vulnerable dependencies

https://github.com/clidey/deptrust

12•modelorona•1d ago•2 comments

Show HN: Imagent – agentic image/video/speech generation

https://github.com/unliftedq/imagent

4•unliftedq•9h ago•1 comments

Show HN: ZeroFS – A log-structured filesystem for S3

https://www.zerofs.net/

125•Eikon•23h ago•52 comments

Show HN: I built an open-source alternative to Claude Cowork

https://github.com/valmishq/valmis

32•wayneshng•23h ago•8 comments

Show HN: Bramble – Local-first password manager

https://github.com/flythenimbus/bramble

61•MegagramEnjoyer•17h ago•9 comments

Show HN: ctx – Search the coding agent history already on your machine

https://github.com/ctxrs/ctx

35•luca-ctx•21h ago•10 comments

Show HN: GeoSpoof – your VPN hides your IP, but the browser leaks your location

https://geospoof.com/

13•sgro•14h ago•0 comments

Show HN: GolemUI – Declarative Form Engine

https://golemui.com

52•wtfdeveloper•1d ago•70 comments

Show HN: Capcat – CLI/TUI to Archive Articles as Markdown and HTML (FOSS)

https://capcat.org/

5•stayux•14h ago•1 comments

Show HN: Mirrors – test AI agent changes by replaying production traces

https://www.runmirrors.com/

7•aisinghal•14h ago•0 comments

Show HN: PriceProbe – zero-dependency competitor price tracker in Python

https://github.com/willylam2222-bot/priceprobe

4•l2602591158•12h ago•0 comments

Show HN: Cyclearchive.com – search vintage cycling magazines

https://cyclearchive.com/search/

22•alastairr•6d ago•6 comments

Show HN: Declaw Arena – a CTF-style challenge to break an AI agent in a microVM

https://declaw.ai/arena

7•ShivamNayak11•15h ago•0 comments

Show HN: Salt – a systems language with Z3 theorem proving in the compiler

https://salt-lang.dev

43•bneb-dev•1d ago•43 comments

Show HN: Bedtimeforkids let kids learn while entertain

https://bedtimeforkids.vercel.app

2•dutay05•9h ago•0 comments

Show HN: Dabs spawns dumb agents in boxes for free

https://github.com/jjmerino/dabs

2•jjmerino•9h ago•0 comments

Show HN: Qwicut – A Desktop App to Turn Any Selection into Intelligence

https://www.qwicut.com

2•yukidkwlbn•9h ago•1 comments

Show HN: Searchable directory of 22k+ products from worker-owned co-ops

https://www.workerowned.info/

389•IESAI_ski•1d ago•79 comments

Show HN: Unobin compiles Infrastructure as Code to one binary

https://cloudboss.co/docs/unobin

18•joseph•4d ago•4 comments