Selon le Wall Street Journal, le board de Nvidia se prépare à évincer son fondateur et CEO de 33 ans. Le board s’est réuni mercredi, et l’action a perdu plus de 7 % after hours. Cela fait suite à l’aveu d’une liaison avec une femme que le renseignement américain considère comme une espionne chinoise, puis aux révélations du New York Times sur une seconde relation avec Kimberly Powell, VP healthcare qui lui reporte directement. Selon Bloomberg, un cabinet externe cherche déjà des remplaçants, et selon Semafor, une partie du board pencherait pour la CFO Colette Kress comme CEO par intérim. Ars Technica indique que le FBI enquête.
Pourquoi ça compteLe fournisseur quasi exclusif des GPU qui font tourner l’IA mondiale pourrait perdre son patron du jour au lendemain, sans plan de succession. Les contrôles à l’export vers la Chine reviennent aussi sous les projecteurs.
SourcesThe VergeArs TechnicaTechCrunchTechmemeHN, 677 points
AWS sort AWS Emulator, un outil gratuit qui simule plus de 200 services AWS en local. AWS affirme que ses ingénieurs n’ont ni écrit ni relu une seule ligne du code, entièrement produit par des agents IA, et en fait un argument de vente. Un billet sur All Things Distributed développe ce que devient le métier d’ingénieur quand les agents écrivent le code.
Pourquoi ça compteUn émulateur AWS officiel et gratuit, c’est une bonne nouvelle pour les tests et la CI. Le « personne n’a relu » mérite par contre qu’on lise le code avant de lui confier son pipeline.
SourcesGitHubAll Things DistributedTechmemeHN, 739 points
Avec AlphaProof Code, Google DeepMind a vérifié mathématiquement le cœur cryptographique de Signal en quatre semaines, un travail qui prend habituellement des années. Selon The Decoder, les agents, propulsés par Gemini Carbon, ont écrit plus de six millions de lignes de preuve et n’en ont signalé qu’environ 1 % pour relecture humaine. Numerama parle de 80 agents et d’une première pour un logiciel aussi déployé, avec des limites à garder en tête. DeepMind veut étendre la méthode aux réseaux électriques et aux dispositifs médicaux.
Pourquoi ça compteSi la vérification formelle devient une affaire de semaines, elle cesse d’être réservée aux projets académiques et pourrait entrer dans le cycle de vie du code critique.
SourcesNumeramaArs TechnicaThe Decoder
United Airlines va bloquer les assistants IA tiers qui réservent des billets pour le compte des voyageurs. La compagnie invoque la protection des données de ses clients et de possibles violations des règles de la FAA et du DOT. Elle reconnaît ne pas encore voir beaucoup de tentatives, mais ne veut pas « créer un intermédiaire de plus ».
Pourquoi ça compteC’est l’un des premiers grands acteurs à dire non aux agents qui agissent à votre place. Les agents « qui font tout pour vous » risquent de se heurter à pas mal de portes fermées.
SourcesCBS NewsThe VergeTechmemeHN, 452 points
La communauté Python annonce le décès de Tim Peters, survenu le 15 juillet. Il reste surtout connu pour le Zen of Python (PEP 20), mais l’auteur de l’hommage le décrit aussi comme un mentor et un co-concepteur du langage bien avant cela.
Pourquoi ça compteTapez import this ce matin. « Beautiful is better than ugly », c’était lui.
Sourcesdiscuss.python.orgHN, 953 pointsLobsters, 73 points