HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

3748 articles Page 127/375 Sans filtre

05 Apr 2026

06:01

detawk.com Resume pret HTTP 200

Show HN: I built a small app for FSI German Course

DeTawk est une application d'apprentissage de l'allemand construite entièrement autour du cours FSI utilisé pendant des décennies pour former les diplomates américains. Elle repose sur la méthode audio-linguale : on entend d'abord des dialogues fragmentés en audio natif puis on répète et on s'entraîne par substitution, variation, traduction et autres drills jusqu'à automatisation. Le cursus respecte les 24 unités originales du FSI avec plus de 34 heures d'enregistrements natifs, des centaines de phrases et drills, et un objectif de compétence professionnelle équivalente à B2/C1. Une partie de l'unité 1 est offerte gratuitement avec audio et flashcards, et l'accès complet au contenu est proposé via un abonnement à 5 €/mois. L'application se distingue des produits grand public par l'absence de gamification et par son orientation vers la production orale, mais le FSI estime qu'il faut environ 750 heures d'étude (ou 30 semaines en immersion) pour atteindre le niveau visé.

05 Apr 2026

06:00

www.phoronix.com Resume pret HTTP 200

AWS engineer reports PostgreSQL perf halved by Linux 7.0, fix may not be easy

Un ingénieur d'Amazon/AWS a signalé que le noyau de développement Linux 7.0 réduit le débit de PostgreSQL à environ la moitié des versions précédentes. L'analyse a montré que la régression (environ 0,51× le débit) provient d'un accroissement du temps passé dans un spinlock utilisateur, lié à la restriction des modes de préemption introduite dans Linux 7.0. Un correctif publié sur la mailing list du noyau propose de restaurer PREEMPT_NONE comme modèle de préemption par défaut en raison de la gravité du problème. Cependant, Peter Zijlstra, auteur du changement, a répondu que la solution consiste à faire utiliser à PostgreSQL l'extension Restartable Sequences (RSEQ), ce qui laisse entendre qu'un revert pourrait ne pas être retenu. Si la position de Zijlstra tient, la version stable de Linux 7.0, prévue dans environ deux semaines et qui équipera Ubuntu 26.04 LTS, pourrait entraîner une baisse significative des performances de PostgreSQL dans certains scénarios tant que le serveur de base de données ne sera pas adapté.

05 Apr 2026

06:00

teybannerman.com Resume pret HTTP 200

How many products does Microsoft have named 'Copilot'?

Il y a quelques semaines, l'auteur a essayé d'expliquer ce qu'est Microsoft Copilot mais n'a pas réussi à le faire clairement. Le terme « Copilot » désigne désormais au moins 75 éléments différents, incluant des applications, des fonctionnalités, des plateformes, une touche de clavier et une catégorie d'ordinateurs portables. Aucune source unique, y compris la documentation officielle de Microsoft, ne recensait l'ensemble de ces occurrences, ce qui a poussé l'auteur à reconstituer la liste à partir de pages produit, d'annonces et de supports marketing. L'auteur a créé une visualisation interactive qui cartographie chaque instance par catégorie et montre leurs connexions. En invitant le lecteur à cliquer et à chercher un schéma, l'auteur précise qu'il n'a lui-même pas réussi à en dégager un.

05 Apr 2026

06:00

bmi.usercontent.opencode.de Resume pret HTTP 200

German implementation of eIDAS will require an Apple/Google account to function

Le Wallet Unit fournit des moyens d'authentification liés à des moyens d'identification (comme le PID) via une paire de clés publique/privée, et le Wallet Backend confirme au fournisseur de preuve via OpenID4VCI que ces clés sont contrôlées par un moyen d'authentification répondant aux exigences de résistance contre un attaquant à fort potentiel. Ces moyens d'authentification apportent deux garanties importantes en protégeant le magasin de clés contre la duplication et la falsification pour empêcher la reproduction complète de l'identifiant, et en protégeant le mécanisme d'authentification utilisateur pour éviter l'usage frauduleux des justificatifs. La première garantie peut être obtenue en créant et en traitant les clés dans un RWSCD implémenté comme HSM évalué et certifié, indépendamment de l'appareil utilisateur, tandis que la seconde dépend de l'authentification à deux facteurs combinant un facteur de possession assuré par le HKS du mobile et un facteur de connaissance saisi via l'appareil. Comme les HKS et systèmes d'exploitation mobiles ne disposent pas en pratique d'une certification préalable assurant l'absence de vulnérabilités exploitables, la solution prévoit une gestion des vulnérabilités des appareils mobiles (MDVM) qui surveille les vulnérabilités et empêche l'utilisation des clés ou la confirmation d'attestation si un appareil est jugé insuffisamment sûr. Le MDVM agrège et exploite des signaux (KeyAttestation, PlayIntegrity, iOS DeviceCheck/AppAttest, LPADB, DCVDB, RASP, etc.) pour vérifier la posture de sécurité de l'appareil et de l'application, identifier la classe d'appareil, vérifier les vulnérabilités spécifiques et décider d'autoriser ou de bloquer l'usage des clés et des attestations.

05 Apr 2026

06:00

gist.github.com Resume pret HTTP 200

LLM Wiki – example of an "idea file"

La méthode propose qu'un agent LLM construise et maintienne de façon incrémentale un wiki persistant en markdown qui compile et relie les informations extraites des sources brutes. Contrairement au RAG classique où la synthèse est refaite à chaque requête, ce wiki conserve des synthèses, signale les contradictions et garde des croisements déjà établis pour réutilisation et mise à jour continue. L'architecture repose sur trois couches : les sources immuables, le répertoire de pages wiki générées par le LLM et un fichier de schéma définissant conventions et workflows. Les opérations clés sont l'ingestion de nouvelles sources, les requêtes indexées avec citations et la réintégration des résultats utiles dans le wiki, ainsi que des passes de lint pour détecter orphelins, incohérences et éléments obsolètes. L'approche réduit la charge de tenue de la base en confiant la maintenance et les liens au LLM pendant que l'humain sélectionne les sources, guide l'analyse et adapte le schéma selon les outils choisis.

05 Apr 2026

06:00

github.com Resume pret HTTP 200

OpenScreen is an open-source alternative to Screen Studio

Cette application gratuite et open source propose une version simplifiée d'un logiciel payant pour créer des démonstrations et walkthroughs et est encore en bêta. Elle permet d'enregistrer l'écran ou des fenêtres, d'ajouter des zooms automatiques ou manuels, d'enregistrer le micro et l'audio système, d'ajouter des annotations et des effets, de rogner et d'exporter les vidéos dans divers formats. L'installation se fait via les releases GitHub, avec des instructions spécifiques pour macOS (contournement de Gatekeeper et autorisations de capture d'écran et d'accessibilité) et un fichier AppImage exécutable pour Linux. La capture de l'audio système dépend de la plateforme : macOS requiert macOS 13+ (avec autorisation sur 14.2+), Windows fonctionne nativement, et Linux nécessite généralement PipeWire pour la capture système. Le projet est développé avec Electron, React et TypeScript, est distribué sous licence MIT et accueille les contributions tout en invitant les utilisateurs à signaler les problèmes.

05 Apr 2026

06:00

jonno.nz Resume pret HTTP 200

What if the browser built the UI for you?

Aujourd'hui, malgré la capacité des IA à générer des interfaces, la majorité des produits SaaS continuent de livrer des applications React faites à la main, reproduisant des couches d'interface, d'accessibilité, de thèmes et de points de rupture responsives. L'idée proposée est qu'au lieu d'envoyer une interface finie, un service publie un manifeste sémantique décrivant ses capacités et ses points d'accès, et que le navigateur récupère les données et génère une interface sur-mesure selon les préférences de l'utilisateur en s'appuyant sur un LLM. Cela permettrait d'unifier l'expérience utilisateur, d'appliquer systématiquement des réglages d'accessibilité et de personnalisation à travers tous les services plutôt que de laisser chaque développeur implémenter ces fonctionnalités séparément. Le compromis est que la complexité frontend diminue tandis que la complexité API augmente, rendant la conception d'API sémantiques, les contrats de données et la gestion des versions beaucoup plus importants. L'auteur a réalisé une preuve de concept utilisant Claude et un manifeste GitHub, estime que cette approche pourrait devenir courante dans trois à cinq ans, et prédit que les services qui gagneront seront ceux avec les meilleures API et manifestes.

04 Apr 2026

06:08

github.com Resume pret HTTP 200

Automatic Textbook Formalization

RepoProver est un cadre multi-agent qui orchestre des modèles de langage pour formaliser des manuels mathématiques dans un projet Lean via un dépôt git partagé. Des agents sketcher traduisent les définitions et énoncés depuis des fichiers LaTeX, des agents prover remplissent les preuves et des agents reviewer assurent la qualité par des revues de pull requests, avec un système de suivi par fichiers et une file d'attente de fusion garantissant que la branche principale compile. Le projet Lean requis doit contenir un répertoire tex/ avec les sources LaTeX découpées par chapitre, un manifest.json listant les cibles à formaliser, un CONTENTS.md décrivant la structure et un répertoire issues/ servant de traceur léger. Le code a permis la formalisation automatique du manuel Algebraic Combinatorics de Darij Grinberg et fournit des modes d'exécution locaux ou distribués (SLURM), des options de configuration et des scripts d'analyse d'utilisation de tokens et d'efficacité. Un projet d'exemple pour tests rapides, des scripts d'analyse et un visualiseur de trajectoires sont inclus pour évaluer et déboguer les runs, et le projet est publié sous la licence indiquée dans le fichier LICENSE.