Sélection Quotidienne de Show HN (08/10/2025)
- Timelinize – Organisez vos données personnelles de manière privée, localement
- MARS – Robot IA personnel pour les makers (< 2k$)
- Lisez Kagi News sur Playdate
- Arc – entrepôt de séries temporelles haute performance avec analytique DuckDB
- Gotask, un gestionnaire de tâches en CLI construit avec Golang
- Greenonion.ai – Assistant de design propulsé par IA
- Repenser les pistes d'audit dans Django (structuré et sans base de données)
- Nous avons entraîné un LLM MoE conçu pour les tâches de développement
- Kalendis – API de planification (gardez votre UI, nous gérons les fuseaux horaires/Heure d'été)
- Déboguer et inspecter le trafic réseau chiffré TLS depuis n'importe quelle source
- FizzBee – Tests autonomes basés sur des modèles formels
- Strikethrough – un puzzle quotidien où vous formez des mots en supprimant des lettres
- Mix – SDK open-source pour agents multimodaux
- Éditeur de polices d'art pixel 1-bit
- NewsGoat – Un lecteur RSS en terminal écrit en Go
Timelinize – Organisez vos données personnelles de manière privée, localement [Productivité]
301 points, 64 commentaires
Un outil local et privé pour organiser et maintenir des données personnelles provenant de diverses sources cloud.
- Stocke les données localement pour éviter la dépendance aux services cloud
- Garde les données exportées actives et pertinentes au lieu de les laisser inutilisées
- Conçu pour un usage personnel et un contrôle à long terme
- Ouvert à la collaboration et à un éventuel rebranding
Lien de discussion, Lien original
MARS – Robot IA personnel pour les makers (< 2k$) [Tech grand public]
54 points, 44 commentaires
MARS est un robot IA polyvalent et abordable avec un système d'exploitation agentique embarqué open, conçu pour les hobbyistes et les makers.
- Livré pré-assemblé et calibré avec un module de calcul Jetson Orin Nano 8GB embarqué
- Doté d'un bras 5DoF avec caméra au poignet, caméra RGBD grand angle, LiDAR 2D et haut-parleurs
- Contrôlé via une application dédiée ou un bras leader compatible iPhone et Android
- Comprend des ports USB et des broches GPIO pour des capteurs ou effecteurs supplémentaires
- Un nouveau SDK (BASIC) permet des comportements de type agent IA avec vision, parole, planification et action en temps réel
- Compatible ROS2 pour un contrôle bas niveau et un partage facile de comportements personnalisés
- Matériel et logiciel open-source prévus pour les contributions de la communauté
- Prix inférieur à 2k$ avec un code de réduction temporaire (HACKERNEWS-INNATE-MARS)
Lisez Kagi News sur Playdate [Tech grand public]
3 points, 0 commentaires
Lisez Kagi News sur Playdate.
- Accédez à Kagi News sur l'appareil Playdate
- Aucun détail supplémentaire fourni
Lien de discussion, Lien original
Arc – entrepôt de séries temporelles haute performance avec analytique DuckDB [Outils pour développeurs]
17 points, 11 commentaires
Arc est un entrepôt de données de séries temporelles haute performance combinant une ingestion rapide avec des requêtes analytiques puissantes utilisant DuckDB.
- Ingère des données via une API binaire MessagePack ou Line Protocol pour la compatibilité
- Stocke les données sous forme de Parquet avec des partitions horaires
- Interroge via le moteur DuckDB en utilisant SQL
- Haut débit d'écriture (~1,88M enregistrements/sec non optimisé)
- Excellente performance ClickBench (35,18s froid, ~0,81s chaud)
- Open-source pour examen et contributions de la communauté
Lien de discussion, Lien original
Gotask, un gestionnaire de tâches en CLI construit avec Golang [Productivité]
3 points, 0 commentaires
Gotask est un simple gestionnaire de tâches en CLI construit avec Golang pour explorer les fonctionnalités du langage.
- Construit avec Golang
- Interface en ligne de commande (CLI)
- Axé sur la simplicité
- Conçu à des fins d'apprentissage
Lien de discussion, Lien original
Greenonion.ai – Assistant de design propulsé par IA [Design]
19 points, 16 commentaires
Assistant de design propulsé par IA qui crée des mises en page éditables à partir d'images et de descriptions fournies par l'utilisateur.
- Génère des designs cohérents (mise en page, composition, couleurs, typographie) basés sur l'entrée utilisateur
- Éléments entièrement éditables (texte, espacement, couleurs, hiérarchie)
- Pas de génération d'image – les utilisateurs fournissent leurs propres images
- Édition et export basés sur le navigateur pour le web, l'impression ou les campagnes
- Simplifie le design sans dépendre de modèles ou d'outils complexes
Lien de discussion, Lien original
Repenser les pistes d'audit dans Django (structuré et sans base de données) [Outils pour développeurs]
5 points, 0 commentaires
Django-activity-audit remplace les pistes d'audit lourdes en base de données par des logs JSON structurés pour une meilleure performance et analytique.
- Étend le logging de Django avec des niveaux AUDIT et API personnalisés
- Capture les événements CRUD et API sous forme de logs JSON structurés
- Envoie les logs vers ClickHouse via Vector pour un stockage efficace
- Permet l'interrogation et la visualisation via Grafana
- Élimine les écritures supplémentaires en base de données, réduisant les coûts et améliorant la performance
Lien de discussion, Lien original
Nous avons entraîné un LLM MoE conçu pour les tâches de développement [Outils pour développeurs]
3 points, 0 commentaires
Un LLM MoE spécifiquement conçu pour les tâches de développement.
- Construit avec une architecture Mixture of Experts (MoE)
- Optimisé pour les tâches liées au développement
- Aucun détail supplémentaire fourni dans le post
Lien de discussion, Lien original
Kalendis – API de planification (gardez votre UI, nous gérons les fuseaux horaires/Heure d'été) [Outils pour développeurs]
4 points, 1 commentaire
Kalendis est un backend de planification axé API qui gère des tâches complexes comme les fuseaux horaires, l'heure d'été et les réservations sans conflit tout en laissant les utilisateurs conserver leur propre UI.
- Génère des clients typés et des gestionnaires de routes API pour Next.js/Express/Fastify/Nest
- Gère les règles récurrentes, exceptions ponctuelles et indisponibilités dans un format interrogeable
- Fournit des endpoints sans conflit pour créer, mettre à jour et annuler des réservations
- Utilise une API REST avec des horodatages ISO-8601 et des fuseaux horaires IANA
- Offre une intégration d'outil MCP pour générer des clients frontend/backend et des routes API
- Compte gratuit disponible pour les tests avec accès par clé API
Lien de discussion, Lien original
Déboguer et inspecter le trafic réseau chiffré TLS depuis n'importe quelle source [Outils pour développeurs]
3 points, 1 commentaire
Déboguer et inspecter le trafic réseau chiffré TLS depuis n'importe quelle source.
- Débogue le trafic chiffré TLS
- Fonctionne avec n'importe quelle source réseau
- Offre des capacités d'inspection
Lien de discussion, Lien original
FizzBee – Tests autonomes basés sur des modèles formels [Outils pour développeurs]
9 points, 6 commentaires
FizzBee est un outil de test basé sur des modèles qui génère des tests à partir de spécifications de comportement au lieu de cas de test manuels.
- Utilise un langage de spécification de type Python pour décrire le comportement attendu
- Prend en charge la vérification exhaustive pour les bugs de conception (comme les méthodes formelles)
- Génère automatiquement des tests en mappant les modèles au système réel
- Élimine les cas de test artisanaux et réduit la surcharge de maintenance
- Teste les comportements concurrents et séquentiels sans réécritures en cascade
- Prend actuellement en charge Go, avec Java et Rust prévus pour les versions futures
Lien de discussion, Lien original
Strikethrough – un puzzle quotidien où vous formez des mots en supprimant des lettres [Divertissement]
5 points, 2 commentaires
Un jeu de mots quotidien où les joueurs suppriment des lettres d'un mot de départ pour former des mots valides plus petits.
- Commencez avec un long mot de départ (par exemple, "LONGBOARD") et supprimez des lettres pour créer des mots plus petits valides.
- Trouvez 10 mots pour compléter le puzzle ou visez à découvrir tous les mots possibles.
- Nouveaux puzzles quotidiens sans inscription requise.
- Inspiré par l'inversion du concept de Scrabble.
Lien de discussion, Lien original
Mix – SDK open-source pour agents multimodaux [Outils pour développeurs]
5 points, 1 commentaire
Mix est un SDK open-source pour agents multimodaux conçu pour construire des applications avec des capacités d'analyse vidéo, audio et PDF.
- Prise en charge native de l'analyse vidéo/audio/PDF utilisant Gemini pour la vision et Claude pour le raisonnement
- Routage multi-modèle pour éviter le verrouillage à un seul fournisseur
- Configuration Supabase en une commande pour un déploiement cloud facile
- Architecture HTTP avec DevTools visuels pour déboguer les workflows d'agents
- Backend en Go avec une empreinte mémoire 50-80% inférieure à Node.js
- Clients Python et TypeScript disponibles
- Cas d'utilisation incluent des analyseurs de portefeuille et des agents de recherche YouTube
Lien de discussion, Lien original
Éditeur de polices d'art pixel 1-bit [Design]
5 points, 1 commentaire
Un outil basé sur navigateur pour concevoir des polices d'art pixel 1-bit pour des projets Arduino et ESP32 avec écrans OLED.
- Prend en charge les polices à largeur fixe et variable
- Inclut une zone de prévisualisation en direct
- Exporte les polices dans plusieurs formats
- Livré avec des exemples de polices intégrés
- Entièrement côté client, fonctionne hors ligne
- Inspiré par les précédents projets de petites polices du créateur
Lien de discussion, Lien original
NewsGoat – Un lecteur RSS en terminal écrit en Go [Outils pour développeurs]
8 points, 1 commentaire
Un lecteur RSS en terminal écrit en Go.
- Léger et rapide
- Interface en ligne de commande
- Écrit en Go pour l'efficacité