Show HN Daily Selection (2025-06-19)

• Unregistry – "docker push" directly to servers without a registry
• Workout.cool – Open-source fitness coaching platform
• I built a tensor library from scratch in C++/CUDA
• Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs
• Lstr – A modern, interactive tree command written in Rust
• Free local security checks for AI coding in VSCode, Cursor and Windsurf
• Delve, an open source (AGPL) enterprise-grade data analytics platform
• ht-mcp – a Rust MCP server of headless terminal for agents
• AI Debate Arena – See Which LLM Argues Best
• Tips for a lifetime Windows user switching to Mac
• Easy Percentage Calculator
• WFGY – A reasoning engine that repairs LLM logic without retraining
• Interactive Literature Reviews with Visual Knowledge Maps
• VerifyWise, an open-source governance platform for AI compliance
• Rulebook AI – rules and memory manager for AI coding IDEs
• fzfm – fuzzy finder file manager
• MediaCMS v6 – open-source video platform with trimmer and RBAC
• Cpdown – Copy any webpage/YouTube subtitle as clean Markdown(LLM-ready)
• I built a tool that automates social content for busy startup founders
• Tiny Hoare logic verifier using SMT

Unregistry – "docker push" directly to servers without a registry [Developer Tools]

42 points, 8 comments

Unregistry enables direct Docker image pushes to remote servers without needing a registry.

• Eliminates the need for a registry by leveraging Docker's built-in image storage
• Adds a docker pussh command for pushing images directly over SSH
• Transfers only missing layers for efficiency
• Uses a temporary container on the remote host and cleans up afterward
• Part of the broader Uncloud project for container deployment

Discussion Link, Original Link

Workout.cool – Open-source fitness coaching platform [Health]

527 points, 166 comments

An open-source fitness coaching platform rebuilt from scratch with improved features and no licensing issues.

• 100% open-source, MIT-licensed
• Includes 1200+ exercises with videos, attributes, and translations
• Progress tracking functionality
• Multilingual-ready
• Self-hostable option
• Community-driven development

Discussion Link, Original Link

I built a tensor library from scratch in C++/CUDA [Developer Tools]

85 points, 17 comments

A lightweight tensor library in C++/CUDA with PyTorch-like Python API for running small LLMs locally.

• C++ core with CUDA support written from scratch
• Familiar PyTorch-like Python API
• Supports running real models (e.g., Qwen from HuggingFace) on CUDA/CPU
• Built-in observability for Python and C++
• Planned BF16 support and GPU workload visualization

Discussion Link, Original Link

Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs [Developer Tools]

25 points, 9 comments

A terminal-based CLI tool for querying PDFs using an LLM agent with iterative search and retrieval capabilities.

• Uses LLM agents with search tools instead of context window stuffing for better knowledge retrieval
• Simple workflow: upload PDFs and query them directly from the terminal
• Customizable RAG behavior and expandable source references in responses
• Free for up to 1k document chunks, with source code available on GitHub and npm

Discussion Link, Original Link

Lstr – A modern, interactive tree command written in Rust [Developer Tools]

208 points, 64 comments

A modern, interactive tree command written in Rust with Git integration and TUI features.

• Interactive TUI Mode: Keyboard-driven navigation, expanding/collapsing directories, and opening files in the default editor.
• Git Status Integration: Shows Git status of files and directories with the -G flag.
• Shell Integration: Exports selected paths to stdout for piping or use in shell functions like lcd for visual directory navigation.
• Additional Features: Supports file-type icons (Nerd Fonts), file sizes, permissions, and respects .gitignore.

Discussion Link, Original Link

Free local security checks for AI coding in VSCode, Cursor and Windsurf [Developer Tools]

30 points, 22 comments

Codacy Guardrails is a free IDE extension and CLI tool that scans and fixes security and quality issues in AI-generated code in real-time.

• Integrates with AI coding assistants like VS Code, Cursor, and Windsurf
• Uses open-source static analyzers (Semgrep, Trivy) with 2000+ rules
• Supports JavaScript/TypeScript, Python, and Java
• Detects OWASP Top 10 vulnerabilities, hardcoded secrets, and style violations
• Customizable rules for project-specific needs
• Free for individual developers with paid team plans available

Discussion Link

Delve, an open source (AGPL) enterprise-grade data analytics platform [Developer Tools]

15 points, 13 comments

An open-source enterprise-grade data analytics platform built with Django and modern web technologies.

• Scalable platform for ingesting, searching, and reporting on large datasets
• Extensible with custom Django apps
• Unix-pipe-like search language powered by Python scripts
• Web UI supports tables, line charts, and bar charts
• Built with Django, Django Rest Framework, webpack, JS, and SCSS

Discussion Link, Original Link

ht-mcp – a Rust MCP server of headless terminal for agents [Developer Tools]

19 points, 1 comments

A Rust MCP server enabling AI coding tools to interact with terminals like humans by simulating human input and state management.

• Wraps the headless terminal (HT) to allow agentic coding tools to use interactive CLI tools
• Supports human-like interaction with terminals (e.g., navigating menus, editing text in vim/emacs)
• 40x faster startup time (~50ms) and 70% lower memory usage (~15MB) compared to TypeScript version
• Single 3MB binary with no external dependencies
• Demo available with Claude Code and Memex
• Installable via Homebrew (brew install ht-mcp)

Discussion Link, Original Link

AI Debate Arena – See Which LLM Argues Best [Entertainment]

3 points, 1 comments

AI-powered debate platform where LLMs argue opposing sides of controversial topics to surface balanced arguments.

• Pits GPT-4o, Grok 3, and Gemini 2.5 Flash against each other with randomly assigned pro/con positions
• Users vote before and after debates to measure persuasion impact
• Aims to benchmark LLMs by detecting biases through performance in randomized debates
• Plans to refine argument structure, reduce fluff, and add audio output
• Designed for intellectually curious users open to changing their views

Discussion Link, Original Link

Tips for a lifetime Windows user switching to Mac [Consumer Tech]

4 points, 1 comments

Switching from Windows to Mac: Essential tips for a smooth transition.

• Distilled knowledge for Windows users adapting to Mac OS
• Inspired by similar helpful posts
• Focuses on practical usage tips

Discussion Link, Original Link

Easy Percentage Calculator [Productivity]

3 points, 0 comments

Simple tool for calculating percentages.

• Quick percentage calculations
• User-friendly interface

Discussion Link, Original Link

WFGY – A reasoning engine that repairs LLM logic without retraining [Developer Tools]

9 points, 5 comments

WFGY is a reasoning engine that fixes LLM logic errors without retraining using a PDF-based semantic protocol.

• Corrects projection collapse, contradiction loops, and ambiguous inference chains
• No retraining or system calls required—alters reasoning trajectories directly
• Improves reasoning success by 42.1%, semantic alignment by 22.4%, and stability by 3.6×
• Includes formal theory, prompt suites, and reproducible results
• Zero dependencies, fully open-source

Discussion Link, Original Link

Interactive Literature Reviews with Visual Knowledge Maps [Research]

4 points, 0 comments

A tool that transforms literature reviews into interactive visual knowledge maps using AI.

• Upload research papers (PDFs) and web sources (HTML)
• AI generates interactive knowledge maps from sources
• Skim high-level summaries or read detailed per-source/section summaries
• Expand specific sections of interest in the map
• Access original sources in context
• Ask contextual questions about the research
• Pre-curated reviews on topics like LLMs, Diffusion Models, and AI Agents

Discussion Link, Original Link

VerifyWise, an open-source governance platform for AI compliance [Business]

4 points, 0 comments

An open-source AI governance platform for compliance, audit readiness, and risk management.

• Provides audit readiness, risk registers, and compliance documentation
• Includes model fairness checks with Fairlearn integration
• Supports EU AI Act and ISO 42001 workflows with exportable audit trails
• Features a training registry for tracking AI literacy
• Offers self-hosting and community-led development
• Open for design contributions via Figma

Discussion Link, Original Link

Rulebook AI – rules and memory manager for AI coding IDEs [Developer Tools]

18 points, 4 comments

AI rules and memory manager for coding IDEs.

• Manages rules and memory for AI coding
• Designed for integration with IDEs

Discussion Link, Original Link

fzfm – fuzzy finder file manager [Developer Tools]

5 points, 0 comments

A Bash utility that turns fzf into a terminal file navigator with fuzzy search and preview support.

• Navigate directories and fuzzy-search files
• Preview file contents with bat (fallback to cat)
• Preview directories with eza (fallback to ls)
• Open files in your editor or viewer (configurable)
• Easily customizable via environment variables

Discussion Link, Original Link

MediaCMS v6 – open-source video platform with trimmer and RBAC [Video]

10 points, 1 comments

Open-source video platform with trimming and role-based access control.

• Open-source video platform
• Includes video trimming feature
• Supports role-based access control (RBAC)

Discussion Link, Original Link

Cpdown – Copy any webpage/YouTube subtitle as clean Markdown(LLM-ready) [Developer Tools]

13 points, 3 comments

A Chrome extension that converts webpage content or YouTube subtitles into clean Markdown with token counting for LLM use.

• Intelligent Content Extraction: Removes ads and sidebars to focus on main content
• Clean Markdown Conversion: Converts HTML to tidy Markdown
• Token Count for LLMs: Displays token count for compatibility with LLMs
• YouTube Transcript Copying: Copies full transcripts with video title as header
• Customizable Options: Choice of extractors and code block wrapping
• Free and Open-Source: Built with WXT, React, and TypeScript

Discussion Link, Original Link

I built a tool that automates social content for busy startup founders [Marketing]

7 points, 5 comments

A tool that automates social media content creation and scheduling for startup founders.

• Automatically generates a 30-day content schedule with graphics
• One-time setup with brand details and goals
• Integrates with social platforms for auto-posting
• Designed to save time and maintain consistency
• Focused on high-quality content for early traction

Discussion Link, Original Link

Tiny Hoare logic verifier using SMT [Developer Tools]

6 points, 1 comments

Tiny Hoare logic verifier using SMT.

• Uses Hoare logic for program verification
• Leverages SMT (Satisfiability Modulo Theories) solvers
• Compact and lightweight implementation

Discussion Link, Original Link