Sélection quotidienne de Show HN (2025-05-22)

• Informatique confidentielle pour les systèmes embarqués RISC-V haute assurance
• J'ai construit un éditeur vidéo en ligne
• Evolved.lua – Un système d'entités-composants évolué pour Lua
• Représenter les agents comme des serveurs MCP
• Trendly AI – Détection de tendances dans 42 langues
• J'ai créé Blueprint pour la santé cérébrale afin d'atteindre une productivité quotidienne maximale
• J'ai construit un outil d'IA gratuit pour générer des pixel arts à partir de descriptions textuelles
• Testez vos compétences en identification de plaques d'immatriculation
• Super (YC W18) - Transformez les données de votre entreprise en réponses et agents pour votre équipe
• BemiDB – Entrepôt de données open-source sans ETL
• J'ai codé une application de trading complexe sur une impulsion
• J'ai rendu "Who's Hiring?" consultable en utilisant GPT et Metabase
• Kraa.io – Éditeur Markdown pour notes, blogs, chats
• Moniteur pour bébé IA – un Video-LLM local qui bipe lorsque les règles de sécurité sont enfreintes
• OpenHands, une alternative open source à Devin, Codex et Jules
• J'ai construit ColorSnap pour générer des palettes de couleurs Tailwind à partir d'images
• TitleBridge - Un plugin de workflow pour FinalCut
• Nous avons constaté beaucoup de problèmes avec Stripe, alors nous avons construit une alternative
• Phare : Une sonde de sécurité pour les grands modèles de langage
• Application native de lecture immersive en japonais + intégration Anki (Manabi Reader)
• CodeBoarding – carte interactive de votre base de code pour l'intégration
• API OSINT gratuite pour profiler les utilisateurs de Reddit
• apply.coop - Mettre en relation les personnes avec des emplois qui correspondent à leurs valeurs et passions
• Expérimentez avec le système "sans tokenizer" de Meta

Informatique confidentielle pour les systèmes embarqués RISC-V haute assurance [Outils pour développeurs]

64 points, 3 commentaires

Informatique confidentielle pour les systèmes embarqués RISC-V haute assurance avec un micrologiciel formellement vérifié.

• Implémente un environnement d'exécution de confiance (TEE) basé sur des machines virtuelles pour RISC-V embarqué
• Se concentre sur un micrologiciel vérifié formellement et auditable
• Cible les systèmes haute assurance avec compartimentation et isolation matérielle
• Micrologiciel de surveillance de sécurité implémenté en Rust
• Spécification formelle définie dans le code et traduite en Coq via RefinedRust
• Fait partie de la spécification d'extension de machine virtuelle confidentielle RISC-V (CoVE)

Lien de discussion, Lien original

J'ai construit un éditeur vidéo en ligne [Vidéo]

78 points, 37 commentaires

Éditeur vidéo en ligne conçu pour un montage facile sur le web.

• Montage vidéo basé sur le web
• Interface simple et accessible

Lien de discussion, Lien original

Evolved.lua – Un système d'entités-composants évolué pour Lua [Outils pour développeurs]

46 points, 11 commentaires

Une bibliothèque Entity-Component-System rapide et flexible pour Lua conçue pour la simplicité et des performances élevées.

• Simple et facile à utiliser
• Prend en charge des systèmes complexes
• Performances exceptionnelles

Lien de discussion, Lien original

Représenter les agents comme des serveurs MCP [Outils pour développeurs]

35 points, 16 commentaires

Un framework léger permettant aux agents de fonctionner comme des serveurs MCP, permettant aux clients MCP de les invoquer et de les orchestrer de manière transparente.

• Composition d'agents : Construisez des systèmes multi-agents en utilisant le protocole MCP.
• Indépendance de la plateforme : Utilisez des agents depuis n'importe quel client compatible MCP.
• Évolutivité : Exécutez des workflows d'agents sur une infrastructure dédiée.
• Personnalisation : Développez des workflows d'agents réutilisables à travers plusieurs clients.
• Exécution durable : Prend en charge la pause, la reprise et les nouvelles tentatives de workflows via Temporal.
• API de workflow : Inclut des endpoints pour lister, exécuter, vérifier l'état, reprendre et annuler des workflows.

Lien de discussion, Lien original

Trendly AI – Détection de tendances dans 42 langues [Recherche]

28 points, 14 commentaires

Trendly AI détecte les tendances dans 42 langues.

• Analyse les tendances dans plusieurs langues
• Prend en charge 42 langues différentes
• Offre une détection de tendances en temps réel

Lien de discussion, Lien original

J'ai créé Blueprint pour la santé cérébrale afin d'atteindre une productivité quotidienne maximale [Santé]

3 points, 0 commentaires

Blueprint pour la santé cérébrale aide à optimiser la productivité quotidienne grâce à une analyse personnalisée de la santé cérébrale et des plans d'action.

• Intègre les données du téléphone, du calendrier et des biomarqueurs portables pour un aperçu de la vie
• Les psychologues examinent les données pour évaluer la santé cérébrale
• Fournit des plans d'action personnalisés pour des performances optimales
• Accès anticipé axé sur les athlètes et les équipes fondatrices
• Développé par un ancien membre de l'équipe nationale de Judo pour des performances physiques et mentales dans le top 1%

Lien de discussion, Lien original

J'ai construit un outil d'IA gratuit pour générer des pixel arts à partir de descriptions textuelles [Image]

13 points, 2 commentaires

Outil alimenté par l'IA qui génère des pixel arts à partir de descriptions textuelles.

• Texte vers Pixel Art : Convertit des invites textuelles en images pixelisées.
• Style Pixel Art : Se concentre sur la création d'esthétiques pixelisées distinctes.
• Interface simple : Facile à utiliser avec une saisie d'invite directe.
• Cas d'utilisation : Idéal pour les développeurs de jeux indépendants, les artistes numériques et les amateurs de pixel art.

Lien de discussion, Lien original

Testez vos compétences en identification de plaques d'immatriculation [Divertissement]

20 points, 12 commentaires

Testez votre capacité à identifier les plaques d'immatriculation approuvées/rejetées en Californie dans ce jeu interactif.

• Utilise un ensemble de données de plaques d'immatriculation approuvées/rejetées en Californie
• Format interactif pour tester les compétences d'identification
• Inspiré par une récente discussion sur Hacker News

Lien de discussion, Lien original

Super (YC W18) - Transformez les données de votre entreprise en réponses et agents pour votre équipe [Entreprise]

13 points, 3 commentaires

Super est un outil alimenté par l'IA qui connecte les sources de données de l'entreprise pour fournir des réponses rapides et précises et automatiser les workflows pour les équipes.

• S'intègre de manière transparente avec les outils existants pour une récupération unifiée des connaissances
• Fournit des réponses quasi instantanées en recherchant simultanément dans plusieurs sources de données
• Prend en charge les tâches LLM parallèles pour une agrégation efficace des informations
• Offre des fonctionnalités de niveau entreprise comme les permissions et les contrôles d'accès
• Inclut des assistants IA personnalisables et des extensions intégrables
• Comprend des capacités MCP intégrées pour les workflows agentiques

Lien de discussion, Lien original

BemiDB – Entrepôt de données open-source sans ETL [Outils pour développeurs]

6 points, 2 commentaires

BemiDB est un entrepôt de données open-source sans ETL qui simplifie l'analyse en intégrant Postgres et d'autres sources de données de manière transparente.

• Intégration sans ETL avec Postgres et des sources de données externes comme HubSpot et Stripe
• Utilise Apache Iceberg avec des fichiers Parquet stockés dans S3 pour un stockage économique et évolutif
• Intègre DuckDB pour une analyse rapide en mémoire avec un stockage en colonnes et une exécution vectorisée
• Compatibilité avec le protocole et la syntaxe de Postgres pour une adoption facile
• Open-source et non propriétaire (Apache Iceberg) pour éviter l'enfermement fournisseur

Lien de discussion, Lien original

J'ai codé une application de trading complexe sur une impulsion [Finance]

5 points, 6 commentaires

Tradofire est une application de trading crypto qui permet aux utilisateurs de glisser sur des configurations de trading pré-préparées pour ouvrir des positions, avec un développement assisté par IA.

• Interface glisser-pour-trader pour une initiation rapide des positions longues/courtes
• Signaux de trading crypto en temps réel
• Contrôles intégrés de stop-loss et take-profit automatisés
• Mode papier pour tester des stratégies sans risque
• Intégration facile avec les échanges pour un trading en direct

Lien de discussion, Lien original

J'ai rendu "Who's Hiring?" consultable en utilisant GPT et Metabase [Outils pour développeurs]

4 points, 0 commentaires

Un outil qui transforme les fils "Who's Hiring?" de Hacker News en données d'emploi consultables en utilisant GPT, PostgreSQL et Metabase.

• Extrait les détails des emplois (entreprise, rôle, localisation, salaire, contact) en utilisant GPT
• Stocke les données dans PostgreSQL pour un accès structuré
• Fournit un tableau de bord Metabase pour l'exploration et la recherche
• Fonctionne actuellement localement, avec un potentiel pour un tableau de bord public

Lien de discussion, Lien original

Kraa.io – Éditeur Markdown pour notes, blogs, chats [Texte]

57 points, 26 commentaires

Un éditeur Markdown basé sur le web pour les notes, blogs et chats avec un accent sur l'écriture sans distraction et un style personnalisable.

• Éditeur Markdown sans distraction
• Séparation forte entre le style du document et l'expérience d'écriture
• Prend en charge des options de personnalisation riches
• Bêta publique avec un lancement prévu plus tard cette année

Lien de discussion, Lien original

Moniteur pour bébé IA – un Video-LLM local qui bipe lorsque les règles de sécurité sont enfreintes [Technologie grand public]

6 points, 5 commentaires

Moniteur pour bébé IA utilise un Video-LLM local pour détecter les violations des règles de sécurité et alerte les parents avec un bip sonore.

• Surveille le flux vidéo en utilisant Redis + vLLM + Streamlit
• Vérifie par rapport aux règles de sécurité définies en YAML
• Fonctionne localement avec le modèle Qwen 2.5 VL pour une sortie JSON structurée
• Alertes via un bip sonore (pas de notifications téléphoniques)
• L'interface Streamlit affiche le flux de la caméra et les logs du LLM

Lien de discussion, Lien original

OpenHands, une alternative open source à Devin, Codex et Jules [Outils pour développeurs]

11 points, 1 commentaire

Alternative open source à Devin, Codex et Jules pour le codage assisté par IA.

• Open-source
• Codage assisté par IA
• Alternative aux outils commerciaux

Lien de discussion, Lien original

J'ai construit ColorSnap pour générer des palettes de couleurs Tailwind à partir d'images [Design]

3 points, 1 commentaire

ColorSnap génère des palettes de couleurs Tailwind CSS à partir d'images téléchargées en extrayant les couleurs dominantes et en les faisant correspondre aux classes utilitaires Tailwind.

• Extrait les couleurs dominantes des images
• Fait correspondre les couleurs aux classes Tailwind CSS les plus proches en utilisant une comparaison de couleurs LAB
• Fournit les valeurs hexadécimales et les noms de classes prêts à l'emploi (par exemple, bg-indigo-500)
• Construit avec Next.js et Tailwind CSS, fonctionne entièrement dans le navigateur
• Accélère les décisions de couleurs et assure un style cohérent

Lien de discussion, Lien original

TitleBridge - Un plugin de workflow pour FinalCut [Vidéo]

8 points, 1 commentaire

TitleBridge simplifie les workflows de sous-titres dans FinalCut en permettant un transfert par glisser-déposer des sous-titres entre projets.

• Élimine les processus d'exportation/importation en plusieurs étapes
• Utilise une fonctionnalité simple de glisser-déposer
• Simplifie l'intégration des sous-titres dans les chronologies
• Conçu pour les besoins de montage vidéo court

Lien de discussion, Lien original

Nous avons constaté beaucoup de problèmes avec Stripe, alors nous avons construit une alternative [Finance]

10 points, 2 commentaires

Dodo Payments est une plateforme Merchant of Record offrant des solutions de paiement mondiales pour les fondateurs numériques, contournant les limitations et complexités de conformité de Stripe.

• Accès à une passerelle de paiement mondiale, y compris les régions restreintes par Stripe
• Conformité fiscale en un clic (TVA, GST, taxe de vente, etc.)
• Aucune configuration d'entité légale locale requise
• Règlement des revenus en devise locale
• Paiement optimisé pour les conversions mondiales

Lien de discussion, Lien original

Phare : Une sonde de sécurité pour les grands modèles de langage [Recherche]

4 points, 0 commentaires

Phare est un benchmark et un article remettant en question l'évaluation conventionnelle des LLM en se concentrant sur la fiabilité factuelle, la sensibilité aux invites et le support multilingue.

• Remet en question l'évaluation des LLM basée sur les classements
• Teste la fiabilité factuelle et la sensibilité aux invites
• Inclut un support multilingue
• Analyse la gestion des prémisses fausses
• Révèle des écarts entre les scores de préférence et la justesse factuelle
• Met en lumière les effets de