Selección Diaria de Show HN (2025-04-26)

• Usé la nueva API de imágenes de OpenAI para un servicio personalizado de libros para colorear
• Formalizando Principia Mathematica usando Lean
• Magnitude – marco de pruebas de código abierto nativo para IA para aplicaciones web
• Una hoja de cálculo moderna con integración de Python
• BugStalker - un depurador moderno en Rust
• RSS Lookup – Encuentra feeds RSS para cualquier URL (Gratis, Código Abierto)
• Faasta – Una plataforma Serverless autoalojada para WASM-wasi-HTTP en Rust
• StackHound - Deja de adivinar el stack tecnológico de un repositorio, analízalo en segundos
• SnipFast – Extrae texto resaltado de libros físicos
• Una demostración interactiva de la corrección de errores en códigos QR
• Claude Code con GUI y Editor de Prompts Basado en Bloques (MIT)
• Loat – Aumenta tu MRR con correos automatizados
• Un servidor MCP para entender los costos de AWS
• OpenWrt Configurator – Gestión simple de configuración para dispositivos OpenWrt
• Convierte APIs REST de Rails en servidores Model Context Protocol (MCP)
• Pomo – Gestiona tus códigos promocionales de Stripe sin código
• Mailfrom.dev – Una alternativa más económica a MailTrap
• Mi motor de juego de mazmorras basado en texto en Python
• TSCE – Piensa Antes de Hablar (Enriquecimiento Contextual en Dos Pasos para LLMs)
• Mermaid Open Editor 2.0
• Turbine – Un lenguaje de scripting para C/C++ con sintaxis similar a Markdown

Usé la nueva API de imágenes de OpenAI para un servicio personalizado de libros para colorear [Imagen]

46 puntos, 26 comentarios

Un servicio que genera libros para colorear personalizados a partir de fotos familiares usando la API de imágenes de OpenAI.

• Usa la API de imágenes de OpenAI para automatizar la creación de páginas para colorear a partir de fotos subidas
• Se integra con servicios de impresión para entregar libros físicos
• Atractivo tanto para adultos como para niños por su disfrute creativo y catártico
• Ofrece un 10% de descuento para usuarios tempranos

Enlace a la Discusión, Enlace Original

Formalizando Principia Mathematica usando Lean [Investigación]

84 puntos, 21 comentarios

Un proyecto para formalizar Principia Mathematica de Bertrand Russell usando el demostrador de teoremas Lean, siguiendo de cerca las pruebas originales.

• Formaliza el primer volumen de Principia Mathematica usando Lean4
• Sigue las pruebas de Russell rigurosamente con declaraciones añadidas mínimas
• Busca alta precisión y agradece comentarios sobre inexactitudes
• Inspirado por pero distinto de una formalización existente basada en Coq
• Código abierto y disponible en GitHub para colaboración

Enlace a la Discusión, Enlace Original

Magnitude – marco de pruebas de código abierto nativo para IA para aplicaciones web [Herramientas para Desarrolladores]

113 puntos, 30 comentarios

Un marco de pruebas de código abierto nativo para IA para aplicaciones web que usa agentes visuales LLM para pruebas más rápidas, económicas y confiables.

• Usa visión pura en lugar de sistemas propensos a errores basados en "marcas"
• Emplea VLM pequeño (Moondream) para ejecución más rápida y económica que OpenAI/Anthropic
• Sistema de dos agentes: planificador para adaptar casos de prueba y ejecutor para ejecuciones rápidas y consistentes
• Guarda y reutiliza planes de prueba para eficiencia, con respaldo al planificador si surgen problemas
• Totalmente de código abierto y optimizado específicamente para pruebas web

Enlace a la Discusión, Enlace Original

Una hoja de cálculo moderna con integración de Python [Productividad]

44 puntos, 6 comentarios

Una herramienta de hoja de cálculo moderna con integración de Python para manejar grandes conjuntos de datos eficientemente.

• Procesa grandes conjuntos de datos (4GB+) y carga archivos GB/32 millones de filas en segundos
• Soporta hasta 500GB de uso de RAM sin fallos
• Edita, divide, fusiona y limpia archivos CSV/texto con hasta 32M filas y 1M columnas
• Permite funciones de Python como fórmulas UDF, devolviendo imágenes o archivos CSV
• Incluye funciones estadísticas de pivote y funciones de resolución con prácticamente sin límites de variables
• Genera gráficos al instante con millones de puntos de datos
• Incorpora activamente comentarios de usuarios para mejoras

Enlace a la Discusión, Enlace Original

BugStalker - un depurador moderno en Rust [Herramientas para Desarrolladores]

103 puntos, 15 comentarios

Un depurador moderno para Rust escrito en Rust.

• Depurador moderno para Rust
• Escrito en Rust mismo
• Diseñado para depurar aplicaciones Rust

Enlace a la Discusión, Enlace Original

RSS Lookup – Encuentra feeds RSS para cualquier URL (Gratis, Código Abierto) [Herramientas para Desarrolladores]

4 puntos, 3 comentarios

Una herramienta gratuita y de código abierto para encontrar feeds RSS para cualquier URL analizando metaetiquetas, rutas alternativas y feeds codificados.

• Busca automáticamente feeds RSS desde cualquier URL de sitio web
• Usa metaetiquetas, rutas alternativas y feeds codificados para sitios populares
• Código abierto sin anuncios ni seguimiento de URL
• Incluye Cloudflare Turnstile para prevención de abuso y Plausible para análisis

Enlace a la Discusión, Enlace Original

Faasta – Una plataforma Serverless autoalojada para WASM-wasi-HTTP en Rust [Herramientas para Desarrolladores]

86 puntos, 30 comentarios

Faasta es una plataforma serverless autoalojada para funciones WASM-wasi-HTTP, escrita en Rust, que ofrece multi-tenencia eficiente y alta concurrencia.

• Código abierto y compatible con estándares WASI-HTTP
• Permite miles de invocaciones concurrentes de funciones en un solo proceso
• Utilidad CLI disponible via cargo install cargo-faasta
• Instancia alojada gratuita con despliegue OAuth de GitHub (límite de 10 funciones por cuenta)
• Más eficiente que soluciones serverless tradicionales basadas en VM como AWS Lambda

Enlace a la Discusión, Enlace Original

StackHound - Deja de adivinar el stack tecnológico de un repositorio, analízalo en segundos [Herramientas para Desarrolladores]

5 puntos, 1 comentarios

StackHound analiza repositorios de GitHub para revelar su stack tecnológico real escaneando archivos de dependencias.

• Escanea archivos de dependencias para descubrir herramientas, frameworks y lenguajes
• Funciona con React, Next.js, Tailwind, Flask, Spring Boot y más
• Análisis instantáneo ingresando un nombre de usuario y repositorio de GitHub
• Proporciona un endpoint API para integración en herramientas personalizadas
• Código abierto e incluye una demo en vivo

Enlace a la Discusión, Enlace Original

SnipFast – Extrae texto resaltado de libros físicos [Educación]

9 puntos, 0 comentarios

Una herramienta para extraer texto resaltado de libros físicos mediante captura de imágenes.

• Detecta y extrae automáticamente texto resaltado de fotos de páginas
• Permite selección manual de oraciones para copia precisa
• Usa un modelo ML personalizado para detección de resaltados
• Prueba gratuita con créditos, seguida de un pequeño pago para prevenir abuso
• Diseñado para lectores, estudiantes e investigadores
• Backend en Kotlin con base de datos Postgres
• Se busca retroalimentación temprana en UI y mejoras de usabilidad

Enlace a la Discusión, Enlace Original

Una demostración interactiva de la corrección de errores en códigos QR [Tecnología para Consumidores]

10 puntos, 2 comentarios

Demostración interactiva que muestra la tolerancia a errores en códigos QR permitiendo a los usuarios dibujar sobre ellos y ver el impacto del daño en tiempo real.

• Visualiza la tolerancia a errores con barras de salud y contadores de daño
• Alterna entre modo dibujo y modo inspección para análisis detallado
• Usa un decodificador C++ compilado en WebAssembly para retroalimentación precisa
• Fomenta verificación mediante escaneo con teléfono para confirmar puntos de ruptura
• Demuestra resiliencia de códigos QR con desafío de daño mínimo en región de datos

Enlace a la Discusión, Enlace Original

Claude Code con GUI y Editor de Prompts Basado en Bloques (MIT) [Herramientas para Desarrolladores]

3 puntos, 1 comentarios

Claude Code ofrece una GUI y editor de prompts basado en bloques para codificar con Claude.

• Incluye una interfaz gráfica de usuario (GUI)
• Editor de prompts basado en bloques
• Código abierto bajo licencia MIT

Enlace a la Discusión, Enlace Original

Loat – Aumenta tu MRR con correos automatizados [Marketing]

4 puntos, 2 comentarios

Loat es una plataforma para que fundadores automaticen campañas de correo para crecimiento y onboarding sin necesidad de un CRM dedicado.

• Automatiza secuencias de correo para diferentes productos
• Soporta campañas educativas y boletines
• Diseñado para equipos pequeños para maximizar el correo como canal de crecimiento
• Construido a partir de herramientas internas usadas en un producto fiscal de alta confianza

Enlace a la Discusión, Enlace Original

Un servidor MCP para entender los costos de AWS [Finanzas]

14 puntos, 3 comentarios

Un servidor MCP que conecta LLMs como Claude y Cursor a datos de costos y uso de AWS via la API de Vantage para gestión de costos en la nube impulsada por IA.

• Se integra con LLMs (Claude, Cursor, con ChatGPT y Gemini próximamente)
• Soporta 20+ proveedores de nube (AWS, Datadog, MongoDB, etc.)
• Permite consultas de costos ad-hoc, planes de acción y flujos multiherramienta
• Requiere cuenta de Vantage para acceso API
• Código abierto (repositorio GitHub disponible)

Enlace a la Discusión

OpenWrt Configurator – Gestión simple de configuración para dispositivos OpenWrt [Herramientas para Desarrolladores]

3 puntos, 0 comentarios

Una herramienta CLI para gestión sencilla de configuración de dispositivos OpenWrt, con planes para una UI web y alternativa de código abierto a UniFi Controller.

• Simplifica aprovisionamiento de configuraciones en múltiples dispositivos OpenWrt
• Basado en CLI para gestión rápida y scriptable
• Planes futuros incluyen UI web para mejor usabilidad
• Busca ser una alternativa de código abierto a UniFi Controller

Enlace a la Discusión, Enlace Original

Convierte APIs REST de Rails en servidores Model Context Protocol (MCP) [Herramientas para Desarrolladores]

3 puntos, 0 comentarios

Convierte APIs REST de Rails en servidores Model Context Protocol (MCP).

• Convierte APIs REST de Rails a servidores MCP
• Mejora funcionalidad de API con protocolo de contexto de modelo

Enlace a la Discusión, Enlace Original

Pomo – Gestiona tus códigos promocionales de Stripe sin código [Negocios]

4 puntos, 6 comentarios

Una herramienta gratuita para crear y gestionar códigos promocionales de Stripe en lotes sin codificar.

• Solución sin código para crear códigos promocionales únicos en Stripe
• Generación en lote con prefijos personalizables
• Configuración simple usando claves API de Stripe
• Exporta códigos promocionales para campañas de marketing

Enlace a la Discusión, Enlace Original

Mailfrom.dev – Una alternativa más económica a MailTrap [Herramientas para Desarrolladores]

3 puntos, 2 comentarios

Un servidor SMTP sandbox simple y económico para probar flujos de correo en entornos dev/staging sin enviar correos reales.

• Alternativa económica a MailTrap
• Configuración y compartición fácil con equipo/clientes
• Soporta pruebas de flujos de correo (resets, onboarding, verificaciones)
• Construido con Laravel, Vue 3, shadcn, alojado en k3s (Hetzner)
• Usa AWS S3 y SES para almacenamiento y manejo de correos

Enlace a la Discusión, Enlace Original

Mi motor de juego de mazmorras basado en texto en Python [Entretenimiento]

3 puntos, 0 comentarios

Un motor de juego de mazmorras basado en texto en Python creado durante la recuperación de una cirugía.

• Mundos de juego definidos en JSON
• Incluye habitaciones, botín y monstruos
• Código abierto en GitHub

Enlace a la Discusión

TSCE – Piensa Antes de Hablar (Enriquecimiento Contextual en Dos Pasos para LLMs) [Herramientas para Desarrolladores]

3 puntos, 0 comentarios

TSCE es una biblioteca Python que mejora la precisión de seguimiento de instrucciones en modelos de lenguaje pequeños usando una arquitectura de dos pasos sin ajuste fino.

• No requiere ajuste fino, funciona con modelos existentes como GPT-3.5 y GPT-4
• Mejora confiabilidad separando pensar (Fase 1) y responder (Fase 2)
• Compatible con APIs de OpenAI y Azure OpenAI
• Sobrecarga de latencia mínima (~2 llamadas API) para salidas más claras y precisas
• Prompts de sistema personalizables para respuestas a medida

Enlace a la Discusión, Enlace Original

Mermaid Open Editor 2.0 [Herramientas para Desarrolladores]

3 puntos, 1 comentarios

Mermaid Open Editor 2.0 es una versión actualizada del editor de diagramas Mermaid de código abierto.

• Código abierto
• Soporta creación de diagramas Mermaid
• Características mejoradas en versión 2.0

Enlace a la Discusión, [Enlace Original](https://www.mermaidchart.com