HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 714/1203 Sans filtre

Bytecode VMs in surprising places (2024)

L'article rappelle que SQLite utilise une machine virtuelle à bytecode pour exécuter les instructions SQL et note que ce modèle se retrouve ailleurs que dans les langages de programmation classiques. eBPF, intégré au noyau Linux, est décrit comme une VM à registres qui a évolué d'un simple filtre réseau à une plate-forme universelle avec dix registres, instructions proches du matériel, support 64 bits et compilation JIT. Le format DWARF inclut un langage d'expressions basé sur une pile que les débogueurs évaluent pour reconstituer la valeur ou l'emplacement de variables optimisées. GDB traduit des expressions en un bytecode simple envoyé à un agent distant qui l'exécute afin d'évaluer des expressions sans embarquer d'évaluateur complet et avec des limites strictes de mémoire et de temps. D'autres usages cités comprennent le RarVM de WinRAR pour des filtres de compression, des interprètes d'expressions pour shaders GPU évitant la recompilation, ainsi que des jeux d'instructions pour TrueType et PostScript.

dubroy.com Resume pret HTTP 200 Commentaires

Uber’s COO says it’s getting harder to justify money spent on tokenmaxxing

Andrew Macdonald, directeur des opérations d'Uber, a indiqué que les coûts de l'intelligence artificielle étaient de plus en plus difficiles à justifier pour l'entreprise. Il a évoqué la déclaration du CTO Praveen Neppalli Naga selon laquelle le budget "Claude Code" pour 2026 avait déjà été épuisé, ce qui a déclenché un vif débat interne sur la consommation de tokens. Les responsables techniques d'Uber ont conclu que l'augmentation de l'utilisation des tokens ne se traduit pas de manière proportionnelle par davantage de fonctionnalités utiles pour les consommateurs. En conséquence, la direction a pris des mesures comme le ralentissement des recrutements pour compenser les investissements en IA, selon le PDG Dara Khosrowshahi. Macdonald a aussi observé que l'IA peut sembler gratuite pour l'utilisateur mais que l'entreprise assume finalement la facture, et certaines sociétés comme Duolingo revoient l'intégration de l'IA dans l'évaluation des employés.

www.businessinsider.com Resume pret HTTP 200 Commentaires

Netherlands Seizes 800 Servers, Arrests 2 for Aiding Cyberattacks

Les autorités néerlandaises ont arrêté le 18 mai deux co-propriétaires de sociétés d'hébergement soupçonnées d'avoir fourni une infrastructure utilisée par la Russie pour des cyberattaques, des opérations d'influence et des campagnes de désinformation dans l'Union européenne. Les suspects, Andrey Nesterenko, dirigeant de MIRhosting, et Youssef Zinad, lié à WorkTitans BV, sont poursuivis par la FIOD pour violation des sanctions en mettant des ressources économiques à la disposition d'entités visées par l'UE. Les perquisitions ont visé des entreprises et des centres de données, entraînant la saisie de plus de 800 serveurs, d'ordinateurs portables et de téléphones, et les enquêteurs relient MIRhosting et WorkTitans à des attaques pro‑russes visant notamment le Danemark en novembre 2025. L'enquête rappelle que Stark Industries, actif depuis deux semaines avant l'invasion de l'Ukraine en 2022, a servi de plateforme pour des attaques DDoS et des services de proxy, et que des connexions gérées par PQHosting et les frères Neculiti ont été redirigées vers la.hosting et WorkTitans avant les sanctions. Nesterenko a nié toute intention d'évasion des sanctions et déclaré que MIRhosting ne soutient pas la cybercriminalité, tandis que Zinad, dont le rôle est demeuré discret pendant des mois, a été retrouvé et arrêté à Amsterdam.

krebsonsecurity.com Resume pret HTTP 200 Commentaires

CPPL: A Circuit Prompt Programming Language

Les grands modèles de langage montrent du potentiel pour l'automatisation de la conception RTL, mais la génération directe de RTL est difficile à valider, optimiser et intégrer aux flux de compilateur en raison de la syntaxe MLIR, de la discipline SSA, des opérations spécifiques aux dialectes et des contraintes strictes de largeur. CPPL propose un cadre de conception médié par un compilateur qui transforme la génération assistée par LLM en un problème de frontend vérifiable, en combinant un DSL Python pour déclarer interfaces et hiérarchie de modules avec CPPL IR, un IR de circuit au format JSON conçu pour être lisible par les LLM tout en exposant la structure vue par le compilateur. Le compilateur infère les largeurs d'opération à partir des ports déclarés, valide l'IR généré, vérifie la hiérarchie et les connexions de ports, puis abaisse de manière déterministe vers CIRCT pour produire du Verilog synthétisable. Sur le benchmark RTLLM, CPPL améliore la correction fonctionnelle par rapport à la génération directe de Verilog et d'IR CIRCT, et les optimisations CIRCT réduisent le nombre de nœuds AIG après synthèse. CPPL est disponible à l'URL fournie pour consultation et usage.

arxiv.org Resume pret HTTP 200 Commentaires

Waymo suspends all freeway rides over safety issues

Waymo a suspendu temporairement tous ses services autoroutiers pour intégrer des améliorations logicielles visant à mieux gérer les zones de chantier sur les autoroutes. Avant cette suspension, les trajets sur autoroute n'étaient proposés que à San Francisco, Los Angeles, Phoenix et Miami. La société n'a pas cité d'incident précis, mais une vidéo publiée sur X montrait selon l'utilisateur un Waymo franchissant des cônes de chantier et étant ensuite poursuivi par la police. Waymo n'a pas donné de date de reprise, se contentant d'indiquer qu'elle espérait relancer ces itinéraires "bientôt", et elle fait face à des rappels antérieurs ainsi qu'à une enquête de la NHTSA après qu'un véhicule a heurté un enfant à Santa Monica, blessé légèrement. Lors d'une panne de courant de PG&E en décembre à San Francisco, la flotte s'est immobilisée plus de 1 500 fois pendant au moins deux minutes, bloquant des intersections et entraînant de multiples appels du 911 à Waymo, une situation qualifiée d'intenable par les responsables municipaux.

sfstandard.com Resume pret HTTP 200 Commentaires

Magnifica Humanitas

Le texte examine comment la doctrine sociale de l'Église, ancrée dans l'Incarnation et le dialogue avec les sciences humaines, doit interpréter et orienter les « nouvelles choses » de notre époque, en particulier la révolution numérique et l'intelligence artificielle. Il rappelle les fondements anthropologiques et éthiques — la dignité inaliénable de la personne, le bien commun, la destination universelle des biens, la subsidiarité, la solidarité et la justice sociale — qui doivent guider toute décision politique, économique et technologique. Face à l'essor de l'IA et au paradigme technocratique, le texte met en garde contre la concentration privée du pouvoir, la déshumanisation, les biais algorithmiques et les nouvelles formes d'exploitation, et demande des règles de transparence, de responsabilité et de gouvernance démocratique des données et des plateformes. Il souligne les conséquences concrètes sur la vérité publique, l'éducation, le travail, la famille et la liberté personnelle, appelle à protéger les plus vulnérables contre le chômage, la dépendance numérique et la traite, et invite à repenser les indicateurs économiques au service du développement intégral. Enfin, l'appel est à une responsabilité partagée pour construire une civilisation de l'amour par la conversion des cœurs, la diplomatie et le multilatéralisme, l'éducation, la prière et des pratiques publiques qui orientent la technologie vers le bien commun.

www.vatican.va Resume pret HTTP 200 Commentaires