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
Intel dévoile ses résultats du deuxième trimestre 2021. Avec des revenus qui passent à 18,5 milliards de dollars, l'entreprise bat les prévisions des analystes 10 07/2021
Un responsable catholique US poussé à la démission après avoir été trahi par ses données « anonymes » d'utilisation de l'application de rencontres gays Grindr, l'anonymat en ligne existe-t-il ? 10 07/2021
Le kit de développement de jeux (GDK) de Microsoft est désormais disponible gratuitement sur GitHub, l'entreprise intensifie ses efforts pour attirer davantage de développeurs sur l'écosystème Xbox 1 07/2021
Palmarès des critiques de livres les plus prolifiques du premier semestre 2021 sur developpez.com 0 07/2021
36 % des entreprises ont subi une grave fuite de données ou une violation de la sécurité du cloud au cours des 12 derniers mois, selon une enquête menée par Fugue et Sonatype 0 07/2021
Tout le monde cite l'étude : « les bogues sont 100 fois plus chers à corriger en production », mais il se peut que l'étude n'existe même pas 7 07/2021
Les économistes pensent que des batailles sont à venir sur les avantages du travail à domicile, à l'avenir, les patrons pourraient exiger plus d'heures en échange du télétravail 10 07/2021
Framework Laptop, un produit facile à réparer et à mettre à niveau, est maintenant disponible, alors que la FTC met en garde contre les entraves au droit de réparation 10 07/2021
Le battage médiatique autour de l'informatique quantique, un schéma de Ponzi intellectuel ? Un professeur de physique quantique craint que cela ternisse l'image de la science 4 07/2021
E. Macron a changé son numéro après la découverte d'un de ses numéros sur la liste des cibles potentielles de Pegasus, Angela Merkel inquiète appelle à un encadrement des outils d'espionnage 85 07/2021
Les cinq principaux fournisseurs de cloud ont réalisé 47,5 milliards de dollars de recettes trimestrielles, Microsoft et Amazon ayant généré 65 % de ces recettes, d'après Stock Apps 2 07/2021
Specops Software a publié la dernière mise à jour de sa liste de protection de mots de passe piratés, cette version comprend notamment l'ajout de mots de passe observés dans des attaques réelles 07/2021
La FTC vote à l'unanimité pour faire respecter le droit à la réparation, suite à un décret de Biden exhortant l'agence à garantir les droits des consommateurs à réparer leurs propres appareils 30 07/2021
L'agence française de sécurité des SI avertit que les routeurs d'individus et d'entreprises sont les cibles d'attaques menées par APT31, un groupe de hackers qui serait soutenu par la Chine 0 07/2021
Jeff Bezos apprécie vos efforts qui lui ont permis de réaliser son rêve de voyager dans l'espace alors que les internautes ont comparé sa fusée à celle du méchant du film Austin Power 3 07/2021
DirectStorage n'est plus une exclusivité Windows 11. L'API d'amélioration de jeux sera également disponible sur Windows 10, mais l'équipe DirectX prévient que l'expérience sera moindre 1438 07/2021
Epic Games fait l'acquisition de Sketchfab, une plateforme de partage de modèles 3D, et annonce une réduction de la commission qui passe de 30 à 12 % sur la vitrine en ligne 0 07/2021
Le patron d'iFixit dénonce les grandes enseignes technologiques qui entravent le droit à la réparation, la FTC met en garde les fabricants contre de potentielles «restrictions de réparation illégales» 30 07/2021
« Trop, c'est trop » : NSO Group crie son ras-le-bol et annonce qu'il ne commentera plus les articles de presse, l'accusant d'avoir contribué à la surveillance d'hommes politiques et autres 85 07/2021
État de l'écosystème des développeurs C++ en 2021 : les standards les plus utilisés, les EDI et éditeurs les plus populaires, la gestion des bibliothèques tierces 0 07/2021
Mozilla a définitivement mis fin au support du protocole FTP avec la sortie de Firefox 90 pour éliminer les problèmes de sécurité qui lui sont liés, dont le transfert de données en texte clair 17 07/2021
Voici comment vérifier par vous-même la présence de l'espiogiciel Pegasus sur votre téléphone, à l'aide de l'outil MVT les signes du logiciel espion peuvent être détectés sur votre appareil 85 07/2021
Biden choisit un "ennemi" de Google pour diriger le département de la Justice en matière d'antitrust, alors qu'il prépare un plan pour démanteler la Big Tech 359 07/2021
Voici les carrières les plus demandées en cybersécurité vers lesquelles vous devriez vous tourner dans les 5 prochaines années, selon Burning Glass Technologies 2 07/2021
Google Chrome 92 est livré avec une détection de phishing « jusqu'à 50 fois plus rapide », grâce à des améliorations apportées à sa technologie de traitement d'image 0 07/2021
Salesforce finalise l'acquisition de Slack pour 27,7 milliards de dollars, le leader du CRM parie gros sur un avenir dans lequel le télétravail sera omniprésent 6 07/2021
Le Freedom Phone est en réalité un smartphone chinois à 120 dollars proposé à 500 $, le tout pour une solution discutable voire désastreuse 12 07/2021
Node-RED 2.0 est disponible, l'outil de développement basé sur les flux porte la version minimale de Node.js à la version 12, il ajoute un bouton d'injection rapide du nœud Inject 0 07/2021
JetBrains publie une mise à jour de Rider pour Unreal Engine avec d'importantes améliorations au débogueur 0 07/2021
Adobe va à la conquête des utilisateurs de Blender en rejoignant la fondation Blender et en rendant ses outils Substance 3D et Mixamo accessibles dans le logiciel de modélisation open source 1 07/2021
La Maison-Blanche estime que les médias sociaux doivent être tenus responsables de la diffusion de fausses informations sur leur plateforme, et elle y travaille 0 07/2021
Microsoft commence à déployer l'intégration de Teams pour un groupe d'Insiders sur Windows 11, mais pour le moment, ils ne pourront que se connecter et ajouter des contacts 1438 07/2021
Découvrez JetBrains Academy for Organizations, une version de sa plateforme d'apprentissage par projets axée sur les entreprises 0 07/2021
Torvalds veut un nouveau pilote NTFS dans le noyau et a choisi le pilote NTFS de Paragon Software 4 07/2021
L'UE envisage de rendre les transferts de bitcoins plus traçables, en exigeant la collecte d'informations sur le destinataire et l'expéditeur 9 07/2021
Pegasus : le logiciel espion aurait utilisé des exploits «sans clic» pour cibler des milliers d'iPhone, E. Macron, 14 ministres français et d'autres chefs d'État sur la liste des personnes ciblées 85 07/2021
