HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

5780 articles Page 26/578 Sans filtre

09 Jun 2026

06:06

techcrunch.com Resume pret HTTP 200

Massachusetts bans sale of precise location data in new privacy rights bill

Les législateurs du Massachusetts ont adopté la Consumer Data Privacy Act à la Chambre par un vote unanime, après l'avancée parallèle d'un texte au Sénat, et les mesures doivent être fusionnées puis envoyées au gouverneur pour signature. La loi accorderait aux résidents de l'État de nouveaux droits d'accès et de suppression de leurs données détenues par les grandes entreprises technologiques et interdirait la vente de leurs données de géolocalisation précises. Elle s'appliquerait aux entreprises traitant les données personnelles de plus de 100 000 consommateurs, touchant ainsi autant des startups de taille moyenne que des géants de la Silicon Valley. Le texte prohiberait le partage ou la vente d'informations sensibles sans consentement explicite, notamment les données biométriques, la géolocalisation précise et les indicateurs liés à la religion, au statut migratoire ou à l'orientation sexuelle. La mesure, saluée par des groupes de défense de la vie privée, vise à combler le vide d'une loi fédérale et devrait avoir un impact majeur sur les courtiers de données et les entreprises de publicité ciblée.

09 Jun 2026

06:06

pyrefly.org Resume pret HTTP 200

Are you expected to run five Python type-checkers now?

L'auteur conseille de prioriser l'exécution du plus grand nombre possible de vérificateurs de types sur la suite de tests d'une bibliothèque et d'en exécuter au moins un sur le code source. Il explique que taper le code de test garantit la compatibilité du contrat public de l'API pour les utilisateurs, car les tests exercent l'interface publique tandis que vérifier le code interne vérifie principalement la logique interne. L'exemple de Polars montre que l'ajout de nouveaux vérificateurs comme Pyrefly peut révéler bugs et obliger à ajouter des annotations ou des commentaires d'ignorance, rendant le code source plus verbeux. Cependant, dans ce cas les principaux vérificateurs (mypy, Pyrefly, Pyright, ty, Zuban) ont validé les tests publics de Polars sans erreur, prouvant que les outils s'accordent souvent sur l'API même s'ils divergent sur l'implémentation. Enfin, les vérificateurs diffèrent par leur position entre strict et permissif et les mainteneurs doivent choisir le niveau de strictesse qu'ils appliquent au code source tout en préférant tester l'API avec plusieurs outils.

09 Jun 2026

06:06

bernsteinbear.com Resume pret HTTP 200

A Survey of Inlining Heuristics

Les compilateurs JIT travaillent généralement sur une fonction à la fois, et dans les langages dynamiques les méthodes sont souvent courtes, ce qui limite le contexte disponible pour l'optimisation. L'inlining permet d'éliminer des appels, des allocations et du trafic mémoire inutiles, et ouvre la porte à d'autres optimisations, tandis que copier le corps du callee est la partie la plus simple à implémenter. Le vrai défi est de décider quand et quoi inliner, car des choix inadaptés peuvent gonfler le code, dégrader la localité cache, empêcher l'inlining d'autres fonctions clés et augmenter le temps de compilation. Les heuristiques communes se basent sur des profils d'appels et de types, la taille cumulée du caller et du callee, la profondeur d'inlining, la polymorphie, l'usage de la pile, la fréquence d'appel et le mode du compilateur. Les moteurs et travaux étudiés (Cinder, PyPy, V8, JavaScriptCore, SpiderMonkey, HotSpot, ART, HHVM, .NET, Dart, Graal, etc.) expérimentent aussi le split par contexte, l'inlining de bytecode, les tiers multiples, les essais d'inlining et l'apprentissage automatique pour améliorer ces décisions.

09 Jun 2026

06:05

writings.stephenwolfram.com Resume pret HTTP 200

Games Between Programs: The Ruliology of Competition

L'article présente un cadre où deux agents répètent des jeux binaires en choisissant à chaque pas une action déterminée par une stratégie programmatique qui s'appuie sur l'historique des coups et des gains, avec comme exemples le jeu du "match-or-not" et le dilemme du prisonnier. En adoptant une approche ruliologique systématique, l'auteur énumère et compare exhaustivement des familles de stratégies implémentées comme machines à états finis, automates cellulaires et machines de Turing, en construisant des graphes multi‑voies et en mesurant les performances par des gains moyens, médians et les périodicités des trajectoires. Les résultats montrent que les stratégies gagnantes ne se définissent pas simplement par une plus grande complexité comportementale, que des machines plus larges peuvent se spécialiser pour battre des adversaires plus simples, et que l'évolution adaptative produit des percées ponctuelles menant parfois à des solutions simples et parfois à des comportements difficiles à décrire. La propriété cruciale observée est l'irréductibilité computationnelle : de nombreuses compétitions ne peuvent être prédites analytiquement et il faut exécuter les programmes pour connaître l'issue, même si des motifs récurrents et des poches de réduci­bilité apparaissent selon les jeux et familles de règles. En conclusion, l'étude suggère que comprendre la compétition algorithmique exige d'énumérer systématiquement l'espace des programmes, d'explorer différentes tailles et métamodèles, et nuance l'idée qu'une stratégie unique et simple puisse être a priori identifiée comme la meilleure dans tous les contextes.

09 Jun 2026

06:05

www.alaskasnewssource.com Resume pret HTTP 200

Federal judge blocks H1B visa $100K fee

Un juge fédéral, Leo Sorokin, a bloqué la politique imposant des frais de 100 000 $ pour les nouvelles demandes de visa H‑1B en jugeant la mesure contraire à la loi fédérale sur la procédure administrative et à la Constitution et en la qualifiant de taxe. La décision, rendue lundi, pourrait préserver des centaines d'emplois d'enseignants en Alaska où 573 enseignants internationaux sont employés et 341 d'entre eux utilisent des visas H‑1B. Les responsables éducatifs ont expliqué que certains districts ruraux dépendent de 50 % à près de 80 % d'enseignants titulaires de ces visas et que l'ajout d'un tel montant rendrait impossible le recrutement, malgré des coûts actuels de 6 000 à 12 000 $ par enseignant pour le parrainage. Les sénateurs de l'Alaska Dan Sullivan et Lisa Murkowski ont demandé des exemptions aux frais, Murkowski a introduit le projet de loi S.4087 pour exempter les employés des écoles publiques et la législature de l'État a adopté une résolution appelant à une dispense. Murkowski a déclaré vouloir travailler à l'élimination permanente des frais, tandis que les autorités continuent de chercher des mesures pour éviter des pénuries d'enseignants et des perturbations de l'apprentissage des élèves.

09 Jun 2026

06:05

ocamlpro.com Resume pret HTTP 200

OCaml Onboarding: Introduction to the Dune build system

L'article propose un guide pratique pour les débutants de l'écosystème OCaml en expliquant les bases de Dune à travers un petit projet exemple nommé helloer. Il décrit le rôle du fichier dune-project pour la métadonnée du projet et du fichier dune dans chaque répertoire pour déclarer des stanzas décrivant bibliothèques, exécutables et tests. Les stanzas library, executable et test sont expliquées avec leurs champs essentiels et la manière dont elles définissent les modules, dépendances et noms publics. Les commandes dune build, dune exec et dune runtest (ainsi que dune build @doc et les cram tests) sont présentées avec des exemples de sorties et d'usage pour construire, exécuter, documenter et tester le projet. Enfin, l'article montre comment dune init génère une structure de projet prête à l'emploi et conclut que ces notions suffisent pour démarrer des projets OCaml réels.

09 Jun 2026

06:05

techcrunch.com Resume pret HTTP 200

Apple bets cheaper AI will woo small developers

Apple a annoncé lors de la conférence développeurs que les développeurs ayant moins de 2 millions de premières installations sur l'App Store pourront utiliser ses Foundation Models dans Private Cloud Compute sans frais d'API cloud. La société a présenté cela comme un moyen d'offrir un accès à des modèles de pointe tout en maintenant des protections de confidentialité pour faciliter l'expérimentation sans coûts d'infrastructure élevés. Apple a indiqué que le framework Foundation Models sera étendu cette année pour prendre en charge l'entrée d'images et les modèles serveur, et que l'API peut désormais s'intégrer aux fournisseurs cloud choisis par les développeurs. La mesure s'inscrit dans une logique comparable à son programme pour petites entreprises visant à aider les développeurs indépendants et à réduire les barrières financières au démarrage. Apple motive aussi cette décision par le contexte de hausse des coûts d'expérimentation en IA, citant des exemples d'autres acteurs du secteur qui ont réduit ou réévalué leurs dépenses en IA.

09 Jun 2026

06:05

www.bbc.com Resume pret HTTP 200

Anti-social: It's fads, not friends, which now dominate social media feeds

Les plateformes sociales se transforment de lieux d'échange entre proches en hubs de vidéos courtes et de divertissement, animés par des algorithmes cherchant à maximiser le temps passé. En conséquence, de nombreux utilisateurs, surtout les plus jeunes, postent moins et consomment principalement du contenu professionnel ou d'inconnus, tandis que les interactions personnelles migrent vers des messageries privées et des groupes fermés. Les recommandations de contenu non connecté alimentées par l'IA favorisent ce qui retient l'attention plutôt que les publications d'amis, obligeant aussi les petits commerces à se muer en créateurs de contenu pour exister. Cette évolution alimente la croissance des revenus publicitaires, car le ciblage précis permet d'insérer des annonces efficaces dans des flux hautement personnalisés. Certains utilisateurs cherchent toutefois des alternatives ou des réglages pour retrouver un fil centré sur amis et famille, ce qui laisse ouverte la question d'une réaction négative éventuelle des consommateurs.

09 Jun 2026

06:04

www.wheresyoured.at Resume pret HTTP 200

AI is slowing down

L'auteur fait la promotion de son abonnement payant offrant des analyses longues et détaillées sur NVIDIA, Anthropic, OpenAI et la bulle de l'IA. Il affirme que les engagements massifs en centres de données et en compute exigent des investissements et des revenus colossaux, de l'ordre de plusieurs milliers de milliards de dollars d'ici 2030, pour être soutenables. Il détaille que les engagements de dépenses d'OpenAI et d'Anthropic, leurs levées de fonds et leurs projections de revenus paraissent insuffisants et fortement dépendants de dette et de quelques hyperscalers majeurs. Il note que la généralisation de la facturation à l'usage par tokens a mis en lumière des coûts imprévisibles et conduit des entreprises à limiter les dépenses, ce qui pourrait freiner la croissance de la demande. Enfin, il annonce une enquête à venir susceptible de révéler de graves problèmes dans l'industrie et invite les employés du secteur à le contacter confidentiellement.