Delete Your Data with Drop
Resume indisponible pour cet article.
20 Jul 2026
06:09
Edition quotidienne
Lire vite. Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
20 Jul 2026
06:09
Show HN: A canvas-based note taking and organizer app
L'application propose un grand espace de travail sans grille ni dossiers où l'on peut déposer n'importe quelle note, document ou étiquette là où l'on le souhaite. On peut empiler les éléments liés pour les regrouper et les écarter ou les replier selon le besoin. Il est possible de dessiner des zones, y déplacer des notes et nommer ces espaces pour structurer vite fait sans quitter la toile. Les sélections de notes, piles ou zones peuvent être exportées proprement en PDF pour partager ou archiver le contenu. Toutes les notes sont enregistrées automatiquement dès que l'on les lâche, supprimant le besoin d'un bouton d'enregistrement.
20 Jul 2026
06:09
How proprietary formats have become Microsoft’s main tool for lock-in
Les formats de documents déterminent comment le contenu est stocké et échangé, et pendant des décennies les formats Microsoft Office (DOC/DOCX, XLSX, PPTX) sont devenus la lingua franca. Ces formats, bien que standardisés sous OOXML, intègrent des éléments propriétaires, des comportements non documentés et une variante « Transitional » que seul Microsoft implémente pleinement, créant ainsi une dépendance pratique (lock-in). La dépendance aux formats propriétaires engendre des conséquences allant du simple décalage de mise en page aux erreurs critiques pour des cabinets, des hôpitaux ou des administrations, et menace l’accès futur aux archives publiques. La souveraineté documentaire requiert des choix explicites : adopter des standards ouverts comme ODF, utiliser des polices libres, définir des politiques institutionnelles et employer des formats d’archivage pérennes tels que PDF/A. Un document n’est pas neutre mais véhicule des dépendances techniques et politiques, de sorte que le choix du format, de la police et du logiciel conditionne l’indépendance et l’accès aux informations sur le long terme.
20 Jul 2026
06:09
Infinities, impossibilities, and the man in the white linen suit
Kurt Gödel est mort en 1978 après s'être laissé mourir de faim par crainte d'empoisonnement, un sort tragique pour le logicien qui a révélé des limites fondamentales des systèmes formels. En 1931, Gödel a démontré que tout système formel assez puissant pour l'arithmétique contient des énoncés vrais mais indémontrables, et son second théorème établit qu'un système ne peut prouver sa propre cohérence. Alan Turing a formalisé en 1936 la notion de procédure mécanique et montré, via le problème de l'arrêt, qu'il est impossible de construire un vérificateur universel des comportements des programmes, fondement théorique de l'ordinateur moderne. Des travaux récents appliquent ces limites à l'IA: l'apprenabilité de certains problèmes peut être indécidable, il existe des réseaux de neurones qui fonctionnent mais ne peuvent être trouvés par aucun entraînement, et on ne peut en général prouver qu'un agent général ne nuira jamais. En conséquence, certaines garanties formelles pour l'auto-amélioration et la sécurité des systèmes d'IA sont mathématiquement inaccessibles, transformant un problème logique ancien en un enjeu concret pour l'industrie et la régulation.
20 Jul 2026
06:06
From Muon to Gradient Clipping: Some Thoughts on QK Stability
L'optimiseur Muon propose de limiter les mises à jour en espace de fonction en contraignant la norme spectrale de ΔW et en utilisant la fonction msign pour répartir uniformément l'énergie de la mise à jour, contrastant avec des optimisateurs classiques comme Adam qui opèrent en espace de paramètres. Cette idée échoue lorsqu'on l'applique directement aux matrices Query et Key des Transformers parce que leur produit bilinéaire QK^T couple les mises à jour, et la mise à jour pleine‑rang de Muon a tendance à augmenter les valeurs singulières de W_Q et W_K, provoquant une explosion des logits et parfois l'effondrement de l'entraînement. Une tentative principielle impose une contrainte sur la variation de la matrice de scores ΔS et conduit à un problème d'optimisation résolu formellement par des pseudoinverses et msign, mais cette solution requiert des SVD coûteuses (ou des itérations numériques instables en faible précision) rendant l'approche impraticable sans approximations, caches ou warm‑starts qui apportent leurs propres limites. Reformuler le couple W_Q,W_K comme une unique matrice bilinéaire B = W_Q W_K^T permettrait d'appliquer Muon proprement, mais B a une dimension d×d et entraîne une explosion de paramètres et de calcul, d'où l'interprétation utile de l'attention multi‑tête comme une approximation bas rang et le lien naturel vers des méthodes comme LoRA (donnant l'idée de Muon‑LoRA). En pratique, l'auteur préconise des compromis empiriques plus simples et plausibles, par exemple le clipping ou la normalisation des gradients d'attention et des méthodes de correction de paramètres telles que MuonClip (redimensionnement dynamique des poids selon le maximum de logit), qui sont plus efficaces mais introduisent des hyperparamètres et nécessitent des validations expérimentales approfondies.
20 Jul 2026
06:06
Building an Arch Linux Aarch64 Port for Holo Core
Collabora et Valve ont réalisé Holo Core, un port pur aarch64 d'Arch Linux pour le Steam Frame, et publié des binaires, les sources et une image base-devel pour expérimentation. Les éléments publiés proviennent d'un sous-ensemble d'un instantané du dépôt "state" d'Arch adapté pour aarch64 et visent à fournir les paquets nécessaires au développement et à la création d'images plutôt qu'à reconstruire l'intégralité d'Arch. Parmi les difficultés identifiées figurent le calcul de l'ordre de construction, la gestion des dépendances complexes dues au modèle rolling-release, les transitions de SONAME, la disponibilité des sources en amont et des incompatibilités spécifiques à aarch64. L'équipe a développé de manière itérative des outils et une CI GitLab capables de "rejouer" l'historique de construction depuis un bootstrap jusqu'à un snapshot pour produire un arbre de paquets reproductible, même si ces outils ne sont pas encore publiés. Le guide de prévisualisation indique comment exécuter un conteneur aarch64 sur hôtes x86_64 avec qemu-user-static, binfmt et distrobox pour construire des paquets, et le projet vise à poursuivre le travail et à collaborer avec Arch pour maintenir le port.
20 Jul 2026
06:06
World GeoHistoGram
Resume indisponible pour cet article.
20 Jul 2026
06:06
The Last MPEG-4 Visual Patent Has Expired
Le dernier brevet relatif à MPEG-4 Part 2 a expiré aujourd'hui, le 19 juillet 2026. Les brevets américains et européens concernant MPEG-4 Part 2 avaient déjà expiré ces dernières années. Le dernier brevet encore actif au Brésil portait la référence BRPI0109962B1 et concernait un procédé de stockage et de traitement d'informations d'images successives dans le temps. L'alliance VIA Licensing a confirmé qu'il s'agissait du dernier brevet MPEG-4 Visual et qu'il expirait aujourd'hui. Cette expiration met fin aux restrictions liées aux brevets pour MPEG-4 Part 2, une norme largement utilisée pour le traitement vidéo.
20 Jul 2026
06:06
We want Texans to know their rights
Des caméras de lecture automatique des plaques d'immatriculation et d'autres outils de géolocalisation ont été utilisés au Texas pour suivre une personne suspectée d'avoir pratiqué une interruption de grossesse auto-administrée. L'enquête a mis en lumière un pipeline de surveillance regroupant des caméras ALPR, des outils comme Locate X et l'analyse des historiques de recherche pouvant compromettre la confidentialité des soins de santé. Pour alerter le public, l'association Mayday Health a installé des panneaux d'affichage à Houston informant les conducteurs des risques de surveillance et proposant des ressources en ligne. Dans sa communication, l'organisation a souligné ses pratiques de protection de la vie privée, comme l'absence de collecte de cookies ou d'informations identifiantes, et renvoie vers des ressources de défense numérique. L'Electronic Frontier Foundation appelle à protéger la vie privée numérique pour préserver la liberté reproductive et demande le soutien du public face à ces outils de surveillance.
20 Jul 2026
06:06
OpenAI reduces Codex Model Context Size from 372k to 272k
Resume indisponible pour cet article.