Sélection Quotidienne de Show HN (2025-06-19)

• Unregistry – "docker push" directement vers les serveurs sans registre
• Workout.cool – Plateforme de coaching fitness open-source
• J'ai construit une bibliothèque tensorielle en C++/CUDA à partir de zéro
• Trieve CLI – Agent LLM en terminal avec outil de recherche pour PDFs
• Lstr – Une commande tree moderne et interactive écrite en Rust
• Vérifications de sécurité locales gratuites pour le codage IA dans VSCode, Cursor et Windsurf
• Delve, une plateforme open source (AGPL) d'analyse de données pour entreprises
• ht-mcp – un serveur MCP Rust pour terminal sans affichage destiné aux agents
• AI Debate Arena – Voyez quel LLM argumente le mieux
• Conseils pour un utilisateur Windows de longue date passant à Mac
• Calculateur de Pourcentage Facile
• WFGY – Un moteur de raisonnement qui répare la logique des LLM sans réentraînement
• Revues de Littérature Interactive avec Cartes de Connaissance Visuelles
• VerifyWise, une plateforme open-source de gouvernance pour la conformité IA
• Rulebook AI – gestionnaire de règles et de mémoire pour les IDE de codage IA
• fzfm – gestionnaire de fichiers avec recherche floue
• MediaCMS v6 – plateforme vidéo open-source avec coupeur et RBAC
• Cpdown – Copier n'importe quelle page web/sous-titre YouTube en Markdown propre (prêt pour LLM)
• J'ai construit un outil qui automatise le contenu social pour les fondateurs de startups occupés
• Petit vérificateur de logique de Hoare utilisant SMT

Unregistry – "docker push" directement vers les serveurs sans registre [Outils pour Développeurs]

42 points, 8 commentaires

Unregistry permet d'envoyer directement des images Docker vers des serveurs distants sans avoir besoin d'un registre.

• Élimine le besoin d'un registre en utilisant le stockage d'images intégré de Docker
• Ajoute une commande docker pussh pour envoyer des images directement via SSH
• Ne transfère que les couches manquantes pour plus d'efficacité
• Utilise un conteneur temporaire sur l'hôte distant et nettoie ensuite
• Fait partie du projet Uncloud plus large pour le déploiement de conteneurs

Lien de Discussion, Lien Original

Workout.cool – Plateforme de coaching fitness open-source [Santé]

527 points, 166 commentaires

Une plateforme de coaching fitness open-source reconstruite à partir de zéro avec des fonctionnalités améliorées et sans problèmes de licence.

• 100% open-source, sous licence MIT
• Inclut plus de 1200 exercices avec vidéos, attributs et traductions
• Fonctionnalité de suivi des progrès
• Prêt pour le multilinguisme
• Option d'auto-hébergement
• Développement piloté par la communauté

Lien de Discussion, Lien Original

J'ai construit une bibliothèque tensorielle en C++/CUDA à partir de zéro [Outils pour Développeurs]

85 points, 17 commentaires

Une bibliothèque tensorielle légère en C++/CUDA avec une API Python similaire à PyTorch pour exécuter de petits LLM localement.

• Cœur en C++ avec support CUDA écrit à partir de zéro
• API Python familière similaire à PyTorch
• Supporte l'exécution de modèles réels (par ex. Qwen de HuggingFace) sur CUDA/CPU
• Observabilité intégrée pour Python et C++
• Support BF16 prévu et visualisation de la charge GPU

Lien de Discussion, Lien Original

Trieve CLI – Agent LLM en terminal avec outil de recherche pour PDFs [Outils pour Développeurs]

25 points, 9 commentaires

Un outil CLI en terminal pour interroger des PDFs en utilisant un agent LLM avec des capacités de recherche et récupération itératives.

• Utilise des agents LLM avec outils de recherche au lieu de bourrer la fenêtre de contexte pour une meilleure récupération des connaissances
• Workflow simple : téléchargez des PDFs et interrogez-les directement depuis le terminal
• Comportement RAG personnalisable et références sources extensibles dans les réponses
• Gratuit jusqu'à 1000 morceaux de documents, avec code source disponible sur GitHub et npm

Lien de Discussion, Lien Original

Lstr – Une commande tree moderne et interactive écrite en Rust [Outils pour Développeurs]

208 points, 64 commentaires

Une commande tree moderne et interactive écrite en Rust avec intégration Git et fonctionnalités TUI.

• Mode TUI Interactif : Navigation au clavier, expansion/réduction de répertoires et ouverture de fichiers dans l'éditeur par défaut.
• Intégration de Statut Git : Affiche le statut Git des fichiers et répertoires avec le drapeau -G.
• Intégration Shell : Exporte les chemins sélectionnés vers stdout pour les utiliser dans des fonctions shell comme lcd pour la navigation visuelle.
• Fonctionnalités Supplémentaires : Supporte les icônes de type de fichier (Nerd Fonts), tailles de fichiers, permissions et respecte .gitignore.

Lien de Discussion, Lien Original

Vérifications de sécurité locales gratuites pour le codage IA dans VSCode, Cursor et Windsurf [Outils pour Développeurs]

30 points, 22 commentaires

Codacy Guardrails est une extension IDE et un outil CLI gratuits qui scanne et corrige les problèmes de sécurité et qualité dans le code généré par IA en temps réel.

• S'intègre avec les assistants de codage IA comme VS Code, Cursor et Windsurf
• Utilise des analyseurs statiques open-source (Semgrep, Trivy) avec plus de 2000 règles
• Supporte JavaScript/TypeScript, Python et Java
• Détecte les vulnérabilités OWASP Top 10, secrets codés en dur et violations de style
• Règles personnalisables pour les besoins spécifiques du projet
• Gratuit pour les développeurs individuels avec des plans payants pour les équipes

Lien de Discussion

Delve, une plateforme open source (AGPL) d'analyse de données pour entreprises [Outils pour Développeurs]

15 points, 13 commentaires

Une plateforme open-source d'analyse de données pour entreprises construite avec Django et des technologies web modernes.

• Plateforme évolutive pour ingérer, rechercher et générer des rapports sur de grands ensembles de données
• Extensible avec des applications Django personnalisées
• Langage de recherche similaire aux pipes Unix alimenté par des scripts Python
• Interface web supporte les tableaux, graphiques linéaires et à barres
• Construite avec Django, Django Rest Framework, webpack, JS et SCSS

Lien de Discussion, Lien Original

ht-mcp – un serveur MCP Rust pour terminal sans affichage destiné aux agents [Outils pour Développeurs]

19 points, 1 commentaire

Un serveur MCP Rust permettant aux outils de codage IA d'interagir avec les terminaux comme des humains en simulant l'entrée humaine et la gestion d'état.

• Encapsule le terminal sans affichage (HT) pour permettre aux outils de codage d'utiliser des outils CLI interactifs
• Supporte l'interaction humaine avec les terminaux (par ex. navigation dans les menus, édition de texte dans vim/emacs)
• 40x plus rapide au démarrage (~50ms) et 70% moins gourmand en mémoire (~15MB) que la version TypeScript
• Binaire unique de 3MB sans dépendances externes
• Démo disponible avec Claude Code et Memex
• Installable via Homebrew (brew install ht-mcp)

Lien de Discussion, Lien Original

AI Debate Arena – Voyez quel LLM argumente le mieux [Divertissement]

3 points, 1 commentaire

Plateforme de débat alimentée par IA où les LLM argumentent des positions opposées sur des sujets controversés pour présenter des arguments équilibrés.

• Oppose GPT-4o, Grok 3 et Gemini 2.5 Flash avec des positions pro/anti attribuées aléatoirement
• Les utilisateurs votent avant et après les débats pour mesurer l'impact de persuasion
• Vise à évaluer les LLM en détectant les biais via leurs performances dans des débats randomisés
• Prévu d'affiner la structure des arguments, réduire le superflu et ajouter une sortie audio
• Conçu pour les utilisateurs intellectuellement curieux ouverts à changer d'avis

Lien de Discussion, Lien Original

Conseils pour un utilisateur Windows de longue date passant à Mac [Technologie Grand Public]

4 points, 1 commentaire

Passer de Windows à Mac : Conseils essentiels pour une transition en douceur.

• Savoir condensé pour les utilisateurs Windows s'adaptant à Mac OS
• Inspiré par des posts similaires utiles
• Se concentre sur des conseils d'utilisation pratiques

Lien de Discussion, Lien Original

Calculateur de Pourcentage Facile [Productivité]

3 points, 0 commentaires

Outil simple pour calculer des pourcentages.

• Calculs rapides de pourcentages
• Interface conviviale

Lien de Discussion, Lien Original

WFGY – Un moteur de raisonnement qui répare la logique des LLM sans réentraînement [Outils pour Développeurs]

9 points, 5 commentaires

WFGY est un moteur de raisonnement qui corrige les erreurs de logique des LLM sans réentraînement en utilisant un protocole sémantique basé sur PDF.

• Corrige l'effondrement de projection, les boucles de contradiction et les chaînes d'inférence ambiguës
• Aucun réentraînement ou appel système requis – modifie directement les trajectoires de raisonnement
• Améliore le succès du raisonnement de 42,1%, l'alignement sémantique de 22,4% et la stabilité de 3,6×
• Inclut une théorie formelle, des suites de prompts et des résultats reproductibles
• Zéro dépendance, entièrement open-source

Lien de Discussion, Lien Original

Revues de Littérature Interactive avec Cartes de Connaissance Visuelles [Recherche]

4 points, 0 commentaires

Un outil qui transforme les revues de littérature en cartes de connaissance visuelles interactives utilisant l'IA.

• Téléchargez des articles de recherche (PDFs) et sources web (HTML)
• L'IA génère des cartes de connaissance interactives à partir des sources
• Parcourez des résumés généraux ou lisez des résumés détaillés par source/section
• Développez des sections spécifiques d'intérêt dans la carte
• Accédez aux sources originales en contexte
• Posez des questions contextuelles sur la recherche
• Revues pré-curatées sur des sujets comme les LLM, les modèles de diffusion et les agents IA

Lien de Discussion, Lien Original

VerifyWise, une plateforme open-source de gouvernance pour la conformité IA [Entreprise]

4 points, 0 commentaires

Une plateforme open-source de gouvernance IA pour la conformité, la préparation aux audits et la gestion des risques.

• Fournit une préparation aux audits, des registres de risques et une documentation de conformité
• Inclut des vérifications d'équité des modèles avec intégration Fairlearn
• Supporte les workflows de l'Acte IA de l'UE et ISO 42001 avec des pistes d'audit exportables
• Comprend un registre de formation pour suivre la littératie IA
• Offre l'auto-hébergement et un développement mené par la communauté
• Ouvert aux contributions de design via Figma

Lien de Discussion, Lien Original

Rulebook AI – gestionnaire de règles et de mémoire pour les IDE de codage IA [Outils pour Développeurs]

18 points, 4 commentaires

Gestionnaire de règles et de mémoire pour les IDE de codage IA.

• Gère les règles et la mémoire pour le codage IA
• Conçu pour l'intégration avec les IDE

Lien de Discussion, Lien Original

fzfm – gestionnaire de fichiers avec recherche floue [Outils pour Développeurs]

5 points, 0 commentaires

Un utilitaire Bash qui transforme fzf en navigateur de fichiers terminal avec recherche floue et support de prévisualisation.

• Naviguez dans les répertoires et recherchez des fichiers de manière floue
• Prévisualisez le contenu des fichiers avec bat (sinon cat)
• Prévisualisez les répertoires avec eza (sinon ls)
• Ouvrez les fichiers dans votre éditeur ou visionneur (configurable)
• Facilement personnalisable via variables d'environnement

Lien de Discussion, Lien Original

MediaCMS v6 – plateforme vidéo open-source avec coupeur et RBAC [Vidéo]

10 points, 1 commentaire

Plateforme vidéo open-source avec fonction de coupe et contrôle d'accès basé sur les rôles.

• Plateforme vidéo open-source
• Inclut une fonction de coupe vidéo
• Supporte le contrôle d'accès basé sur les rôles (RBAC)

Lien de Discussion, Lien Original

Cpdown – Copier n'importe quelle page web/sous-titre YouTube en Markdown propre (prêt pour LLM) [Outils pour Développeurs]

13 points, 3 commentaires

Une extension Chrome qui convertit le contenu d'une page web ou les sous-titres YouTube en Markdown propre avec comptage de tokens pour utilisation avec LLM.

• Extraction Intelligente de Contenu : Supprime les pubs et barres latérales pour se concentrer sur le contenu principal
• Conversion Propre en Markdown : Convertit le HTML en Markdown propre
• Comptage de Tokens pour LLM : Affiche le nombre de tokens pour compatibilité avec les LLM
• Copie des Transcripts YouTube : Copie les transcripts complets avec le titre de la vidéo en en-tête
• Options Personnalisables : Choix d'extracteurs et d'encadrement de blocs de code
• Gratuit et Open-Source : Construit avec WXT, React et TypeScript

Lien de Discussion, Lien Original

J'ai construit un outil qui automatise le contenu social pour les fondateurs de startups occupés [Marketing]

7 points, 5 commentaires

Un outil qui automat