HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6194 articles Page 140/620 Sans filtre

06:07

Oura says it gets government demands for user data

L'article examine les inquiétudes suscitées par le partenariat entre le fabricant d'anneaux connectés Oura, le ministère de la Défense et Palantir, qui a provoqué une polémique sur les réseaux sociaux. Les anneaux Oura collectent des données de santé sensibles (rythme cardiaque, sommeil, cycle menstruel, localisation) qui sont transmises via l'application et stockées sur des serveurs de l'entreprise. L'auteur explique que les données ne sont pas chiffrées de bout en bout, ce qui permet à du personnel de l'entreprise, à des autorités via mandat, ou à des acteurs malveillants d'accéder aux informations. Oura affirme examiner les demandes gouvernementales au cas par cas et dit recevoir des requêtes peu fréquentes, mais refuse de divulguer le nombre et la nature des remises de données. Le journaliste appelle l'entreprise, devenue un acteur majeur du marché des wearables, à publier un rapport de transparence pour restaurer la confiance des utilisateurs.

06:06

When does learning from data work (math starting from basic probability)

L'article pose le cadre de l'apprentissage en classification binaire en définissant espace d'instances, risque vrai et empirique, ERM, PAC et la notion de convergence uniforme. Il démontre que la dimension VC finie entraîne la convergence uniforme en combinant des inégalités de concentration (Markov, Hoeffding), la symétrisation et le lemme de Sauer–Shelah, ce qui rend ERM fiable. La borne de généralisation obtenue est de la forme O(Π_H(2m) e^{-mε^2/8}) et entraîne une complexité d'échantillonnage m = O((d + ln(1/δ))/ε^2) avec d la VC-dimension. La direction inverse est prouvée par des bornes inférieures issues de la théorie de l'information : en construisant des distributions adverses et en utilisant KL, Pinsker et la méthode de Le Cam, on montre qu'une VC-dimension infinie rend l'apprentissage impossible et que m = Ω((d + ln(1/δ))/ε^2) est nécessaire. La conclusion est le théorème fondamental : une classe est (agnostiquement) PAC apprenable si et seulement si sa VC-dimension est finie, et la Partie 2 traite des raffinements via la complexité de Rademacher.

06:06

Highest Random Weight in Elixir

Dans l'écosystème Elixir, le consistent hashing est couramment utilisé et la bibliothèque ExHashRing de Discord est largement appréciée pour ses performances, mais elle nécessite de lancer et gérer des processus d'anneau persistants. Le rendezvous hashing (HRW) est une alternative sans état et très simple qui calcule le propriétaire d'une clé par une fonction pure et évite les dérives liées à l'état distribué. Son inconvénient est une complexité linéaire O(n) pour owner, ce qui le rend moins adapté aux très grands ensembles de nœuds, mais pour des tailles modestes (la plupart des usages, ici ~14 nœuds) la différence de latence est négligeable. Une optimisation dite HRW.Skeleton organise et regroupe les nœuds pour réduire la complexité à O(log n), améliorant fortement les performances sur des milliers de nœuds au prix d'une structure à gérer et d'une instabilité sur l'ajout/suppression de nœuds. Les tests de distribution montrent une répartition satisfaisante avec plusieurs fonctions de hachage, ExHashRing nécessite plus de vnodes pour rester équilibré à grande échelle, et la bibliothèque hrw disponible sur Hex/GitHub propose aussi des variantes pondérées et bornées.

06:06

API proposed by Chrome: Declarative partial updates

Face aux limites du flux linéaire du HTML et aux impacts sur les performances et l'accessibilité, l'équipe Chrome propose des mises à jour partielles déclaratives pour moderniser la livraison de contenu Web. La première série d'API introduit des instructions de traitement et l'élément <template for> permettant d'insérer ou de remplacer hors séquence des espaces réservés (<?marker>, <?start>, <?end>) pour diffuser du HTML quand il est prêt. La seconde apporte des méthodes JavaScript cohérentes pour insérer ou remplacer du HTML — setHTML/replaceWithHTML/beforeHTML/etc. — et leurs équivalents en streaming (streamHTML...) ainsi que des variantes Unsafe avec options de désinfection et d'exécution de scripts. Ces mécanismes facilitent des cas d'utilisation comme l'architecture en îlots, la diffusion asynchrone de contenus coûteux, l'amélioration des performances de chargement et l'actualisation dynamique des SPA ou de fragments réutilisables. Les fonctionnalités sont disponibles pour tests dans Chrome 148 via un flag, accompagnées de polyfills npm pour un déploiement anticipé, et elles restent en cours de normalisation avec des restrictions de sécurité, de portée parentale et d'interaction avec TrustedTypes à prendre en compte.

06:06

Improving C# Memory Safety

Microsoft redessine le mot-clé unsafe en C# pour qu'il exprime des contrats de sécurité mémorielle visibles et vérifiables, exigeant que les obligations de l'appelant soient documentées et explicites. La nouvelle mécanique impose des blocs unsafe internes pour chaque opération non vérifiable, l'ajout d'unsafe à une signature pour propager l'obligation aux appelants, et la présence d'un /// <safety> pour formaliser les préconditions, tandis que des méthodes-frontière peuvent décharger ces obligations par des gardes d'exécution. Le compilateur fera respecter ces règles par des erreurs, la modélisation sera proposée en aperçu dans .NET 11 puis en production dans .NET 12 via un opt-in au niveau projet, <AllowUnsafeBlocks> restant le levier qui interdit l'usage d'unsafe par défaut et un mode de compatibilité protège contre les régressions avec les assemblages hérités. Des exemples concrets montrent le pattern attendu : les lectures par pointeur sont isolées et documentées (Encoding.GetString, Marshal.ReadByte), Alloc peut être safe tandis que Free reste unsafe, et les champs unsafe servent à formaliser des invariants internes et à rendre les écritures révisables. La visée est d'améliorer l'auditabilité et l'automatisation des revues (utile face au code généré par IA), avec des outils de migration et des analyseurs prévus, tout en reconnaissant des limites actuelles sur la réflexion et les modèles de durée de vie qui seront traitées ultérieurement.

06:06

SpaceX launches Starship v3 rocket

SpaceX a lancé le Starship V3 lors du vol d'essai suborbital Flight 12 depuis un deuxième pas de tir à Starbase, Texas, marquant la première mission du nouveau design V3. Pendant le lancement, un moteur Raptor du premier étage a été perdu et le booster Super Heavy n'a pas réussi son boostback, retombant et s'écrasant dans le golfe ; l'étage supérieur Ship 39 a aussi perdu un moteur mais a atteint l'espace. Ship 39 a déployé 22 charges utiles, dont deux véritables satellites Starlink équipés de caméras qui ont filmé et photographié le vaisseau en vol, mais les essais prévus de rallumage orbital ont été abandonnés à cause de la panne moteur. Lors de la rentrée, Ship 39 a réalisé des manœuvres d'essai et un allumage final avant de basculer et d'exploser dans l'océan selon le plan de fin de mission, tandis que l'équipe a souligné l'importance des objectifs atteints malgré les anomalies. Le vol confirme plusieurs évolutions de la version V3 destinées au ravitaillement orbital et aux missions lunaires d'Artemis, mais SpaceX devra démontrer le ravitaillement en vol, l'insertion orbitale et accélérer son rythme de lancements pour obtenir une certification de la NASA pour des vols habités.

06:05

Italy moves to Airbus A330 tankers

L'Italie a formalisé l'acquisition de six Airbus A330 MRTT pour environ 1,39 milliard d'euros, contrat signé le 16 avril 2026 et publié sur le portail TED le 19 mai 2026. La décision marque un basculement de l'axe logistique et industriel de la défense aérienne italienne vers l'Europe et renonce définitivement au Boeing KC-46 choisi initialement en 2022. Le processus a été long et sinueux, avec annulations et appels d'offres infructueux entre 2022 et 2025 avant qu'Airbus ne soit la seule offre retenue en décembre 2025. L'A330 MRTT, plateforme multi‑rôle d'avitaillement en vol et de transport stratégique, augmente significativement la capacité de projection de puissance de l'armée de l'air italienne, notamment pour des avions comme le F‑35 et le Typhoon. L'Italie devient le 19e opérateur mondial de l'MRTT, renforçant la centralité d'Airbus sur le marché des ravitailleurs tout en laissant des points ouverts sur la variante retenue et la participation industrielle italienne.

06:05

NeuralNote

Ce plugin convertit l'audio en MIDI pour tout instrument tonal (voix incluse), prend en charge la transcription polyphonique et la détection du pitch bend, et permet d'ajuster des paramètres pendant l'écoute. Des installateurs sont fournis pour Windows, macOS (Universal) et Linux avec des formats Standalone, VST3 et AU (AU sur macOS), le binaire macOS étant signé tandis que l'utilisation sous Windows peut nécessiter des étapes supplémentaires. Le flux de travail consiste à appliquer l'AudioFX sur une piste, enregistrer ou déposer un fichier audio (wav, aiff, flac, mp3, ogg), visualiser instantanément la transcription dans le piano roll et exporter le MIDI par glisser-déposer. Le moteur utilise le modèle basic-pitch exécuté via RTNeural pour le CNN et ONNXRuntime pour le calcul des features (CQT + Harmonic Stacking), avec le code et les poids disponibles dans le dépôt et une licence Apache-2.0. La transcription n'est pas en temps réel en raison des longues fenêtres requises par la CQT, d'une latence CNN d'environ 120 ms et d'un algorithme non causal pour la création d'événements, et les rapports de bogues ainsi que les contributions sont bienvenus.

06:05

ICE Awards $25M Iris-Scanning Contract to Bi2 Technologies

ICE a attribué le 22 mai un contrat sans appel d'offres à Bi2 Technologies d'un montant de 25,1 millions de dollars pour une technologie de scan d'iris. Le contrat prévoit la fourniture de technologie de reconnaissance biométrique de l'iris et l'accès à un système d'information biométrique permettant d'authentifier rapidement l'identité des sujets en opérations de terrain. Il donne à la division Enforcement and Removal Operations d'ICE un accès continu à la base de données de Bi2 comprenant plus de cinq millions de dossiers d'enregistrement. Le marché ne conditionnait pas le déploiement du système à une habilitation FedRAMP et ne prévoyait ni audit indépendant, ni notification au Congrès, ni examen externe de son usage. Le montant dépasse de plus de cinq fois le contrat initial de 4,6 millions conclu en septembre 2025 et porte sur 1 570 appareils à livrer dans les implantations d'ICE d'ici fin juin, contre 200 auparavant.