Selección Diaria de Show HN (2025-10-23)
- Cuq – Verificación Formal de Kernels Rust para GPU
- Crea diagramas interactivos con contenido emergente
- Subway Surfers en tu Terminal
- Maktabah Islam ELKIRTASS revivido en Qt6 CMake
- ProxyBridge redirige cualquier tráfico TCP/UDP de Windows a proxies HTTP/SOCKS5
- SerenDB – Un fork de PostgreSQL Neon optimizado para cargas de trabajo de agentes de IA
- Ejecuta cualquier GitHub Action localmente desde tu trabajo Cron -- ¡finalmente!
- Deteniendo la Retirada Extrema – Guía gratuita de IA para ansiedad extrema
- AutoLearn Skills para agentes de auto-mejora
- Cont3xt.dev – Conocimiento Universal de Equipo para Herramientas de Codificación con IA
- RuleHunt – TikTok para Autómatas Celulares
- Analizador JSON incremental para llamadas de herramientas LLM en streaming en Ruby
- UHOP – Escapando del Bloqueo de Nvidia con una Capa de Optimización de Hardware Abierto
- UHOP – Una Plataforma de Optimización de Hardware Abierto para GPUs
- Timeplus Proton 3.0 – El primer motor SQL de streaming vectorizado
- caniscrape – Analiza protecciones anti-bots antes de hacer scraping (CLI y Web)
- Pong Wars Juego Idle
- Buzzd Chat – un proyecto de revivir Yahoo Messenger
- Tengo 13 años y construí una IA que recuerda el contexto entre conversaciones
Cuq – Verificación Formal de Kernels Rust para GPU [Herramientas para Desarrolladores]
31 puntos, 23 comentarios
Herramienta de verificación formal para kernels Rust en GPU.
- Garantiza la corrección de kernels Rust en GPU
- Utiliza métodos de verificación formal
- Enfocado en la seguridad de programación en GPU
Enlace de Discusión, Enlace Original
Crea diagramas interactivos con contenido emergente [Diseño]
30 puntos, 0 comentarios
Herramienta de diagramas interactivos con contenido emergente para compartir y documentar fácilmente.
- Crea diagramas con ventanas emergentes activadas por clic/hover
- No requiere inicio de sesión para compartir mediante enlace web
- Útil para documentación de sistemas, onboarding y presentaciones
- Pruébalo sin registrarte en app.vexlio.com
Enlace de Discusión, Enlace Original
Subway Surfers en tu Terminal [Entretenimiento]
3 puntos, 1 comentario
Juego Subway Surfers jugable directamente en la terminal.
- Instalable mediante Homebrew
- Diseñado para mejorar la concentración durante pausas en el flujo de trabajo
- Ejecución simple desde la línea de comandos
Enlace de Discusión, Enlace Original
Maktabah Islam ELKIRTASS revivido en Qt6 CMake [Herramientas para Desarrolladores]
3 puntos, 0 comentarios
Revival de ELKIRTASSE, una contraparte de Maktabah Shamilah, ahora actualizado a Qt6 y CMake.
- Modernizado con el framework Qt6
- Utiliza el sistema de construcción CMake
- Abierto a contribuciones y mejoras de la comunidad
Enlace de Discusión, Enlace Original
ProxyBridge redirige cualquier tráfico TCP/UDP de Windows a proxies HTTP/SOCKS5 [Herramientas para Desarrolladores]
3 puntos, 0 comentarios
ProxyBridge redirige cualquier tráfico TCP/UDP en Windows a proxies HTTP/SOCKS5.
- Redirige tráfico TCP/UDP en Windows
- Soporta proxies HTTP y SOCKS5
- No se proporciona texto o detalles adicionales
Enlace de Discusión, Enlace Original
SerenDB – Un fork de PostgreSQL Neon optimizado para cargas de trabajo de agentes de IA [Herramientas para Desarrolladores]
6 puntos, 1 comentario
Un fork de PostgreSQL optimizado para cargas de trabajo de IA con características mejoradas de seguridad y rendimiento.
- Consultas de viaje en el tiempo para depuración y auditoría de decisiones de agentes
- Escala a Cero con pgvector para bases de datos inactivas eficientes en costos
- Detección de inyección de prompts para prevenir ataques específicos de IA
- Creación de ramas en 100ms para pruebas rápidas y rollback
- Código abierto con un servicio alojado en desarrollo
Enlace de Discusión, Enlace Original
Ejecuta cualquier GitHub Action localmente desde tu trabajo Cron -- ¡finalmente! [Herramientas para Desarrolladores]
21 puntos, 0 comentarios
Ejecuta GitHub Actions localmente desde trabajos Cron.
- Ejecuta GitHub Actions localmente
- Programa mediante trabajos Cron
- No requiere runners en la nube de GitHub
Enlace de Discusión, Enlace Original
Deteniendo la Retirada Extrema – Guía gratuita de IA para ansiedad extrema [Salud]
3 puntos, 1 comentario
Guía gratuita basada en IA para ayudar a manejar ansiedad extrema y síntomas de retirada.
- Proporciona orientación basada en IA para ansiedad extrema
- Enfocado en manejar síntomas de retirada
- Recurso gratuito para usuarios
Enlace de Discusión, Enlace Original
AutoLearn Skills para agentes de auto-mejora [Asistente de Vida]
27 puntos, 11 comentarios
AutoLearn Skills para agentes de auto-mejora.
- Permite la adquisición autónoma de habilidades
- Diseñado para agentes de auto-mejora
Enlace de Discusión, Enlace Original
Cont3xt.dev – Conocimiento Universal de Equipo para Herramientas de Codificación con IA [Herramientas para Desarrolladores]
3 puntos, 3 comentarios
Conocimiento Universal de Equipo para Herramientas de Codificación con IA.
- Base de conocimiento centralizada para herramientas de codificación con IA
- Diseñado para colaboración en equipo
- Mejora la eficiencia de herramientas de IA con contexto compartido
Enlace de Discusión, Enlace Original
RuleHunt – TikTok para Autómatas Celulares [Entretenimiento]
13 puntos, 8 comentarios
Una plataforma estilo TikTok para descubrir y clasificar reglas interesantes de autómatas celulares.
- Busca en un vasto espacio de 2^512 posibles reglas de autómatas celulares
- Interfaz móvil estilo TikTok para descubrimiento aleatorio de reglas
- Interfaz de escritorio para búsqueda dirigida de reglas
- Usuarios pueden marcar reglas preferidas, contribuyendo a un ranking global
- Código abierto con repositorio en GitHub disponible
Enlace de Discusión, Enlace Original
Analizador JSON incremental para llamadas de herramientas LLM en streaming en Ruby [Herramientas para Desarrolladores]
11 puntos, 0 comentarios
Analizador JSON incremental para llamadas de herramientas LLM en streaming en Ruby, optimizado para rendimiento en tiempo real.
- Procesa JSON carácter por carácter para llamadas de herramientas de IA en streaming
- Mantiene estado de análisis para evitar comportamiento O(n²), asegurando rendimiento O(n)
- Reduce retraso en la UI procesando solo caracteres nuevos
- Disponible como gema Ruby con licencia MIT
Enlace de Discusión, Enlace Original
UHOP – Escapando del Bloqueo de Nvidia con una Capa de Optimización de Hardware Abierto [Herramientas para Desarrolladores]
3 puntos, 0 comentarios
UHOP es una capa de optimización de hardware de código abierto diseñada para romper el bloqueo de Nvidia permitiendo la ejecución de código en GPU de múltiples proveedores con selección y generación automática de kernels.
- Detecta hardware y selecciona el mejor backend (CUDA, ROCm, OpenCL, etc.)
- Utiliza generación de kernels asistida por IA para CUDA, OpenCL y Triton
- Soporta operaciones fusionadas como conv2d+ReLU y matmul
- Evalúa y almacena kernels óptimos para rendimiento
- Incluye CLI y panel de control temprano para monitoreo
- Abierto, modificable y dirigido por la comunidad para futuras mejoras
Enlace de Discusión, Enlace Original
UHOP – Una Plataforma de Optimización de Hardware Abierto para GPUs [Herramientas para Desarrolladores]
3 puntos, 0 comentarios
UHOP es un framework de código abierto para optimizar cargas de trabajo en GPU en múltiples arquitecturas sin bloqueo de proveedor, con generación de kernels asistida por IA y detección de hardware.
- Detecta automáticamente backends de hardware y selecciona kernels óptimos
- Evalúa operaciones fusionadas como conv+ReLU
- Almacena y reutiliza kernels ajustados para eficiencia
- Genera kernels dinámicamente mediante codegen (CUDA/OpenCL/Python/Triton)
- Soporta generación de kernels asistida por IA usando APIs de OpenAI
- Proporciona una CLI simple para demostraciones y evaluación
- Planes incluyen mejor integración de backends, optimización distribuida y un panel web
Enlace de Discusión, Enlace Original
Timeplus Proton 3.0 – El primer motor SQL de streaming vectorizado [Herramientas para Desarrolladores]
10 puntos, 10 comentarios
Timeplus Proton 3.0 es un motor SQL de streaming vectorizado que ofrece capacidades de streaming de nivel empresarial en un único binario sin dependencias.
- Primer motor SQL de streaming vectorizado en C++ moderno con compilación JIT
- Alto rendimiento, baja latencia y procesamiento de alta cardinalidad
- Soporte de streaming de extremo a extremo (ETL, joins, agregación, alertas, tareas)
- Conectores nativos para Kafka, Redpanda, Pulsar, ClickHouse y más
- Soporte nativo para UDF/UDAF en Python para cargas de trabajo de IA/ML
- Rendimiento de nivel empresarial en la edición comunitaria
Enlace de Discusión, Enlace Original
caniscrape – Analiza protecciones anti-bots antes de hacer scraping (CLI y Web) [Herramientas para Desarrolladores]
3 puntos, 2 comentarios
Una herramienta para analizar protecciones anti-bots antes de hacer scraping, disponible como CLI y versión web.
- Detecta protecciones activas como WAF, CAPTCHA, límites de tasa, fingerprinting TLS y honeypots
- Proporciona un puntaje de dificultad (0-10) para scraping
- Sugiere herramientas/enfoques necesarios para scraping exitoso
- CLI instalable mediante pip (
pip install caniscrape) - Versión web disponible en caniscrape.org
- Actualmente limitado para sitios muy difíciles (ej. Amazon, YouTube) debido a protecciones invisibles
- La versión web utiliza una IP en la nube que puede estar en listas negras de sitios importantes (rotación de proxies planeada)
Enlace de Discusión, Enlace Original
Pong Wars Juego Idle [Entretenimiento]
5 puntos, 1 comentario
Un juego idle simple inspirado en Pong Wars, creado en solo 3 horas.
- Desarrollado rápidamente en 3 horas como un proyecto de codificación divertido
- Inspirado en el concepto de Pong Wars
- Enfocado en capturar un enfoque de desarrollo relajado y basado en ambiente
Enlace de Discusión, Enlace Original
Buzzd Chat – un proyecto de revivir Yahoo Messenger [ChatBots]
3 puntos, 0 comentarios
Buzzd Chat es un proyecto para revivir Yahoo Messenger (Y!M) enfocado en la versión V9 con una comunidad en crecimiento y soporte rico en características.
- Soporta Y!M V9 con planes para expandirse a otras versiones
- Incluye autenticación, imágenes de perfil y gestión de estado
- Ofrece gestión de contactos (añadir/eliminar/grupo/ignorar) y controles de visibilidad
- Permite compartir lista de contactos y gestión de contactos
- Soporta compartir fotos, archivos, audibles y emoticonos
- Características de mensajería confiable con acuses de recibo
Enlace de Discusión, Enlace Original
Tengo 13 años y construí una IA que recuerda el contexto entre conversaciones [Asistente de Vida]
8 puntos, 8 comentarios
Asistente de IA con memoria contextual y servicios integrados para uso personal y empresarial.
- Construido por una niña de 13 años y su padre después de múltiples fracasos en startups
- Combina correo electrónico, ayuda en codificación, investigación y planificación en una interfaz
- Incluye Thesys UI generativa para gráficos visuales y Modo Estudio con enseñanza socrática
- Soporta integración empresarial mediante Nityasha Connect
- 500+ usuarios activos