fp.

Show HN: zkGolf – Competitive optimization of formally verified circuits

https://zk.golf/

33•rot256•7h ago•3 comments

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

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

75•rkochanowski•8h ago•33 comments

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

https://capcat.org/

2•stayux•29m ago•0 comments

Show HN: A 155K-param transformer builds a map of a world it's never shown

https://ankur-chr.github.io/inside-the-model/

2•ankurchrungoo•32m ago•0 comments

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

https://www.runmirrors.com/

3•aisinghal•37m ago•0 comments

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

https://freegraphpaper.net/

90•lam_hg94•9h ago•20 comments

Show HN: Bramble – Local-first password manager

https://github.com/flythenimbus/bramble

9•MegagramEnjoyer•3h ago•2 comments

Show HN: NEUX A daily brief on Europe's critical industries

https://neuxresearch.com/

2•sebmnt•58m ago•0 comments

Show HN: Fin – a TUI Jellyfin client powered by mpv with Chromecast support

https://github.com/tsirysndr/fin

2•tsiry•1h ago•0 comments

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

https://www.zerofs.net/

115•Eikon•9h ago•51 comments

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

https://github.com/emson/claudoro

44•emson•1d ago•33 comments

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

https://declaw.ai/arena

5•ShivamNayak11•1h ago•0 comments

Show HN: NeuralFit game - Adjust the neural network weights manually

https://neuralfit.ai201.site/

4•Gooblebrai•1h ago•0 comments

Show HN: Visualizing Contrastive Language-Audio Pretraining (Clap)

https://adamsohn.com/clap/

2•dataviz1000•1h ago•0 comments

Show HN: Material 3 Expressive Web Components

https://matraic.github.io/m3e/

2•matraic•1h ago•0 comments

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

https://github.com/ctxrs/ctx

20•luca-ctx•7h ago•2 comments

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

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

14•imkendal•7h ago•0 comments

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

https://github.com/valmishq/valmis

21•wayneshng•9h ago•6 comments

Show HN: Cyclearchive.com – search vintage cycling magazines

https://cyclearchive.com/search/

20•alastairr•5d ago•6 comments

Show HN: AnythingLLM Fork as NPM Package

https://github.com/fred-terzi/totem-llm

2•fred_terzi•3h ago•0 comments

Show HN: Collection of skills to help improve UX and AI Product design

https://github.com/tommyjepsen/awesome-ux-skills

3•tommyjepsen•3h ago•0 comments

Show HN: Piggy – lazy senior dev mode for AI agents (80–94% less code)

https://github.com/adamyasingh-12/Piggy-

3•piggydev•3h ago•3 comments

Show HN: A provider-agnostic agent loop built on ports and adapters

https://openagentloops.featherless.ai/

3•hopefulbutwary•3h ago•0 comments

Show HN: Mail Memories – A desktop app to rescue photos from Gmail

https://mailmemories.com

97•ltiger•8h ago•48 comments

Show HN: PurRDF-High performance, cross platform RDF1.2

https://github.com/Blackcat-Informatics/purrdf/

2•paudley•3h ago•1 comments

Show HN: Simulate API traffic directly from your IDE with .http files

https://gopherglide.dev/

3•maniac00•6h ago•0 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/

18•jonnonz•11h ago•4 comments

Show HN: Context.md – A proposed standard for AI project context

https://github.com/kerbelp/context-md

3•kerbelp•4h ago•1 comments

Show HN: GolemUI – Declarative Form Engine

https://golemui.com

48•wtfdeveloper•1d ago•68 comments

Show HN: MotionLoom – An open-source video-as-code language for video creation

https://lovelyzombieyho.github.io/anica-landing-page/motionloom/

2•LOVELYZOMBIEYHO•5h ago•0 comments