Sélection Quotidienne de Show HN (2025-04-26)
- J'ai utilisé la nouvelle API d'image d'OpenAI pour un service de livre de coloriage personnalisé
- Formalisation des Principia Mathematica avec Lean
- Magnitude – un framework de test open-source et natif pour l'IA pour les applications web
- Un tableur moderne avec intégration Python
- BugStalker - un débogueur moderne en Rust
- RSS Lookup – Trouvez des flux RSS pour n'importe quelle URL (Gratuit, Open Source)
- Faasta – Une plateforme Serverless auto-hébergée pour WASM-wasi-HTTP en Rust
- StackHound - Arrêtez de deviner la stack technique d'un repo, analysez-la en quelques secondes
- SnipFast – Extrayez le texte surligné des livres physiques
- Une démo interactive de la correction d'erreur des QR codes
- Claude Code avec interface graphique et éditeur de prompts basé sur des blocs (MIT)
- Loat – Faites croître votre MRR avec des emails automatisés
- Un serveur MCP pour comprendre les coûts AWS
- OpenWrt Configurator – Gestion simple des configurations pour les appareils OpenWrt
- Transformez les API REST Rails en serveurs Model Context Protocol (MCP)
- Pomo – Gérez vos codes promo Stripe sans code
- Mailfrom.dev – Une alternative moins chère à MailTrap
- Mon moteur de jeu de donjon textuel en Python
- TSCE – Réfléchissez avant de parler (Enrichissement Contextuel en Deux Étapes pour les LLMs)
- Mermaid Open Editor 2.0
- Turbine – Un langage de script pour C/C++ avec une syntaxe de type Markdown
J'ai utilisé la nouvelle API d'image d'OpenAI pour un service de livre de coloriage personnalisé [Image]
46 points, 26 commentaires
Un service qui génère des livres de coloriage personnalisés à partir de photos de famille en utilisant l'API d'image d'OpenAI.
- Utilise l'API d'image d'OpenAI pour automatiser la création de pages de livre de coloriage à partir de photos téléchargées
- S'intègre avec des services d'impression pour livrer des livres de coloriage physiques
- Plaira autant aux adultes qu'aux enfants pour un plaisir créatif et cathartique
- Offre une réduction de 10% pour les premiers utilisateurs
Lien de Discussion, Lien Original
Formalisation des Principia Mathematica avec Lean [Recherche]
84 points, 21 commentaires
Un projet pour formaliser les Principia Mathematica de Bertrand Russell en utilisant le prouveur de théorèmes Lean, en adhérant étroitement aux preuves originales.
- Formalise le premier volume des Principia Mathematica avec Lean4
- Suit rigoureusement les preuves de Russell avec un minimum d'ajouts
- Vise une grande précision et accueille les retours sur les inexactitudes
- Inspiré par mais distinct d'une formalisation existante basée sur Coq
- Open-source et disponible sur GitHub pour collaboration
Lien de Discussion, Lien Original
Magnitude – un framework de test open-source et natif pour l'IA pour les applications web [Outils pour Développeurs]
113 points, 30 commentaires
Un framework de test open-source et natif pour l'IA pour les applications web utilisant des agents visuels LLM pour des tests plus rapides, moins chers et plus fiables.
- Utilise la vision pure au lieu de systèmes "set-of-marks" sujets aux erreurs
- Emploie un petit VLM (Moondream) pour une exécution plus rapide et moins chère qu'OpenAI/Anthropic
- Comprend un système à deux agents : un planificateur pour adapter les cas de test et un exécuteur pour des exécutions rapides et cohérentes
- Sauvegarde et réutilise les plans de test pour l'efficacité, avec repli sur le planificateur en cas de problèmes
- Entièrement open-source et optimisé spécifiquement pour les tests web
Lien de Discussion, Lien Original
Un tableur moderne avec intégration Python [Productivité]
44 points, 6 commentaires
Un outil de tableur moderne avec intégration Python pour gérer efficacement de grands ensembles de données.
- Traite de grands ensembles de données (4GB+) et charge des fichiers GB/32 millions de lignes en quelques secondes
- Prend en charge jusqu'à 500GB de RAM sans plantage
- Modifie, divise, fusionne et nettoie des fichiers CSV/textes avec jusqu'à 32M lignes et 1M colonnes
- Permet d'utiliser des fonctions Python comme formules UDF, renvoyant des images ou des fichiers CSV
- Inclut des fonctions de données pivot statistiques et des fonctions de résolution avec pratiquement aucune limite de variables
- Génère des graphiques instantanément avec des millions de points de données
- Intègre activement les retours des utilisateurs pour des améliorations
Lien de Discussion, Lien Original
BugStalker - un débogueur moderne en Rust [Outils pour Développeurs]
103 points, 15 commentaires
Un débogueur moderne pour Rust écrit en Rust.
- Débogueur moderne pour Rust
- Écrit en Rust lui-même
- Conçu pour déboguer des applications Rust
Lien de Discussion, Lien Original
RSS Lookup – Trouvez des flux RSS pour n'importe quelle URL (Gratuit, Open Source) [Outils pour Développeurs]
4 points, 3 commentaires
Un outil gratuit et open-source pour trouver des flux RSS pour n'importe quelle URL en analysant les balises meta, les chemins de repli et les flux codés en dur.
- Recherche automatiquement des flux RSS à partir de n'importe quelle URL de site web
- Utilise des balises meta, des chemins de repli et des flux codés en dur pour les sites populaires
- Open-source sans publicité ni suivi d'URL
- Inclut Cloudflare Turnstile pour prévenir les abus et Plausible pour les analyses
Lien de Discussion, Lien Original
Faasta – Une plateforme Serverless auto-hébergée pour WASM-wasi-HTTP en Rust [Outils pour Développeurs]
86 points, 30 commentaires
Faasta est une plateforme serverless auto-hébergée pour les fonctions WASM-wasi-HTTP, écrite en Rust, offrant une multi-location efficace et une haute concurrence.
- Open-source et conforme aux standards WASI-HTTP
- Permet des milliers d'invocations concurrentes de fonctions dans un seul processus
- Utilitaire CLI disponible via
cargo install cargo-faasta - Instance hébergée gratuite avec déploiement OAuth GitHub (limite de 10 fonctions par compte)
- Plus efficace que les solutions serverless traditionnelles basées sur VM comme AWS Lambda
Lien de Discussion, Lien Original
StackHound - Arrêtez de deviner la stack technique d'un repo, analysez-la en quelques secondes [Outils pour Développeurs]
5 points, 1 commentaire
StackHound analyse les repos GitHub pour révéler leur stack technique réelle en scannant les fichiers de dépendances.
- Scanne les fichiers de dépendances pour découvrir les outils, frameworks et langages
- Fonctionne avec React, Next.js, Tailwind, Flask, Spring Boot, et plus
- Analyse instantanée en entrant un nom d'utilisateur GitHub et un repo
- Fournit un point de terminaison API pour intégration dans des outils personnalisés
- Open-source et inclut une démo en direct
Lien de Discussion, Lien Original
SnipFast – Extrayez le texte surligné des livres physiques [Éducation]
9 points, 0 commentaires
Un outil pour extraire le texte surligné des livres physiques via capture d'image.
- Détecte et extrait automatiquement le texte surligné des photos de pages
- Permet une sélection manuelle de phrases pour une copie précise
- Utilise un modèle ML personnalisé pour la détection de surlignage
- Essai gratuit avec crédits, suivi d'un petit paiement pour prévenir les abus
- Conçu pour les lecteurs, étudiants et chercheurs
- Backend en Kotlin avec base de données Postgres
- Recherche de retours précoces pour les améliorations d'interface et d'utilisabilité
Lien de Discussion, Lien Original
Une démo interactive de la correction d'erreur des QR codes [Technologie Grand Public]
10 points, 2 commentaires
Démo interactive illustrant la tolérance aux erreurs des QR codes en permettant aux utilisateurs de dessiner sur des QR codes et de voir l'impact des dommages en temps réel.
- Visualise la tolérance aux erreurs des QR codes avec des barres de santé et des compteurs de dommages
- Bascule entre le mode dessin et le mode inspection pour une analyse détaillée
- Utilise un décodeur C++ compilé en WebAssembly pour un retour en temps réel précis
- Encourage la vérification via scan téléphonique pour confirmer les points de rupture
- Démontre la résilience des QR codes avec un défi de dommages minimaux dans la région de données
Lien de Discussion, Lien Original
Claude Code avec interface graphique et éditeur de prompts basé sur des blocs (MIT) [Outils pour Développeurs]
3 points, 1 commentaire
Claude Code offre une interface graphique et un éditeur de prompts basé sur des blocs pour coder avec Claude.
- Comprend une interface graphique (GUI)
- Inclut un éditeur de prompts basé sur des blocs
- Open-source sous licence MIT
Lien de Discussion, Lien Original
Loat – Faites croître votre MRR avec des emails automatisés [Marketing]
4 points, 2 commentaires
Loat est une plateforme pour les fondateurs afin d'automatiser les campagnes d'email pour la croissance et l'onboarding sans avoir besoin d'un CRM dédié.
- Automatise les séquences d'emails pour différents produits
- Prend en charge les campagnes éducatives et newsletters
- Conçue pour les équipes lean pour maximiser l'email comme canal de croissance
- Construite à partir d'outils internes utilisés dans un produit fiscal de haute confiance
Lien de Discussion, Lien Original
Un serveur MCP pour comprendre les coûts AWS [Finance]
14 points, 3 commentaires
Un serveur MCP qui connecte des LLMs comme Claude et Cursor aux données de coût et d'utilisation AWS via l'API Vantage pour une gestion des coûts cloud pilotée par l'IA.
- S'intègre avec des LLMs (Claude, Cursor, avec ChatGPT et Gemini à venir)
- Prend en charge plus de 20 fournisseurs cloud (AWS, Datadog, MongoDB, etc.)
- Permet des requêtes de coût ad hoc, des plans d'action et des workflows multi-outils
- Requiert un compte Vantage pour l'accès API
- Open-source (repo GitHub disponible)
OpenWrt Configurator – Gestion simple des configurations pour les appareils OpenWrt [Outils pour Développeurs]
3 points, 0 commentaires
Un outil CLI pour une gestion facile des configurations des appareils OpenWrt, avec des plans pour une interface web et une alternative open-source à UniFi Controller.
- Simplifie la provision des configurations sur plusieurs appareils OpenWrt
- Basé sur CLI pour une gestion rapide et scriptable
- Plans futurs incluent une interface web pour une meilleure utilisabilité
- Vise à être une alternative open-source à UniFi Controller
Lien de Discussion, Lien Original
Transformez les API REST Rails en serveurs Model Context Protocol (MCP) [Outils pour Développeurs]
3 points, 0 commentaires
Transformez les API REST Rails en serveurs Model Context Protocol (MCP).
- Convertit les API REST Rails en serveurs MCP
- Améliore la fonctionnalité des API avec le protocole de contexte de modèle
Lien de Discussion, Lien Original
Pomo – Gérez vos codes promo Stripe sans code [Business]
4 points, 6 commentaires
Un outil gratuit pour créer et gérer des codes promo Stripe en masse sans codage.
- Solution sans code pour créer des codes promo uniques dans Stripe
- Génération en masse avec des préfixes personnalisables
- Configuration simple avec des clés API Stripe
- Exporte les codes promo pour les campagnes marketing
Lien de Discussion, Lien Original
Mailfrom.dev – Une alternative moins chère à MailTrap [Outils pour Développeurs]
3 points, 2 commentaires
Un serveur SMTP sandbox simple et abordable pour tester les flux d'email dans des environnements dev/staging sans envoyer de vrais emails.
- Alternative abordable à MailTrap
- Configuration et partage faciles avec l'équipe/clients
- Prend en charge les tests de flux d'email (réinitialisations, onboarding, vérifications)
- Construit avec Laravel, Vue 3, shadcn, hébergé sur k3s (Hetzner)
- Utilise AWS S3 et SES pour le stockage et la gestion des emails
Lien de Discussion, Lien Original
Mon moteur de jeu de donjon textuel en Python [Divertissement]
3 points, 0 commentaires
Un moteur de donjon textuel en Python créé pendant la convalescence après une opération.
- Mondes de jeu définis en JSON
- Comprend des salles, du butin et des monstres
- Open-source sur GitHub
TSCE – Réfléchissez avant de parler (Enrichissement Contextuel en Deux Étapes pour les LLMs) [Outils pour Développeurs]
3 points, 0 commentaires
TSCE est une bibliothèque Python qui améliore la précision des petits modèles de langage dans le suivi des instructions en utilisant une architecture en deux étapes sans fine-tuning.
- Aucun fine-tuning requis, fonctionne avec des modèles existants comme GPT-3.5 et GPT-4
- Améliore la fiabilité en séparant la réflexion (Phase 1) et la réponse (Phase 2)
- Compatible avec les API OpenAI et Azure OpenAI
- Surcharge de latence minimale (~2 appels API) pour des sorties plus claires et précises
- Prompts système personnalisables pour des réponses sur mesure
Lien de Discussion, Lien Original
Mermaid Open Editor 2.0 [Outils pour Développeurs]
3 points, 1 commentaire
Mermaid Open Editor 2.0 est une version mise à jour de l'éditeur de