Show HN: Unregistry – "docker push" directly to servers without a registry (github.com)

74 points by psviderski 1h ago 19 comments

Show HN: Workout.cool – Open-source fitness coaching platform (github.com)

550 points by surgomat 12h ago 167 comments

Show HN: I built a tensor library from scratch in C++/CUDA (github.com)

86 points by nirw4nna 9h ago 17 comments

Show HN: Agentic Trust – Enterprise MCP Server Platform for Secure AI Agents (agentictrust.com)

2 points by subramanya1997 1h ago 0 comments

Show HN: Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs (github.com)

26 points by skeptrune 10h ago 9 comments

Show HN: Lstr – A modern, interactive tree command written in Rust (github.com)

209 points by w108bmg 22h ago 65 comments

Show HN: Free local security checks for AI coding in VSCode, Cursor and Windsurf

31 points by jaimefjorge 12h ago 22 comments

Show HN: ht-mcp – a Rust MCP server of headless terminal for agents (github.com)

21 points by alphag33k 9h ago 1 comments

Show HN: Delve, an open source (AGPL) enterprise-grade data analytics platform (github.com)

15 points by ilovetux 7h ago 13 comments

Show HN: AI Debate Arena – See Which LLM Argues Best (bot-bicker.vercel.app)

3 points by sillypuddy 4h ago 1 comments

Show HN: I made an online Unicode Cuneiform digital clock (oisinmoran.com)

105 points by OisinMoran 3d ago 33 comments

Show HN: Tips for a lifetime Windows user switching to Mac (gist.github.com)

4 points by rofrol 5h ago 1 comments

Show HN: I couldn't poop, so I built an app to track digestion in real-time (digestrackapp.com)

2 points by YaccoHakon 6h ago 0 comments

Show HN: Easy Percentage Calculator (easypercentcalculator.com)

3 points by filipstefano 6h ago 0 comments

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com)

9 points by WFGY 15h ago 5 comments

Show HN: Interactive Literature Reviews with Visual Knowledge Maps (proread.ai)

4 points by kanodiaashu 6h ago 0 comments

Show HN: Turn long form videos into short form clips (useclipfactory.com)

2 points by jmcbca04 6h ago 0 comments

Show HN: VerifyWise, an open-source governance platform for AI compliance (verifywise.ai)

4 points by gorkemcetin 6h ago 0 comments

Show HN: Brand Stori – AI audits your website like an enterprise buyer in 2min (brandstori.ai)

2 points by AnuraagTyagi 6h ago 4 comments

Show HN: Nexus.js - Fabric.js for 3D (punk.cam)

90 points by ges 2d ago 28 comments

Show HN: Rulebook AI – rules and memory manager for AI coding IDEs (github.com)

19 points by botingw_job 23h ago 4 comments

Show HN: Chawan TUI web browser (chawan.net)

379 points by shiomiru 2d ago 66 comments

Show HN: Canine – A Heroku alternative built on Kubernetes (github.com)

314 points by czhu12 2d ago 122 comments

Show HN: AskMedically – a research-backed AI copilot for clinical questions (askmedically.com)

2 points by arunbhatia 12h ago 0 comments

Show HN: fzfm – fuzzy finder file manager (github.com)

5 points by ashish0kumar 13h ago 0 comments

Show HN: MediaCMS v6 – open-source video platform with trimmer and RBAC (github.com)

10 points by provetza 10h ago 1 comments

Show HN: I built a FOSS tool to run your Steam games in the Cloud (github.com)

28 points by pierrebeucher 1d ago 8 comments

Show HN: PMDb – Public Movie Database (pmdb.dev)

14 points by darkotodoric 1d ago 5 comments

Show HN: I recreated 90s Mode X demoscene effects in JavaScript and Canvas (jdfio.com)

184 points by gneissguise 1d ago 69 comments

Show HN: Cpdown – Copy any webpage/YouTube subtitle as clean Markdown(LLM-ready) (github.com)

13 points by ysm0622 17h ago 3 comments

Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)

60 points by beckford 2d ago 9 comments

Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format (github.com)

213 points by rorosen 3d ago 46 comments

Show HN: I built a podcast app that saves time with readable commentary (alorapodcasts.com)

2 points by nkabbani10 20h ago 2 comments

Show HN: I built a tool that automates social content for busy startup founders (outbrand.design)

7 points by jsathianathen 21h ago 5 comments

Show HN: We are three devs from Kenya and built a Docker alternative in Rust (gist.github.com)

11 points by Clein 1d ago 3 comments

Show HN: FaynoSync Self-Hosted API for Automatic App Updates (github.com)

10 points by ku9n 1d ago 1 comments

Show HN: Tiny Hoare logic verifier using SMT (github.com)

6 points by namin 23h ago 1 comments

Show HN: Founders Match – The First AI-Powered Co-Founder Matching Platform (foundersmatch.ai)

6 points by al3cs 1d ago 0 comments

Show HN: Socket-call – Call socket.io events like normal JavaScript functions (github.com)

44 points by bperel 2d ago 17 comments

Show HN: Kichan AI, free Chrome extension that generates and injects userscripts (chromewebstore.google.com)

2 points by k1rd 11h ago 0 comments

Show HN: Superscan – Visualize filetree for filesystem, gdrive, S3 buckets etc. (github.com)

5 points by debarshri 1d ago 1 comments

Show HN: StellarSnap – Explore NASA APODs, simulate orbits, learn astronomy (stellarsnap.space)

26 points by stellarsnap 5d ago 0 comments

Show HN: How to Read Code (codedump.info)

14 points by codedump 2d ago 1 comments

Show HN: A baby UI design agent that explores and iterates (trylayout.com)

5 points by tscepo 1d ago 1 comments

Show HN: DIY virtual HDMI monitor using "AR" glasses (github.com)

112 points by blensor 7d ago 79 comments

Show HN: McWig – A modal, Vim-like text editor written in Go (github.com)

152 points by andrew_bbb 6d ago 26 comments

Show HN: Most users won't report bugs unless you make it stupidly easy

335 points by lakshikag 9d ago 208 comments

Show HN: analogatique – static gallery generator written in Rust (github.com)

2 points by un1970ix 1d ago 0 comments

Show HN: Eyesite – Experimental website combining computer vision and web design (blog.andykhau.com)

137 points by akchro 7d ago 25 comments

Show HN: OntoCast – Extract RDF triples using LLMs and co-evolving ontologies (github.com)

2 points by acrostoic 1d ago 0 comments

Show HN: Tiny Hoare logic verifier using SMT

6 namin 1 6/18/2025, 12:49:47 AM github.com ↗

Comments (1)

fovc · 22h ago

Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.