Selección Diaria de Show HN (2025-06-19)

• Unregistry – "docker push" directamente a servidores sin un registro
• Workout.cool – Plataforma de entrenamiento físico de código abierto
• Construí una biblioteca de tensores desde cero en C++/CUDA
• Trieve CLI – Agente de LLM basado en terminal con herramienta de búsqueda para PDFs
• Lstr – Un comando tree moderno e interactivo escrito en Rust
• Chequeos de seguridad locales gratuitos para codificación con IA en VSCode, Cursor y Windsurf
• Delve, una plataforma de análisis de datos empresarial de código abierto (AGPL)
• ht-mcp – un servidor MCP en Rust de terminal sin cabeza para agentes
• AI Debate Arena – Descubre qué LLM argumenta mejor
• Consejos para un usuario de Windows de toda la vida que cambia a Mac
• Calculadora de Porcentajes Fácil
• WFGY – Un motor de razonamiento que repara la lógica de LLM sin reentrenar
• Revisiones de Literatura Interactivas con Mapas Visuales de Conocimiento
• VerifyWise, una plataforma de gobernanza de código abierto para cumplimiento de IA
• Rulebook AI – gestor de reglas y memoria para IDEs de codificación con IA
• fzfm – gestor de archivos con búsqueda difusa
• MediaCMS v6 – plataforma de video de código abierto con recortador y RBAC
• Cpdown – Copia cualquier página web/subtítulo de YouTube como Markdown limpio (listo para LLM)
• Construí una herramienta que automatiza contenido social para fundadores de startups ocupados
• Pequeño verificador de lógica de Hoare usando SMT

Unregistry – "docker push" directamente a servidores sin un registro [Herramientas para Desarrolladores]

42 puntos, 8 comentarios

Unregistry permite enviar imágenes de Docker directamente a servidores remotos sin necesidad de un registro.

• Elimina la necesidad de un registro aprovechando el almacenamiento de imágenes integrado de Docker
• Añade un comando docker pussh para enviar imágenes directamente a través de SSH
• Transfiere solo las capas faltantes para mayor eficiencia
• Usa un contenedor temporal en el host remoto y lo limpia después
• Parte del proyecto Uncloud para despliegue de contenedores

Enlace a la Discusión, Enlace Original

Workout.cool – Plataforma de entrenamiento físico de código abierto [Salud]

527 puntos, 166 comentarios

Una plataforma de entrenamiento físico de código abierto reconstruida desde cero con características mejoradas y sin problemas de licencia.

• 100% código abierto, licencia MIT
• Incluye 1200+ ejercicios con videos, atributos y traducciones
• Funcionalidad de seguimiento de progreso
• Listo para múltiples idiomas
• Opción de auto-hospedaje
• Desarrollo impulsado por la comunidad

Enlace a la Discusión, Enlace Original

Construí una biblioteca de tensores desde cero en C++/CUDA [Herramientas para Desarrolladores]

85 puntos, 17 comentarios

Una biblioteca ligera de tensores en C++/CUDA con una API similar a PyTorch para ejecutar pequeños LLMs localmente.

• Núcleo en C++ con soporte CUDA escrito desde cero
• API en Python similar a PyTorch
• Soporta modelos reales (ej. Qwen de HuggingFace) en CUDA/CPU
• Observabilidad integrada para Python y C++
• Soporte planificado para BF16 y visualización de carga de trabajo en GPU

Enlace a la Discusión, Enlace Original

Trieve CLI – Agente de LLM basado en terminal con herramienta de búsqueda para PDFs [Herramientas para Desarrolladores]

25 puntos, 9 comentarios

Una herramienta CLI basada en terminal para consultar PDFs usando un agente LLM con capacidades de búsqueda y recuperación iterativas.

• Usa agentes LLM con herramientas de búsqueda en lugar de llenar la ventana de contexto para una mejor recuperación de conocimiento
• Flujo de trabajo simple: sube PDFs y consulta directamente desde la terminal
• Comportamiento RAG personalizable y referencias de origen expandibles en las respuestas
• Gratis hasta 1k fragmentos de documentos, con código fuente disponible en GitHub y npm

Enlace a la Discusión, Enlace Original

Lstr – Un comando tree moderno e interactivo escrito en Rust [Herramientas para Desarrolladores]

208 puntos, 64 comentarios

Un comando tree moderno e interactivo escrito en Rust con integración de Git y características TUI.

• Modo TUI Interactivo: Navegación con teclado, expandir/colapsar directorios y abrir archivos en el editor predeterminado.
• Integración de Estado Git: Muestra el estado Git de archivos y directorios con la bandera -G.
• Integración con Shell: Exporta rutas seleccionadas a stdout para tuberías o uso en funciones de shell como lcd para navegación visual de directorios.
• Características Adicionales: Soporta iconos de tipo de archivo (Nerd Fonts), tamaños de archivo, permisos y respeta .gitignore.

Enlace a la Discusión, Enlace Original

Chequeos de seguridad locales gratuitos para codificación con IA en VSCode, Cursor y Windsurf [Herramientas para Desarrolladores]

30 puntos, 22 comentarios

Codacy Guardrails es una extensión de IDE y herramienta CLI gratuita que escanea y corrige problemas de seguridad y calidad en código generado por IA en tiempo real.

• Se integra con asistentes de codificación con IA como VS Code, Cursor y Windsurf
• Usa analizadores estáticos de código abierto (Semgrep, Trivy) con 2000+ reglas
• Soporta JavaScript/TypeScript, Python y Java
• Detecta vulnerabilidades OWASP Top 10, secretos codificados y violaciones de estilo
• Reglas personalizables para necesidades específicas del proyecto
• Gratis para desarrolladores individuales con planes de pago para equipos disponibles

Enlace a la Discusión

Delve, una plataforma de análisis de datos empresarial de código abierto (AGPL) [Herramientas para Desarrolladores]

15 puntos, 13 comentarios

Una plataforma de análisis de datos empresarial de código abierto construida con Django y tecnologías web modernas.

• Plataforma escalable para ingerir, buscar y reportar grandes conjuntos de datos
• Extensible con aplicaciones Django personalizadas
• Lenguaje de búsqueda similar a Unix-pipe impulsado por scripts Python
• Interfaz web soporta tablas, gráficos de líneas y barras
• Construida con Django, Django Rest Framework, webpack, JS y SCSS

Enlace a la Discusión, Enlace Original

ht-mcp – un servidor MCP en Rust de terminal sin cabeza para agentes [Herramientas para Desarrolladores]

19 puntos, 1 comentario

Un servidor MCP en Rust que permite a herramientas de codificación con IA interactuar con terminales como humanos simulando entrada humana y gestión de estado.

• Envuelve la terminal sin cabeza (HT) para permitir que herramientas de codificación agentic usen herramientas CLI interactivas
• Soporta interacción humana con terminales (ej. navegar menús, editar texto en vim/emacs)
• 40x más rápido en inicio (~50ms) y 70% menos uso de memoria (~15MB) comparado con versión en TypeScript
• Binario único de 3MB sin dependencias externas
• Demo disponible con Claude Code y Memex
• Instalable via Homebrew (brew install ht-mcp)

Enlace a la Discusión, Enlace Original

AI Debate Arena – Descubre qué LLM argumenta mejor [Entretenimiento]

3 puntos, 1 comentario

Plataforma de debate impulsada por IA donde LLMs argumentan lados opuestos de temas controversiales para presentar argumentos balanceados.

• Enfrenta a GPT-4o, Grok 3 y Gemini 2.5 Flash con posiciones pro/contra asignadas aleatoriamente
• Usuarios votan antes y después de debates para medir impacto persuasivo
• Busca evaluar LLMs detectando sesgos a través de desempeño en debates aleatorizados
• Planes para refinar estructura de argumentos, reducir relleno y añadir salida de audio
• Diseñado para usuarios intelectualmente curiosos abiertos a cambiar sus opiniones

Enlace a la Discusión, Enlace Original

Consejos para un usuario de Windows de toda la vida que cambia a Mac [Tecnología para Consumidores]

4 puntos, 1 comentario

Cambiando de Windows a Mac: Consejos esenciales para una transición suave.

• Conocimiento destilado para usuarios de Windows adaptándose a Mac OS
• Inspirado por publicaciones similares útiles
• Enfocado en consejos prácticos de uso

Enlace a la Discusión, Enlace Original

Calculadora de Porcentajes Fácil [Productividad]

3 puntos, 0 comentarios

Herramienta simple para calcular porcentajes.

• Cálculos rápidos de porcentajes
• Interfaz amigable

Enlace a la Discusión, Enlace Original

WFGY – Un motor de razonamiento que repara la lógica de LLM sin reentrenar [Herramientas para Desarrolladores]

9 puntos, 5 comentarios

WFGY es un motor de razonamiento que corrige errores de lógica en LLMs sin reentrenar usando un protocolo semántico basado en PDF.

• Corrige colapso de proyección, bucles de contradicción y cadenas de inferencia ambiguas
• No requiere reentrenamiento o llamadas al sistema—altera trayectorias de razonamiento directamente
• Mejora éxito de razonamiento en 42.1%, alineación semántica en 22.4% y estabilidad en 3.6×
• Incluye teoría formal, conjuntos de prompts y resultados reproducibles
• Cero dependencias, completamente código abierto

Enlace a la Discusión, Enlace Original

Revisiones de Literatura Interactivas con Mapas Visuales de Conocimiento [Investigación]

4 puntos, 0 comentarios

Una herramienta que transforma revisiones de literatura en mapas visuales de conocimiento interactivos usando IA.

• Sube artículos de investigación (PDFs) y fuentes web (HTML)
• IA genera mapas de conocimiento interactivos a partir de fuentes
• Revisa resúmenes de alto nivel o lee resúmenes detallados por fuente/sección
• Expande secciones específicas de interés en el mapa
• Accede a fuentes originales en contexto
• Haz preguntas contextuales sobre la investigación
• Revisiones pre-curatorizadas en temas como LLMs, Modelos de Difusión y Agentes de IA

Enlace a la Discusión, Enlace Original

VerifyWise, una plataforma de gobernanza de código abierto para cumplimiento de IA [Negocios]

4 puntos, 0 comentarios

Una plataforma de gobernanza de IA de código abierto para cumplimiento, preparación de auditorías y gestión de riesgos.

• Proporciona preparación para auditorías, registros de riesgos y documentación de cumplimiento
• Incluye verificaciones de equidad de modelos con integración Fairlearn
• Soporta flujos de trabajo de la Ley de IA de la UE e ISO 42001 con trazas de auditoría exportables
• Características un registro de capacitación para rastrear alfabetización en IA
• Ofrece auto-hospedaje y desarrollo liderado por la comunidad
• Abierto a contribuciones de diseño via Figma

Enlace a la Discusión, Enlace Original

Rulebook AI – gestor de reglas y memoria para IDEs de codificación con IA [Herramientas para Desarrolladores]

18 puntos, 4 comentarios

Gestor de reglas y memoria para IDEs de codificación con IA.

• Gestiona reglas y memoria para codificación con IA
• Diseñado para integración con IDEs

Enlace a la Discusión, Enlace Original

fzfm – gestor de archivos con búsqueda difusa [Herramientas para Desarrolladores]

5 puntos, 0 comentarios

Una utilidad Bash que convierte fzf en un navegador de archivos de terminal con búsqueda difusa y soporte de vista previa.

• Navega directorios y busca archivos con búsqueda difusa
• Vista previa de contenido de archivos con bat (alternativa cat)
• Vista previa de directorios con eza (alternativa ls)
• Abre archivos en tu editor o visor (configurable)
• Fácilmente personalizable via variables de entorno

Enlace a la Discusión, Enlace Original

MediaCMS v6 – plataforma de video de código abierto con recortador y RBAC [Video]

10 puntos, 1 comentario

Plataforma de video de código abierto con recorte y control de acceso basado en roles.

• Plataforma de video de código abierto
• Incluye función de recorte de video
• Soporta control de acceso basado en roles (RBAC)

Enlace a la Discusión, Enlace Original

Cpdown – Copia cualquier página web/subtítulo de YouTube como Markdown limpio (listo para LLM) [Herramientas para Desarrolladores]

13 puntos, 3 comentarios

Una extensión de Chrome que convierte contenido de páginas web o subtítulos de YouTube en Markdown limpio con conteo de tokens para uso con LLMs.

• Extracción Inteligente de Contenido: Elimina anuncios y barras laterales para enfocarse en el contenido principal
• Conversión a Markdown Limpio: Convierte HTML a Markdown ordenado
• Conteo de Tokens para LLMs: Muestra conteo de tokens para compatibilidad con LLMs
• Copia de Transcripciones de YouTube: Copia transcripciones completas con título del video como encabezado
• Opciones Personalizables: Elección de extractores y envoltura de bloques de código
• Gratis y de Código Abierto: Construido con WXT, React y TypeScript

Enlace a la Discusión, Enlace Original

Construí una herramienta que automatiza contenido social para fundadores de startups ocupados [Marketing]

7 puntos, 5 comentarios

Una herramienta que automatiza la creación y programación de contenido en redes sociales para fundadores de startups.

• Genera automáticamente un calendario de contenido de 30 días con gráficos
• Configuración única con detalles de marca y objetivos
• Se integra con plataformas sociales para publicación automática
• Diseñada para ahorrar tiempo y