Mistral AI lance Leanstral 1.5, l'IA gratuite qui vérifie l'exactitude de votre code, un modèle d'agent de code Lean 4 open source capable de résoudre 587 des 672 problèmes du PutnamBench Un modèle d'agent de code conçu pour Lean 4, disponibles sous licence Apache 2.0. L'architecture est de type « mixture-of-experts », ou MoE. Un modèle MoE achemine chaque token vers quelques sous-réseaux spécialisés. Cela permet de limiter la charge de calcul tout en conservant une grande capacité totale. Leanstral 1.5 résout 587 des 672 problèmes du PutnamBench et établit de nouveaux records de 87 % sur FATE-H et de 34 % sur FATE-X 3 commentaires
GLM-5.2 de la start-up chinoise spécialisée dans l'IA Z.ai est désormais capable de rivaliser avec Claude Mythos en matière de détection de failles de sécurité logicielle GLM-5.2 est désormais capable de rivaliser avec Mythos pour détecter des failles de sécurité logicielles. Ce modèle est également open source, ce qui signifie que n'importe qui peut le télécharger, le modifier et l'exécuter sur son propre matériel sans dépendre d'un fournisseur de services cloud. Cette flexibilité le rend attractif pour les entreprises, mais elle soulève également des inquiétudes quant à la possibilité que des cybercriminels puissent l'adapter à des fins offensives 1 commentaire
Le moteur de jeux vidéo Unity est disponible en version 6 : une nouvelle version stable apportant de nombreuses améliorations de performance 0 11/2024
La version 5.5 du moteur de jeux vidéo Unreal Engine est disponible, MegaLights, le Nanite des lumières arrive en version expérimentale 0 11/2024
Meta prévoit de construire un câble sous-marin de 40 000 km qui couvrira le monde entier pour 10 milliards de dollars, vers une innovation technologique ou une dépendance accrue aux géants du numérique ? 64 11/2024
Le marché de l'informatique quantique devrait croître de 30 % par an, mais l'engouement initial commençant à s'estomper, les investisseurs exigeront de plus en plus la démonstration des avantages pratiques 21 11/2024
Alibaba lance le modèle QwQ-32B-Preview axé sur le raisonnement qui surclasse les modèles o1 d'OpenAI dans les tests mathématiques, mais peut rester bloqué dans de longs raisonnements sans réponse concluante 0 11/2024
Bootkitty, le premier kit de démarrage UEFI pour Linux, qui ne peut pas encore être utilisé, mais qui pourrait annoncer l'apparition d'un logiciel malveillant UEFI pour Linux 1 11/2024
Un sénateur australien qualifie les principaux acteurs du secteur de l'IA de « pirates » qui pillent les données et la culture, il réclame des lois pour protéger les moyens de subsistance des créateurs 0 11/2024
Microsoft présente les mises à jour pour les développeurs C++ dans Visual Studio 2022 17.12, notamment des améliorations dans C++ Build Insights pour une meilleure qualité de vie 8 11/2024
L'Australie interdit aux moins de 16 ans d'utiliser les médias sociaux, après que le Sénat a approuvé la loi la plus stricte au monde, les contrevenants risquent une amende jusqu'à 30 millions d'euros 56 11/2024
Elon Musk se proclame propriétaire de tous les comptes X/Twitter : un argument avancé pour bloquer le rachat d'Infowars, le média spécialisé dans les théories du complot dirigé par Alex Jones 1772 11/2024
Eric Schmidt prévient que les copines IA « parfaites » pourraient causer des problèmes aux jeunes hommes. Pour l'ancien PDG de Google, il faudra une catastrophe pour provoquer un changement de réglementation 78 11/2024
Donald Trump pourrait donner à la Commodity Futures Trading Commission (CFTC) américaine des pouvoirs pour diriger la réglementation des cryptomonnaies 48 11/2024
La Chine séduit les talents IT occidentaux dans la course à la suprématie dans le domaine des puces électroniques, elle cible les employés ayant accès aux technologies sensibles et sophistiquées occidentales 5 11/2024
Raspberry Pi a lancé son module de calcul tant attendu, le CM5, un module système qui offre la puissance du Raspberry Pi 5 dans un format idéal pour les applications embarquées 0 11/2024
Ai2, l'organisation de recherche en IA à but non lucratif fondée par feu Paul Allen, cofondateur de Microsoft, a publié OLMo 2, "le meilleur modèle de langage entièrement open-source à ce jour" 0 11/2024
Google commence à insérer des liens de recherche dans les pages web grâce à la fonction "Annotation de page", ce qui éloigne les internautes du site d'origine pour les amener à la recherche 1 11/2024
La FTC lance une vaste enquête antitrust sur Microsoft après des plaintes selon lesquelles l'entreprise verrouille ses clients dans son cloud Azure, la FTC va examiner les conditions de licence de Microsoft 359 11/2024
Un logiciel malveillant peut éteindre la LED de la webcam et enregistrer des vidéos à votre insu, comme l'a démontré un chercheur sur le ThinkPad X230 5 11/2024
La vente forcée de Chrome pourrait rapporter jusqu'à 20 milliards de dollars si le juge donne son accord, mais Google s'y oppose et affirme que l'opération pourrait ruiner l'expérience des consommateurs 359 11/2024
Les enquêteurs affirment que l'équipage d'un navire chinois a délibérément tiré sur son ancre pour couper des câbles de données sous-marins. Les services secrets russes sont soupçonnés d'en être à l'origine 64 11/2024
Donald Trump envisage un "tsar de l'IA" pour travailler avec Elon Musk : la personne nommée serait chargée de maintenir l'avance de l'Amérique en matière d'IA et d'améliorer l'efficacité du gouvernement 167 11/2024
Le service par satellite Direct to Cell de Starlink est le premier à recevoir l'approbation de la FCC, ce qui permettrait d'éliminer les « zones mortes » du service cellulaire 6 11/2024
Le gouvernement français a fait une offre de 1,125 milliard d'euros pour les activités de calcul haute performance (HPC), d'IA et quantique de l'entreprise en difficulté Atos 15 11/2024
Deno contre Oracle : Deno a déposé une demande d'annulation de la marque JavaScript d'Oracle, Oracle a jusqu'au 4 janvier 2025 pour agir, sinon la marque sera probablement annulée 17 11/2024
Agile est-il mort ? Pour un ingénieur «Le développement "agile" avec lequel nous sommes coincés aujourd'hui est une blague», il souligne ses dysfonctionnements dans les processus de développement en entreprise 146 11/2024
La montée en puissance de Blue Sky semble inquiéter la Chine qui a investi beaucoup d'argent pour asseoir son influence sur X, la popularité croissante de Blue Sky menace de diluer ces investissements 89 11/2024
OpenAI reproche au NYT un problème technique qui a effacé les preuves potentielles d'abus de droits d'auteur par ChatGPT et rejette toute intention malveillante 162 11/2024
Tesla cherche à recruter une équipe pour contrôler à distance ses robotaxis, les voitures « entièrement autonomes » d'Elon Musk, comme d'autres robotaxis, s'appuieront sur des pilotes humains à distance 38 11/2024
Une étude révèle que 69 % des demandeurs d'emploi doutent des gains de productivité promis par l'IA, mettant en évidence des perceptions mitigées quant à l'impact de l'IA sur le lieu de travail 164 11/2024
Google, Opera, Vivaldi et plusieurs autres entreprises se sont unies pour former la Browser Choice Alliance, alléguant que Microsoft restreint les options des navigateurs web sur Windows 1 11/2024
Le géant chinois des smartphones Huawei annonce que son nouveau téléphone Mate 70 sera le premier à abandonner toute trace d'Android, au profit d'HarmonyOS Next, une solution entièrement développée en interne 56 11/2024
Neuralink commence à tester un bras robotisé qui peut être contrôlé par l'esprit : un dispositif Neuralink implanté dans le cerveau permet aux personnes paralysées de le contrôler sans mouvement 414 11/2024
Des artistes ont fait fuiter l'outil d'IA vidéo Sora 2 d'OpenAI en signe de protestation, accusant l'éditeur de ChatGPT de les utiliser comme des « marionnettes de relations publiques » sans les rémunérer 30 11/2024
Microsoft présente les nouvelles fonctionnalités réclamées par les utilisateurs dans Visual Studio v17.12, pour rendre les développeurs plus productifs 8 11/2024
Les deux factions du C++ : la communauté est divisée entre ceux qui souhaitent un C++ moderne avec un meilleur outillage intégré et ceux qui veulent conserver le langage hérité 3 11/2024
Anthropic rend open-source le Model Context Protocol (MCP) pour l'intégration de l'IA avec une connectivité universelle des données, pour des applications plus intelligentes, contextuelles et évolutives 3 11/2024
Plus de 20 modifications apportées à Google Search : comment Google tente de s'adapter pour être conforme à la loi européenne sur les marchés numériques (Digital Markets Act, DMA) 288 11/2024
L'administration Biden réduit de plus de 600 millions de dollars la subvention accordée à Intel dans le cadre du CHIPS Act, en citant un contrat militaire de 3 milliards de dollars qu'Intel a également obtenu 308 11/2024
Anthropic affirme que son IA Claude peut s'adapter à votre style d'écriture unique en ajoutant des styles personnalisés qui permettront aux utilisateurs de mieux contrôler le chatbot 3 11/2024
Présentation de la fonctionnalité Override Pages et de l'API d'utilisation des favoris dans Google Chrome, par Sylvain Dangin 0 01/2010
Concevoir et déployer ses sites web avec Drupal de Yoran Brault, Daniel Caillibaud critiqué par Gérard Ernaelsten et Olivier Van Hoof 2 01/2010
Introduction à MIDlet Pascal, compilateur pour téléphones mobiles, par Darryl Kpizingui et Jules Akakpo-Toulan 1 01/2010
Présentation de la programmation logique en C++ avec Castor, par Roshan Naik, traduction de David Côme 0 01/2010
Livre francophone Java : Apache Maven par Nicolas De Loof et Arnaud Héritier, critique de Romain Linsolas 29 12/2009
Tutoriel Outils Java : Intégration continue de projets Maven 2 avec Continuum, par Régis Pouiller 1 12/2009
Noël est à vos portes : 10 nouveaux articles de Qt Quarterly, le trimestriel Qt, ont été traduits 14 12/2009
Interfaces Graphiques en Java : Création de tableaux dynamiques avec Swing, par Baptiste Wicht 40 12/2009
Comment utiliser les espaces de noms en PHP partie 1 : les bases, par Craig Buckler traduit par Joris Crozier 2 12/2009
Livre : Ma méthode en 7 points avec Photoshop CS3, de Scott Kelby, critique par nico-pyright(c) 1 12/2009
Tutoriel Java : Audit de performances avec YourKit Java Profiler, par Antonio Gomes Rodrigues 1 12/2009
Productivité en Développement Web : Analyse de la nouvelle génération de frameworks Java révolutionnaires, un livre blanc par Aurélien Maury 1 12/2009
Livre : Guide du calcul avec les logiciels libres, de Guillaume Connan, Stéphane Grognet, critique hiko-seijuro 0 12/2009
Utiliser les content scripts pour modifier les pages internet dans Google Chrome grâce au CSS et Javascript, par Sylvain Dangin 1 12/2009
Outil de build Java : Présentation des nouveautés attendues pour Maven 3, par Romain Linsolas 2 12/2009
Écrire des programmes performants en Java - considérations générales, par Ibrahim Moukouop Nguena 31 12/2009
Les bonnes pratiques en PHP : les conventions de nommage de Wes Shell traduit par Joris Crozier 4 12/2009
Java 7 : Projet lambda (Straw-Man Proposal) pour les closures et notion de méthodes d'extension, par Frédéric Martini -1 12/2009
