HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 630/1203 Sans filtre

Noise infusion banned from statistical products published by Census Bureau

Le Département du Commerce des États-Unis a ordonné l'interdiction de l'« infusion de bruit » dans tous les produits statistiques publiés par le Census Bureau et le Bureau of Economic Analysis. La protection contre la divulgation comprend plusieurs techniques (suppression, généralisation, échantillonnage, permutation, plafonnement de contribution et ajout de bruit) et le Census a adopté la confidentialité différentielle pour le recensement 2020 après avoir constaté que le swapping permettait la reconstruction de dossiers individuels. La confidentialité différentielle a été choisie parce qu'elle offrait le meilleur compromis entre utilité et protection disponible, même si elle a réduit la précision des statistiques par rapport au recensement de 2010. L'interdiction de l'ajout de bruit poussera à privilégier des méthodes plus grossières comme la généralisation ou la suppression, ce qui risque soit de détruire l'utilité des données, notamment pour les petites populations, soit d'affaiblir la protection de la vie privée. Les motivations de cette décision restent incertaines et certains observateurs estiment qu'elle pourrait chercher à éviter de confronter explicitement les arbitrages inhérents entre utilité statistique et confidentialité.

desfontain.es Resume pret HTTP 200 Commentaires

Tribblix: the retro illumos distribution

Tribblix est un système d'exploitation open source créé par Peter Tribble et basé sur illumos, combinant un style rétro avec des composants modernes. La version Milestone 40 pour x86 a été publiée le 12 juin 2026 avec des notes de version spécifiques pour x86. Le 21 avril 2026, un ISO SPARC m34 a été rendu disponible, en plus des mises à niveau de m33 vers m34 déjà proposées. Le support du matériel 32 bits a été complètement supprimé. La version SPARC manque encore de tests et présente un support matériel irrégulier, tandis que la version x86 est jugée assez stable et téléchargeable pour installation et usage.

tribblix.org Resume pret HTTP 200 Commentaires

Software Architecture Guide

L'architecture logicielle désigne la compréhension partagée des éléments de conception les plus importants qui gouvernent l'évolution d'un système. Une mauvaise architecture engendre du cruft rendant le logiciel difficile à comprendre et à modifier, alors qu'une bonne qualité interne accélère la livraison des fonctionnalités. À l'échelle d'une application, les frontières sont des constructions sociales déterminées par équipes, fonctionnalités et budgets, tandis qu'à l'échelle d'une entreprise l'architecture vise à coordonner de multiples équipes et codebases sans étouffer la prise de décision locale. Différents styles et motifs architecturaux — microservices, serverless, micro frontends, séparation présentation-domaine-données, modèles d'interface et motifs pour systèmes distribués — offrent des bénéfices et des coûts opérationnels qu'il faut peser selon le contexte. Les architectes doivent travailler au plus près des équipes, favoriser le mode produit, accompagner le remplacement incrémental des systèmes hérités et faire le pont entre la stratégie métier et la mise en œuvre technique.

martinfowler.com Resume pret HTTP 200 Commentaires

10th Gen Honda Civic Updates Are Signed with AOSP Test Keys

L'auteur a rétroconçu l'autoradio d'une Honda Civic 2021 et publie une mise à jour de son projet décrivant ses avancées. L'analyse du processus de mise à jour via USB montre que l'appareil accepte des fichiers signés avec la clé de test AOSP publique, permettant d'installer du code arbitraire. Cette vulnérabilité permet l'exécution de code par une personne ayant un accès physique au port USB frontal, qualifiée par l'auteur d'attaque "EvilValet". Il a publié des outils, notamment ota-builder et apk-rebuilder, pour créer des mises à jour compatibles et reconstruire les fichiers .smali et ressources sans distribuer les fichiers officiels. Il appelle des contributeurs pour recenser les versions connues, améliorer la chaîne de compilation, travailler sur les thèmes et l'analyse AIDL, et précise que le dépôt reste ouvert aux contributions.

juniperspring.org Resume pret HTTP 200 Commentaires

Enhance RAW image processing with Core Image [video]

La présentation décrit les étapes du traitement des fichiers RAW sur les appareils Apple, depuis l'extraction des métadonnées et le démosaïquage jusqu'à la détection du bruit, l'accentuation et les ajustements de couleur et d'exposition. Apple annonce RAW 9, qui utilise un modèle Core ML exécuté sur l'Apple Neural Engine pour combiner démosaïquage et débruitage et obtenir une netteté et une précision colorimétrique supérieures, notamment sur les images très bruitées. Les applications peuvent activer RAW 9 via l'API CIRAWFilter en vérifiant supportedDecoderVersions et en réglant decoderVersion, puis exposer des contrôles calibrés comme l'exposition, la réduction de bruit luminance, la netteté et le contraste. Pour l'édition interactive, il est conseillé d'utiliser scaleFactor, un CIContext par vue avec cacheIntermediates activé, l'entitlement Extended Virtual Addressing et le rendu Metal; pour les exportations en pleine résolution, désactivez cacheIntermediates et augmentez memoryLimit. L'API CIImageProcessor propose désormais le contrôle explicite des tailles de tuiles de sortie et la gestion de tampons temporaires réutilisables, ce qui réduit les allocations répétées et améliore les performances des traitements intégrant Core ML.

developer.apple.com Resume pret HTTP 200 Commentaires

How Terry Tao became an evangelist for AI in math

Terry Tao, mathématicien prodige australien et lauréat de la Médaille Fields, s'est distingué par une carrière précoce et une préférence marquée pour le travail collaboratif couvrant de nombreux domaines mathématiques. Il a été l'un des principaux acteurs du projet Polymath, une expérience de collaboration ouverte lancée par Timothy Gowers qui a permis des démonstrations collectives mais a révélé des limites pratiques liées à la modération et à la vérification manuelle des contributions. Intrigué par la vérification formelle, Tao a appris le système Lean et coordonné la formalisation collaborative de résultats importants comme la preuve polynomial Freiman-Ruzsa, en fragmentant les démonstrations en petits lemmes pour permettre à de nombreux contributeurs de participer. En 2024 il a lancé Equational Theories, un projet massif qui a exploité scripts Python, prouveurs automatiques et contributions distribuées pour traiter des millions d'implications algébriques, résolvant presque toutes les cases et découvrant au passage de nouvelles constructions mathématiques inattendues comme la « magma cohomology ». Tao promeut désormais une vision d'une nouvelle ère mathématique combinant expertise humaine, modèles d'IA et vérification formelle pour décomposer et automatiser d'innombrables sous-problèmes, estimant que cette approche expérimentale complétera la théorie sans la remplacer.

www.quantamagazine.org Resume pret HTTP 200 Commentaires

The forgotten Scots who gave Kafka his voice

Willa et Edwin Muir ont été pendant près d’un demi-siècle les traducteurs par excellence de Kafka en anglais et ont largement contribué à introduire son œuvre dans le monde anglophone. Leur version, fluide et formelle, a été à la fois célébrée pour sa lisibilité et critiquée pour son lissage des singularités du texte allemand. Des rééditions textuelles menées depuis les années 1980 par des chercheurs comme Malcolm Pasley ont ouvert la voie à de nouvelles traductions qui remettent en question certains choix des Muirs. L’ouvrage récent de Maïa Hruska, qui examine comment divers écrivains ont traduit et interprété Kafka, passe presque sous silence le rôle central des Muirs, produisant un paradoxe d’effacement. Malgré les critiques et les tentatives d’oubli, les traductions des Muirs continuent de circuler et d’influencer la réception anglophone de Kafka, tandis que leur propre mémoire reste fragile.

engelsbergideas.com Resume pret HTTP 200 Commentaires

Kimi K2.7-Code: open-source coding model with better token efficiency

Kimi K2.7 Code est un modèle agentique orienté codage dérivé de K2.6, optimisé pour des tâches de longue durée en ingénierie logicielle et réduisant d'environ 30 % l'utilisation de tokens de réflexion par rapport à K2.6. Il utilise une architecture mixture-of-experts avec 1 000 milliards de paramètres totaux, 32 milliards de paramètres activés, 61 couches, un contexte de 256k tokens, un vocabulaire de 160k, 384 experts (8 sélectionnés par token), attention MLA et un encodeur vision MoonViT de 400M paramètres. Sur les benchmarks internes et publics, K2.7 Code améliore sensiblement les scores par rapport à K2.6 (par ex. Kimi Code Bench v2 : 62.0 vs 50.9; Program Bench : 53.6 vs 48.3) mais reste derrière certains modèles de référence comme GPT-5.5 sur plusieurs tâches. Le modèle adopte la quantification native int4, est distribué sous licence Modified MIT, est accessible via l'API de la plateforme Moonshot (compatible OpenAI/Anthropic) et est recommandé pour l'inférence avec vLLM, SGLang ou KTransformers en utilisant transformers >=4.57.1 et <5.0.0. K2.7 Code force le mode thinking avec preserve_thinking activé par défaut, prend en charge les entrées image et vidéo, fournit des exemples d'API et d'usage pour le chat et les agents, et le support est joignable à support@moonshot.ai.

huggingface.co Resume pret HTTP 200 Commentaires

Reddit RSS feeds recent rate limiting and solution

L'auteur suit depuis des années Reddit via environ 25 flux RSS pour suivre des subreddits liés à Apple et à sa région. Du jour au lendemain, tous ses flux RSS ont commencé à renvoyer des erreurs HTTP 429 en raison d'une limitation de débit sévèrement renforcée. Les en-têtes x-ratelimit laissaient penser qu'une seule requête était autorisée toutes les 60 secondes et l'ajout de l'authentification du compte n'a pas empêché les 429. Il a découvert qu'ajouter les paramètres user= et feed= aux URL des flux RSS permettait de rétablir l'accès, y compris pour les flux /search/.rss. Reddit a évoqué la fermeture des endpoints JSON non authentifiés et l'utilisation de Devvit pour l'accès aux données, mais aucune annonce officielle sur la fin des flux RSS n'est confirmée.

lapcatsoftware.com Resume pret HTTP 200 Commentaires

WASI 0.3

Le groupe WASI a ratifié la spécification 0.3, qui devient stable et rebase WASI sur les primitives async du WebAssembly Component Model, débloquant l'arrivée du support dans runtimes et toolchains. Le Component Model introduit stream<T>, future<T> et async comme ABI canonique, confiant la gestion d'une seule boucle d'événements au hôte et une planification par le runtime basée sur l'achèvement plutôt que la readiness. Les interfaces WASI ont été simplifiées de façon principalement mécanique (wasi:io migré vers l'ABI canonique), avec des signatures plus ergonomiques et la résolution du problème d'état des flux via une future séparée. L'async natif permet aux générateurs de bindings de produire des API idiomatiques pour Rust, JavaScript, Python, C#, C et Go, en accommodant à la fois coroutines stackless et stackful et en facilitant le streaming sans bloquer l'exécution. L'interface wasi:http a été réorganisée en worlds service et middleware pour permettre le chaînage de services et la composition directe de composants (réduisant fortement la latence), et les principaux runtimes et outils prévoient d'activer WASI 0.3 prochainement.

bytecodealliance.org Resume pret HTTP 200 Commentaires