Sélection Quotidienne de Show HN (2025-10-23)
- Cuq – Vérification Formelle des Noyaux GPU en Rust
- Créez des diagrammes interactifs avec du contenu pop-up
- Subway Surfers dans Votre Terminal
- Maktabah Islam ELKIRTASS relancé sur Qt6 CMake
- ProxyBridge redirige tout trafic TCP/UDP Windows vers des proxies HTTP/SOCKS5
- SerenDB – Un fork de PostgreSQL Neon optimisé pour les charges de travail d'agents IA
- Exécutez n'importe quelle GitHub Action localement depuis votre tâche Cron – enfin !
- Stopper le Retrait Extrême – Guide IA gratuit pour l'anxiété extrême
- AutoLearn Skills pour des agents auto-améliorants
- Cont3xt.dev – Connaissance Universelle d'Équipe pour les Outils de Codage IA
- RuleHunt – TikTok pour les Automates Cellulaires
- Analyseur JSON incrémental pour les appels d'outils LLM en streaming en Ruby
- UHOP – Échapper au Verrouillage de Nvidia avec une Couche d'Optimisation Matérielle Ouverte
- UHOP – Une Plateforme d'Optimisation Matérielle Ouverte pour les GPU
- Timeplus Proton 3.0 – Le premier moteur SQL de streaming vectorisé
- caniscrape – Analysez les protections anti-bots avant de scraper (CLI et Web)
- Pong Wars Jeu Idle
- Buzzd Chat – un projet de revival de Yahoo Messenger
- J'ai 13 ans et j'ai construit une IA qui se souvient du contexte entre les conversations
Cuq – Vérification Formelle des Noyaux GPU en Rust [Outils pour Développeurs]
31 points, 23 commentaires
Outil de vérification formelle pour les noyaux GPU en Rust.
- Garantit la correction des noyaux GPU en Rust
- Utilise des méthodes de vérification formelle
- Cible la sécurité de la programmation GPU
Lien de Discussion, Lien Original
Créez des diagrammes interactifs avec du contenu pop-up [Design]
30 points, 0 commentaires
Outil de diagramme interactif avec contenu pop-up pour un partage et une documentation faciles.
- Créez des diagrammes avec des pop-ups déclenchés par clic/survol
- Aucune connexion requise pour partager via un lien web
- Utile pour la documentation système, l'intégration et les présentations
- Essayez sans inscription sur app.vexlio.com
Lien de Discussion, Lien Original
Subway Surfers dans Votre Terminal [Divertissement]
3 points, 1 commentaire
Jeu Subway Surfers jouable directement dans le terminal.
- Installable via Homebrew
- Conçu pour améliorer la concentration pendant les pauses de travail
- Exécution simple en ligne de commande
Lien de Discussion, Lien Original
Maktabah Islam ELKIRTASS relancé sur Qt6 CMake [Outils pour Développeurs]
3 points, 0 commentaires
Revival d'ELKIRTASSE, une contrepartie de Maktabah Shamilah, maintenant mis à jour vers Qt6 et CMake.
- Modernisé avec le framework Qt6
- Utilise le système de construction CMake
- Ouvert aux contributions et améliorations de la communauté
Lien de Discussion, Lien Original
ProxyBridge redirige tout trafic TCP/UDP Windows vers des proxies HTTP/SOCKS5 [Outils pour Développeurs]
3 points, 0 commentaires
ProxyBridge redirige tout trafic TCP/UDP Windows vers des proxies HTTP/SOCKS5.
- Redirige le trafic TCP/UDP sous Windows
- Supporte les proxies HTTP et SOCKS5
- Aucun texte ou détail supplémentaire fourni
Lien de Discussion, Lien Original
SerenDB – Un fork de PostgreSQL Neon optimisé pour les charges de travail d'agents IA [Outils pour Développeurs]
6 points, 1 commentaire
Un fork de PostgreSQL optimisé pour les charges de travail IA avec des fonctionnalités de sécurité et de performance améliorées.
- Requêtes de voyage dans le temps pour déboguer et auditer les décisions des agents
- Scale-To-Zero avec pgvector pour des bases de données dormantes économiques
- Détection d'injection de prompt pour prévenir les attaques spécifiques à l'IA
- Création de branches en 100ms pour des tests et retours rapides
- Open-source avec un service hébergé en développement
Lien de Discussion, Lien Original
Exécutez n'importe quelle GitHub Action localement depuis votre tâche Cron – enfin ! [Outils pour Développeurs]
21 points, 0 commentaires
Exécutez des GitHub Actions localement depuis des tâches Cron.
- Exécutez des GitHub Actions localement
- Planifiez via des tâches Cron
- Pas besoin des runners cloud de GitHub
Lien de Discussion, Lien Original
Stopper le Retrait Extrême – Guide IA gratuit pour l'anxiété extrême [Santé]
3 points, 1 commentaire
Guide IA gratuit pour aider à gérer l'anxiété extrême et les symptômes de retrait.
- Fournit des conseils basés sur l'IA pour l'anxiété extrême
- Se concentre sur la gestion des symptômes de retrait
- Ressource gratuite pour les utilisateurs
Lien de Discussion, Lien Original
AutoLearn Skills pour des agents auto-améliorants [Assistant de Vie]
27 points, 11 commentaires
AutoLearn Skills pour des agents auto-améliorants.
- Permet l'acquisition autonome de compétences
- Conçu pour des agents auto-améliorants
Lien de Discussion, Lien Original
Cont3xt.dev – Connaissance Universelle d'Équipe pour les Outils de Codage IA [Outils pour Développeurs]
3 points, 3 commentaires
Connaissance Universelle d'Équipe pour les Outils de Codage IA.
- Base de connaissances centralisée pour les outils de codage IA
- Conçue pour la collaboration en équipe
- Améliore l'efficacité des outils IA avec un contexte partagé
Lien de Discussion, Lien Original
RuleHunt – TikTok pour les Automates Cellulaires [Divertissement]
13 points, 8 commentaires
Une plateforme de style TikTok pour découvrir et classer des règles intéressantes d'automates cellulaires.
- Explore un vaste espace de 2^512 règles possibles d'automates cellulaires
- Interface mobile de style TikTok pour la découverte aléatoire de règles
- Interface desktop pour la recherche ciblée de règles
- Les utilisateurs peuvent étoiler leurs règles préférées, contribuant à un classement mondial
- Open-source avec un dépôt GitHub disponible
Lien de Discussion, Lien Original
Analyseur JSON incrémental pour les appels d'outils LLM en streaming en Ruby [Outils pour Développeurs]
11 points, 0 commentaires
Analyseur JSON incrémental pour les appels d'outils LLM en streaming en Ruby, optimisé pour les performances en temps réel.
- Traite le JSON caractère par caractère pour les appels d'outils IA en streaming
- Maintient l'état d'analyse pour éviter un comportement O(n²), garantissant une performance O(n)
- Réduit le lag de l'interface en ne traitant que les nouveaux caractères
- Disponible en tant que gem Ruby avec licence MIT
Lien de Discussion, Lien Original
UHOP – Échapper au Verrouillage de Nvidia avec une Couche d'Optimisation Matérielle Ouverte [Outils pour Développeurs]
3 points, 0 commentaires
UHOP est une couche d'optimisation matérielle open-source conçue pour briser le verrouillage de Nvidia en permettant l'exécution de code GPU multi-vendeurs avec une sélection et une génération automatisées de noyaux.
- Détecte le matériel et sélectionne le meilleur backend (CUDA, ROCm, OpenCL, etc.)
- Utilise une génération de noyaux assistée par IA pour CUDA, OpenCL et Triton
- Supporte les opérations fusionnées comme conv2d+ReLU et matmul
- Bénchmarke et cache les noyaux optimaux pour la performance
- Inclut CLI et un tableau de bord navigateur précoce pour le suivi
- Ouvert, hackable et communautaire pour des améliorations futures
Lien de Discussion, Lien Original
UHOP – Une Plateforme d'Optimisation Matérielle Ouverte pour les GPU [Outils pour Développeurs]
3 points, 0 commentaires
UHOP est un framework open-source pour optimiser les charges de travail GPU à travers les architectures sans verrouillage vendeur, avec une génération de noyaux assistée par IA et une détection matérielle.
- Détection automatique des backends matériels et sélection des noyaux optimaux
- Bénchmarke des opérations fusionnées comme conv+ReLU
- Cache et réutilise les noyaux optimisés pour l'efficacité
- Génère dynamiquement des noyaux via codegen (CUDA/OpenCL/Python/Triton)
- Supporte la génération de noyaux assistée par IA via les API OpenAI
- Fournit un CLI simple pour les démos et le benchmarking
- Plans incluant une meilleure intégration backend, l'optimisation distribuée et un tableau de bord web
Lien de Discussion, Lien Original
Timeplus Proton 3.0 – Le premier moteur SQL de streaming vectorisé [Outils pour Développeurs]
10 points, 10 commentaires
Timeplus Proton 3.0 est un moteur SQL de streaming vectorisé offrant des capacités de streaming de niveau entreprise dans un seul binaire sans dépendances.
- Premier moteur SQL de streaming vectorisé en C++ moderne avec compilation JIT
- Traitement haut débit, faible latence et haute cardinalité
- Support de streaming end-to-end (ETL, jointures, agrégation, alertes, tâches)
- Connecteurs natifs pour Kafka, Redpanda, Pulsar, ClickHouse et plus
- Support natif des UDF/UDAF Python pour les charges de travail IA/ML
- Performance de niveau entreprise dans l'édition communautaire
Lien de Discussion, Lien Original
caniscrape – Analysez les protections anti-bots avant de scraper (CLI et Web) [Outils pour Développeurs]
3 points, 2 commentaires
Un outil pour analyser les protections anti-bots avant de scraper, disponible en CLI et version web.
- Détecte les protections actives comme WAF, CAPTCHA, limites de taux, fingerprinting TLS et pièges
- Fournit un score de difficulté (0-10) pour le scraping
- Suggère les outils/approches nécessaires pour un scraping réussi
- CLI installable via pip (
pip install caniscrape) - Version web disponible sur caniscrape.org
- Actuellement limité pour les sites très difficiles (ex. Amazon, YouTube) à cause des protections invisibles
- La version web utilise une IP cloud qui peut être blacklistée par les grands sites (rotation de proxy prévue)
Lien de Discussion, Lien Original
Pong Wars Jeu Idle [Divertissement]
5 points, 1 commentaire
Un simple jeu idle inspiré par Pong Wars, créé en seulement 3 heures.
- Développé rapidement en 3 heures comme un projet de codage amusant
- Inspiré par le concept de Pong Wars
- Axé sur une approche de développement détendue et axée sur l'ambiance
Lien de Discussion, Lien Original
Buzzd Chat – un projet de revival de Yahoo Messenger [ChatBots]
3 points, 0 commentaires
Buzzd Chat est un projet de revival pour Yahoo Messenger (Y!M) se concentrant sur la version V9 avec une communauté grandissante et un support riche en fonctionnalités.
- Supporte Y!M V9 avec des plans pour étendre à d'autres versions
- Inclut l'authentification, les photos de profil et la gestion des statuts
- Offre la gestion des contacts (ajout/suppression/groupe/ignorer) et des contrôles de visibilité
- Permet le partage de liste de contacts et la gestion des contacts
- Supporte le partage de photos, de fichiers, des audibles et des émoticônes
- Fonctionnalités de messagerie fiable avec accusés de réception
Lien de Discussion, Lien Original
J'ai 13 ans et j'ai construit une IA qui se souvient du contexte entre les conversations [Assistant de Vie]
8 points, 8 commentaires
Assistant IA avec mémoire contextuelle et services intégrés pour un usage personnel et professionnel.
- Construit par une jeune de 13 ans et son père après plusieurs échecs de startups
- Combine email, aide au codage, recherche et planification dans une seule interface
- Fonctionnalités Thesys UI générative pour des graphiques visuels et Mode Étude avec enseignement socratique
- Supporte l'intégration professionnelle via Nityasha Connect
- 500+ utilisateurs actifs