Sélection Quotidienne de Show HN (2025-07-14)
- Un lanceur compatible Raycast pour Linux
- Apprenez les LLM à la manière de LeetCode
- Un Lisp pour la génération de code et la métaprogrammation dans des langages non-Lisp
- Un interpréteur de rêves fonctionnant uniquement dans le navigateur utilisant la logique symbolique et JavaScript
- J'ai construit ceci pour parler danois avec ma petite amie – fonctionne avec n'importe quelle langue
- Aides type-safe pour PostgreSQL avec Kysely – tableaux, JSONB et opérations vectorielles
- c0admin – Un assistant IA en terminal pour les administrateurs système Linux
- J'ai créé un outil gratuit pour synchroniser les activités Strava avec votre calendrier
- Édition de type CMS pour Markdown avec contenteditable et 100 lignes de JS
- La manière la plus simple d'utiliser MCP. Local-first. 100% open source
- Une application Android open-source pour découvrir des logiciels respectueux de la vie privée
- Clu3 – Faites équipe avec des GPT dans un jeu de Codenames en 2v2
- HNping 'rappelez-moi plus tard' pour HN via les notifications web
- J'ai ajouté le Jeu de la Vie à mon site Portfolio et c'est trop cool
- Sohri – Transformez des histoires courtes en épisodes audio addictifs
- Nous avons développé un outil IA pour diagnostiquer les problèmes de voiture
- J'ai construit une application de chat LLM parce qu'on ne devrait pas avoir besoin de 10 abonnements IA
- Magnetar, une bibliothèque haute performance pour l'analyse et la manipulation de BitTorrent
- 0xDEAD//Type – Un jeu de frappe rapide avec des vibes rétro
- FluidAudio – Diarisation d'orateurs rapide sur CoreML
Un lanceur compatible Raycast pour Linux [Outils pour Développeurs]
128 points, 28 commentaires
Un lanceur compatible Raycast pour Linux construit avec Tauri, Rust et Svelte.
- Compatible avec la plupart des extensions Raycast
- Moteur de rendu React personnalisé et API pour le support des extensions
- Open-source et en phase précoce pour les retours de la communauté
Lien de Discussion, Lien Original
Apprenez les LLM à la manière de LeetCode [Éducation]
111 points, 18 commentaires
Pratiquez la résolution de problèmes LLM dans un format similaire à LeetCode.
- Approche interactive de résolution de problèmes
- Axé sur les défis liés aux LLM
- Format d'apprentissage structuré
Lien de Discussion, Lien Original
Un Lisp pour la génération de code et la métaprogrammation dans des langages non-Lisp [Outils pour Développeurs]
3 points, 0 commentaires
Un dialecte Lisp conçu pour la génération de code et la métaprogrammation dans des langages non-Lisp.
- Écrit en RPython pour la performance et la compatibilité
- Cible les développeurs non-Lisp pour une adoption plus facile
- Projet en phase précoce avec des fonctionnalités manquantes comme les modules et le pattern matching
- Code source pas encore publié en raison de préoccupations de durabilité
Lien de Discussion, Lien Original
Un interpréteur de rêves fonctionnant uniquement dans le navigateur utilisant la logique symbolique et JavaScript [Assistant de Vie]
12 points, 4 commentaires
Un interpréteur de rêves basé sur le navigateur utilisant la logique symbolique et JavaScript sans IA ni backend.
- Fonctionne entièrement dans le navigateur avec du JavaScript vanilla
- Utilise un système de mots-clés mappés manuellement avec plus de 300 significations personnalisées
- Analyse le texte du rêve et applique une logique déterministe pour l'interprétation
- Stocke toutes les données localement dans localStorage sans suivi ni interaction avec le serveur
- Conçu pour explorer les schémas subconscients sans apprentissage automatique
Lien de Discussion, Lien Original
J'ai construit ceci pour parler danois avec ma petite amie – fonctionne avec n'importe quelle langue [Éducation]
18 points, 7 commentaires
Une application d'apprentissage des langues qui aide les utilisateurs à pratiquer l'écriture dans une langue cible en corrigeant et expliquant les erreurs en temps réel.
- Corrige et explique les parties peu claires marquées avec des accolades
- Fournit un retour instantané sans interrompre le flux d'apprentissage
- Inclut une fonctionnalité d'historique pour revoir les erreurs
- Prévu d'étendre avec des résumés des domaines nécessitant des améliorations
- Conçu pour que les apprenants pratiquent l'écriture en toute confiance sans dépendre des traducteurs
Lien de Discussion, Lien Original
Aides type-safe pour PostgreSQL avec Kysely – tableaux, JSONB et opérations vectorielles [Outils pour Développeurs]
3 points, 0 commentaires
Aides type-safe pour PostgreSQL avec Kysely prenant en charge les tableaux, JSONB et les opérations vectorielles.
- Intégration type-safe avec PostgreSQL
- Prend en charge les tableaux et JSONB
- Inclut des opérations vectorielles
- Conçu pour être utilisé avec Kysely
Lien de Discussion, Lien Original
c0admin – Un assistant IA en terminal pour les administrateurs système Linux [Outils pour Développeurs]
7 points, 1 commentaire
Un assistant IA en terminal pour les administrateurs système Linux qui fonctionne localement en utilisant votre propre clé API Gemini.
- Fonctionne localement avec votre clé API Gemini
- Aucune inscription, serveur ou suivi requis
- Fournit des suggestions interactives directement dans le terminal
Lien de Discussion, Lien Original
J'ai créé un outil gratuit pour synchroniser les activités Strava avec votre calendrier [Productivité]
7 points, 3 commentaires
Synchronisez gratuitement les activités Strava avec votre calendrier.
- Outil gratuit
- Synchronise automatiquement les activités Strava
- S'intègre avec les applications de calendrier
Lien de Discussion, Lien Original
Édition de type CMS pour Markdown avec contenteditable et 100 lignes de JS [Productivité]
4 points, 1 commentaire
Éditeur Markdown avec édition de type CMS utilisant contenteditable en seulement 100 lignes de JS.
- Édition de type CMS pour Markdown
- Utilise contenteditable pour une édition riche
- Implémentation minimale (100 lignes de JS)
Lien de Discussion, Lien Original
La manière la plus simple d'utiliser MCP. Local-first. 100% open source [Outils pour Développeurs]
10 points, 2 commentaires
La manière la plus simple d'utiliser MCP avec une approche local-first et entièrement open-source.
- Architecture local-first
- 100% open-source
- Implémentation simple de MCP
Lien de Discussion, Lien Original
Une application Android open-source pour découvrir des logiciels respectueux de la vie privée [Technologie Grand Public]
5 points, 0 commentaires
Application Android open-source pour découvrir des logiciels respectueux de la vie privée.
- Aide les utilisateurs à trouver des logiciels axés sur la vie privée
- Open-source et transparent
- Conçue pour les appareils Android
Lien de Discussion, Lien Original
Clu3 – Faites équipe avec des GPT dans un jeu de Codenames en 2v2 [Divertissement]
3 points, 0 commentaires
Résumé en une phrase : Clu3 est un jeu de Codenames en 2v2 où chaque équipe est composée d'un humain et d'un LLM pour tester à quel point l'IA peut prédire les indices humains.
- Jeu en équipe avec collaboration entre humains et LLM
- Teste la capacité des LLM à comprendre et prédire les indices humains
- Conçu pour une interaction multijoueur avec des amis
- Inspiré par le jeu de société classique Codenames
Lien de Discussion, Lien Original
HNping 'rappelez-moi plus tard' pour HN via les notifications web [Productivité]
8 points, 2 commentaires
HNping est un outil qui envoie des notifications web pour rappeler aux utilisateurs de revisiter des posts Hacker News plus tard.
- Définit des rappels pour les posts HN avec des notifications aux heures choisies (5 minutes à 1 semaine)
- Aucune information personnelle requise – utilise un UUID pour des comptes anonymes
- Configuration simple : glissez un bookmarklet et activez les notifications
- Construit sur Cloudflare Worker avec stockage D1 et Firebase Cloud Messaging pour les notifications push
Lien de Discussion, Lien Original
J'ai ajouté le Jeu de la Vie à mon site Portfolio et c'est trop cool [Design]
4 points, 0 commentaires
Un site portfolio inspiré du terminal avec le Jeu de la Vie comme commande interactive.
- Interface de type terminal pour la navigation du portfolio
- Commande interactive "gameoflife" pour jouer au Jeu de la Vie
- Design unique et thématique pour un portfolio de développeur
- Encourage l'engagement et les retours des utilisateurs
Lien de Discussion, Lien Original
Sohri – Transformez des histoires courtes en épisodes audio addictifs [Audio]
8 points, 2 commentaires
Sohri transforme des histoires courtes en épisodes audio captivants avec une narration IA, offrant une plateforme conviviale pour les créateurs.
- Convertit le texte en audio de haute qualité sans tons robotiques
- Simplifie la création audio en gérant automatiquement le rythme, le ton et la production
- Fournit une plateforme dédiée aux créateurs, évitant les politiques restrictives des sites grand public
- Gratuit à utiliser avec des fonctionnalités de base restant définitivement gratuites
- Conçu pour l'expérimentation et la monétisation sans interférence algorithmique
Lien de Discussion, Lien Original
Nous avons développé un outil IA pour diagnostiquer les problèmes de voiture [Technologie Grand Public]
5 points, 1 commentaire
Outil de diagnostic automobile alimenté par l'IA qui fournit des explications en langage clair des problèmes de voiture basées sur la marque/modèle, les codes d'erreur et les symptômes.
- Analyse les codes d'erreur OBD2 et les symptômes rapportés par l'utilisateur
- Fournit les problèmes probables, les étapes de vérification et les recommandations de réparation
- Conçu pour les propriétaires de voitures, les bricoleurs et les professionnels
- Utilise une IA formée aux réparations avec des données automobiles réelles
- Vise à informer les utilisateurs avant de consulter un mécanicien
Lien de Discussion, Lien Original
J'ai construit une application de chat LLM parce qu'on ne devrait pas avoir besoin de 10 abonnements IA [ChatBots]
46 points, 51 commentaires
Une application de chat LLM unifiée permettant aux utilisateurs d'accéder à plusieurs modèles d'IA avec un paiement à l'usage.
- Payez uniquement pour ce que vous utilisez, évitant plusieurs abonnements
- Fonctionne avec divers modèles d'IA (ChatGPT, Claude, Gemini, etc.)
- Prend en charge les invites, documents et bases de connaissances pour tous les modèles
- Élimine le besoin de basculer entre différentes applications d'IA
Lien de Discussion, Lien Original
Magnetar, une bibliothèque haute performance pour l'analyse et la manipulation de BitTorrent [Outils pour Développeurs]
5 points, 0 commentaires
Bibliothèque haute performance pour l'analyse et la manipulation de BitTorrent sans dépendances.
- Sans dépendances
- Opérations sécurisées en mémoire
- Prend en charge les fichiers torrent, les données bencode et les liens magnet
Lien de Discussion, Lien Original
0xDEAD//Type – Un jeu de frappe rapide avec des vibes rétro [Divertissement]
5 points, 0 commentaires
Un jeu de frappe rapide combinant mécaniques de frappe et de tir avec une esthétique rétro.
- Gameplay rapide combinant mécaniques de frappe et de tir
- Design visuel et sonore inspiré du rétro
- Aucun texte ou contexte supplémentaire fourni dans le post
Lien de Discussion, Lien Original
FluidAudio – Diarisation d'orateurs rapide sur CoreML [Audio]
6 points, 0 commentaires
FluidAudio est une solution open-source de diarisation d'orateurs optimisée pour CoreML, conçue pour iOS et macOS.
- Exécute la diarisation d'orateurs parallèlement à la transcription efficacement
- Prend en charge le GPU et l'offloading ANE pour de meilleures performances
- Convertit directement les modèles PyTorch en CoreML pour une compatibilité native avec Swift
- Prévu d'ajouter l'intégration de VAD et de la transcription Parakeet
- Axé sur les performances en temps réel, en particulier pour les Macs M1