Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

La croissance de l'énergie propre en Chine entraîne une baisse sans précédent des émissions de CO2

2025-05-16
La croissance de l'énergie propre en Chine entraîne une baisse sans précédent des émissions de CO2

Une nouvelle analyse révèle que les émissions de CO2 de la Chine ont diminué de 1,6 % sur un an au premier trimestre 2025 et de 1 % au cours des 12 derniers mois. Cela est dû à la croissance de l'énergie éolienne, solaire et nucléaire, qui a dépassé la croissance de la demande d'électricité, entraînant une réduction de la production d'énergie au charbon. Malgré cela, les émissions restent légèrement inférieures au pic, et toute fluctuation à court terme pourrait entraîner une nouvelle hausse des émissions. La trajectoire future dépend fortement des objectifs d'énergie propre de la Chine dans son prochain plan quinquennal et de sa réponse économique à la politique commerciale américaine.

Lire plus
(www.carbonbrief.org)
Technologie émissions de carbone

La fonctionnalité IA obligatoire de Codecov inquiète les utilisateurs

2025-06-17
La fonctionnalité IA obligatoire de Codecov inquiète les utilisateurs

Une nouvelle fonctionnalité IA de Codecov inquiète les utilisateurs en raison de l'absence d'option de désactivation. Les utilisateurs craignent que Codecov n'entraîne illicitement des IA avec leur code ou n'insère du code illicite sans autorisation. Ils demandent un moyen clair et permanent de désactiver la fonctionnalité IA sur toutes leurs organisations et la garantie que l'IA ne sera pas utilisée pour l'analyse de couverture de code.

Lire plus
(github.com)
Développement

Apple Watch : Une fonction d’oxymétrie de pouls redessinée arrive aux États-Unis

2025-08-14
Apple Watch : Une fonction d’oxymétrie de pouls redessinée arrive aux États-Unis

Apple déploie une fonction d’oxymétrie de pouls redessinée pour certains utilisateurs d’Apple Watch Series 9, Series 10 et Apple Watch Ultra 2 aux États-Unis via une mise à jour iOS 18.6.1 et watchOS 11.6.1. Ceci fait suite à une décision récente des douanes américaines, permettant le traitement des données d’oxymétrie de pouls sur l’iPhone couplé et leur affichage dans la section Respiratoire de l’app Santé. La mise à jour n’affecte pas les Apple Watch achetées précédemment avec la fonction originale ni celles achetées en dehors des États-Unis.

Lire plus
(www.apple.com)
Technologie Oxymétrie de pouls

Dix ans avec Rust : réflexions et perspectives

2025-06-05
Dix ans avec Rust : réflexions et perspectives

Un fondateur qui a commencé à utiliser Rust un mois après la sortie de Rust 1.0 revient sur dix ans d'expérience dans la création de deux startups avec plus de 500 000 lignes de code Rust. L'article relate les défis initiaux, tels que la mauvaise compatibilité des versions, les temps de compilation longs et la courbe d'apprentissage abrupte, mais loue également les contributions exceptionnelles de la communauté Rust et souligne les progrès de Rust en termes de fiabilité et de performances. Envisageant l'avenir, l'auteur anticipe des améliorations significatives de la vitesse de compilation, de la portabilité, de l'évaluation constante et de la concurrence, ainsi qu'une adoption plus large dans des domaines tels que les navigateurs Web et le développement de jeux.

Lire plus
(tably.com)
Développement expérience de développement

L'utilité mal comprise de `font-size-adjust`

2025-07-26

Cet article remet en question l'idée fausse répandue concernant la propriété CSS `font-size-adjust`. L'auteur soutient que `font-size` spécifie la taille de la boîte autour d'un glyphe, et non le glyphe lui-même, ce qui conduit à des incohérences entre les différentes polices. Au lieu de se concentrer uniquement sur la substitution de polices, `font-size-adjust` peut être utilisé pour garantir une taille plus cohérente entre les différentes polices sur une page. L'auteur recommande de le définir sur `ex-height 0.53` dans une réinitialisation CSS pour une meilleure cohérence typographique.

Lire plus
(matklad.github.io)
Développement

Le débogage par IA est insuffisant : une étude de Microsoft révèle les limites des modèles de génération de code

2025-04-11
Le débogage par IA est insuffisant : une étude de Microsoft révèle les limites des modèles de génération de code

Des recherches de Microsoft révèlent que même les modèles des meilleurs laboratoires d’IA, tels qu’OpenAI et Anthropic, ont du mal à déboguer les bogues logiciels aussi efficacement que les développeurs expérimentés. Une étude ayant testé neuf modèles a montré que, même avec des outils de débogage, ces modèles n’ont pas réussi à mener à bien plus de la moitié des tâches de débogage dans le benchmark SWE-bench Lite. L’étude met en avant la rareté des données comme facteur principal ; les modèles manquent de données d’entraînement suffisantes représentant les processus de débogage humains. Bien que les outils de programmation assistée par IA soient prometteurs, cette recherche souligne les limites de l’IA dans le codage, soulignant que les humains restent essentiels.

Lire plus
(techcrunch.com)
Développement Débogage de code

1,5 Année de Programmation Assistée par l'IA : Réflexions et Leçons Tirées

2025-08-07
1,5 Année de Programmation Assistée par l'IA : Réflexions et Leçons Tirées

Cet article partage l'expérience de l'auteur sur 1,5 année d'utilisation de l'IA pour la programmation. L'IA excelle dans les tâches de codage répétitives, la refactorisation et les projets simples, mais peine avec les problèmes complexes et le développement nouveau, introduisant souvent des erreurs et des abstractions inefficaces. Les interfaces CLI s'avèrent plus efficaces que les IDE en raison d'un meilleur contrôle du développeur. L'IA aide dans la conception et l'écriture, mais le « vibe coding » (s'appuyer uniquement sur du code généré par l'IA) est déconseillé, car il entraîne une dette technique importante et des failles de sécurité. L'auteur conclut que les principaux bénéficiaires de l'IA ne sont pas les développeurs, mais les gestionnaires et les clients, facilitant une meilleure communication et collaboration. L'avenir de l'IA dans la programmation est prometteur, mais les entreprises ne doivent pas l'utiliser comme prétexte pour des licenciements.

Lire plus
(priver.dev)
Développement

RakuAST : Une réécriture herculéenne d'un frontend de compilateur

2025-04-16

Le projet RakuAST a entrepris une réécriture complète et une refonte du frontend du compilateur du langage de programmation Raku. L'auteur a abordé le projet en corrigeant systématiquement les tests d'échec des spécifications, un par un. Cela a impliqué de traiter les complexités de la syntaxe de Raku, y compris les méthodes privées, les méta-méthodes et les appels de méthodes hyper. Le plus grand obstacle a été le timing et le séquençage complexes nécessaires au sein du processus de compilation de Raku, nécessitant un contrôle précis de l'ordre de compilation des composants. Plus de 900 commits plus tard, le projet a atteint avec succès son objectif principal. De plus, il a initialisé le compilateur, permettant l'auto-compilation, ce qui a présenté d'autres défis dans la gestion des dépendances circulaires et les complexités de la vaste bibliothèque standard. Le succès du projet a été facilité par les contributions de plusieurs membres de la communauté.

Lire plus
(niner.name)
Développement

Revitaliser votre Mavericks : Donner une nouvelle vie à un vieux système

2025-08-21

Ce guide vous montre comment redonner vie à votre ancien système OS X Mavericks. Il implique un script simple pour mettre à jour le système, remplacer le navigateur obsolète par un Firefox moderne (Firefox Dynasty), utiliser Aqua Proxy pour résoudre les problèmes de compatibilité HTTPS, ajouter de nouveaux emojis et configurer des sauvegardes Time Machine. Le guide explique également aux utilisateurs comment supprimer les applications préinstallées indésirables telles que Chess, iTunes et iBooks pour une expérience personnalisée. L'ensemble du processus est simple, rendant votre système Mavericks plus fluide et plus adapté à vos besoins.

Lire plus
(mavericksforever.com)
Développement

Ne forcez pas les mathématiques : l’approche d’un père pour cultiver la curiosité mathématique

2025-04-19

Un père partage sa méthode pour développer l’amour de son fils pour les mathématiques sans le forcer. Il estime que les mathématiques doivent être une exploration amusante, et non une corvée. Grâce à des jeux, des histoires et des exemples de la vie quotidienne, il a aidé son fils à tomber naturellement amoureux des mathématiques, ce qui a donné lieu à une compréhension supérieure à la moyenne. L’article souligne l’importance de nourrir la motivation intrinsèque d’un enfant à apprendre plutôt que d’imposer des matières.

Lire plus
(blog.avocados.ovh)
Divers éducation parentale cultiver l’intérêt

La culture de la thérapie tue la personnalité

2025-07-07
La culture de la thérapie tue la personnalité

L'auteure soutient que l'influence omniprésente de la culture de la thérapie érode notre langage et notre compréhension de soi. Chaque trait de personnalité est présenté comme un problème à résoudre, ce qui conduit à un surdiagnostic et à la médicalisation des comportements humains normaux. Les jeunes, en particulier, intériorisent cela, considérant les problèmes de santé mentale comme des aspects définissants de leur identité. Cette surinterprétation, affirme l'article, nous prive du mystère et du romantisme des relations et de l'autodécouverte, laissant une génération anxieuse et malheureuse. L'auteure appelle à un retour à l'acceptation des aspects inexplicables de l'être humain.

Lire plus
(www.freyaindia.co.uk)
Divers culture de la thérapie

Superbloom : La frénésie technologique et le pouvoir incontrôlé des médias sociaux

2025-04-21
Superbloom : La frénésie technologique et le pouvoir incontrôlé des médias sociaux

Cette critique examine le nouveau livre de Nicholas Carr, *Superbloom*, en utilisant l'incident des coquelicots de Californie comme point de départ pour discuter des impacts négatifs de la technologie, en particulier des médias sociaux. Des premiers jours du télégraphe et du téléphone à la radio et à Internet, Carr examine l'évolution de la réglementation des médias américains, soulignant le manque de supervision efficace qui a conduit au pouvoir incontrôlé des médias sociaux et aux problèmes sociaux qui en résultent, tels que la surcharge d'informations, les violations de la vie privée et l'aliénation. L'auteur soutient que des mesures douces comme la « conception par friction » sont insuffisantes pour résoudre les problèmes, appelant à une intervention plus proactive et à une réflexion sur la technologie.

Lire plus
(hedgehogreview.com)
Technologie

Gridfinity : Le système d'atelier modulaire gratuit, open source et imprimable en 3D

2025-06-30

Gridfinity est un système de stockage d'atelier modulaire gratuit, open source et presque entièrement imprimable en 3D, conçu pour la productivité, l'organisation et la sécurité. Inspiré par le système de tri d'Alexander Chappell et les conceptions initiales de Zack Freedman, il est maintenant un projet communautaire florissant qui s'adapte constamment aux besoins des utilisateurs. Rejoignez la communauté et contribuez à ce système puissant et personnalisable !

Lire plus
(gridfinity.xyz)
Matériel stockage modulaire

Le Rêve à 125 Milliards de Dollars d'OpenAI : Un Signe Avant-Coureur d'une Bulle Technologique

2025-04-28
Le Rêve à 125 Milliards de Dollars d'OpenAI : Un Signe Avant-Coureur d'une Bulle Technologique

Cet article remet en question les projections de revenus d'OpenAI, affirmant que sa prévision de 125 milliards de dollars est excessivement optimiste et dépourvue de fondement réaliste. L'auteur souligne que les produits agents d'OpenAI sont immatures, et que ses projections de revenus reposent sur l'investissement massif de SoftBank et sur des "nouveaux produits" encore non développés. L'auteur critique l'optimisme aveugle des médias envers OpenAI et souligne que l'industrie de l'IA générative dans son ensemble est peu rentable, avec une taille de marché bien inférieure aux attentes. L'article analyse également le déclin de la fonctionnalité de recherche de Google et comment le battage médiatique autour de l'IA générative masque ses limites, et prédit que la bulle est sur le point d'éclater, ce qui pourrait entraîner des licenciements massifs et des bouleversements dans le secteur.

Lire plus
(www.wheresyoured.at)
Technologie Bulle Technologique

Claude 3.7 d'Anthropic : une IA de raisonnement propulsée par l'apprentissage par renforcement

2025-02-24
Claude 3.7 d'Anthropic : une IA de raisonnement propulsée par l'apprentissage par renforcement

Anthropic a lancé Claude 3.7, un modèle d'IA amélioré qui se distingue des modèles de langage volumineux (LLM) traditionnels en se concentrant sur la capacité de raisonnement. Entraîné grâce à l'apprentissage par renforcement, Claude 3.7 excelle dans la résolution de problèmes nécessitant un raisonnement étape par étape, notamment les défis de codage, surpassant les modèles d'OpenAI sur certains benchmarks. Cette avancée découle de données d'entraînement supplémentaires et d'optimisations pour les applications commerciales, telles que la rédaction de code et la réponse à des questions juridiques. Le lancement de Claude Code renforce encore sa praticité dans le codage assisté par IA, offrant un support robuste pour la planification de code complexe.

Lire plus
(www.wired.com)
IA

Lungy : Respirez pour plus de calme et de bien-être

2025-06-22
Lungy : Respirez pour plus de calme et de bien-être

Développée par des médecins et mise en avant par Mashable et TechCrunch, l'application Lungy est une application de respiration qui vous aide à vous détendre et à améliorer votre bien-être. Elle utilise le microphone de votre iPhone pour suivre votre respiration et propose des exercices interactifs. Avec plus de 100 000 utilisateurs dans plus de 40 pays, Lungy offre un retour d'information personnalisé et le suivi des progrès. Une version gratuite propose des exercices quotidiens, tandis que Lungy Deluxe débloque toutes les fonctionnalités et fournit des exercices et des rapports entièrement personnalisés. L'application privilégie la confidentialité et la sécurité des données des utilisateurs, en stockant toutes les données en toute sécurité sur votre appareil.

Lire plus
(apps.apple.com)
Santé exercices respiratoires

Une structure spirale dans le nuage d'Oort interne : une simulation révèle des découvertes inattendues

2025-06-05

De nouvelles simulations révèlent une structure spirale inattendue à l'intérieur du nuage d'Oort interne de notre système solaire. Les chercheurs ont utilisé des simulations haute résolution pour suivre des millions de petits corps dont les mouvements sont influencés à la fois par la dispersion planétaire et les marées galactiques. Les résultats montrent que le nuage d'Oort interne n'est pas distribué uniformément, mais plutôt un disque déformé présentant deux bras spiraux, conséquence directe des cycles de Kozai induits par les marées galactiques. Cette découverte offre de nouvelles perspectives sur la formation et l'évolution du nuage d'Oort et fournit de nouvelles cibles pour les observations futures.

Lire plus
(iopscience.iop.org)
Technologie nuage d'Oort structure spirale marées galactiques

Bedrock : un système informatique 8 bits compact et durable

2025-07-15

Bedrock est un système informatique compact et portable de 8 bits, conçu pour durer éternellement. Il ne s'agit pas d'un système informatique réel que vous pouvez tenir dans vos mains, mais d'une spécification qui décrit une interface pour tout type de dispositif informatique, vous permettant d'écrire des programmes qui fonctionneront sur n'importe quel dispositif sans avoir à vous soucier des particularités du matériel sous-jacent. Avec seulement 32 instructions et 12 périphériques, il est petit et facile à apprendre. Actuellement, les programmes peuvent fonctionner sous Windows, Linux, sur le Web et sur Nintendo DS. Des exemples de programmes incluent un programme de dessin d'art pixelisé, un jeu de Snake et une horloge de style four à micro-ondes. Bedrock est né d'une fourche de la machine virtuelle Uxn et de la pile de calcul Varvara, dans le but d'améliorer les performances sur les systèmes extrêmement limités en ressources.

Lire plus
(benbridle.com)
Développement ordinateur 8 bits

La puissance de calcul l'emporte : le nouveau paradigme du développement de l'IA

2025-03-23

Cet article explore une nouvelle tendance dans le développement de l'IA : la suprématie du calcul. L'auteur utilise des expériences personnelles et des analogies pour illustrer que les systèmes d'IA sur-ingénierisés sont comme des plantes méticuleusement entretenues qui luttent pour s'adapter aux environnements changeants, tandis que les systèmes d'IA basés sur une puissance de calcul à grande échelle, comme les plantes qui poussent naturellement, peuvent apprendre et s'adapter de manière autonome. En comparant les approches basées sur des règles, à puissance de calcul limitée et à grande échelle pour la construction de systèmes d'automatisation du service client, l'auteur démontre la supériorité de la solution à grande échelle. L'essor de l'apprentissage par renforcement (RL) confirme encore cette tendance, car il explore plusieurs solutions grâce à une puissance de calcul massive, obtenant des résultats qui surpassent la conception humaine. À l'avenir, le rôle des ingénieurs IA passera de la création d'algorithmes parfaits à la construction de systèmes capables d'exploiter efficacement des ressources informatiques massives.

Lire plus
(ankitmaloo.com)
IA Puissance de calcul

Le coût élevé et la complexité des journaux CT statiques : un débat sur la durabilité

2025-07-04

Cet article compare les coûts opérationnels et les complexités de deux implémentations de journaux CT : CompactLog et Sunlight. L'auteur démontre que l'architecture « servie directement depuis S3 » de Sunlight présente des coûts d'écriture (22,4x) et de lecture (500x) significativement plus élevés par rapport à CompactLog. De plus, Sunlight présente des vulnérabilités de sécurité (acceptant 32 espaces comme graine cryptographique), manque de mise en cache, est complexe à déployer et dispose d'une documentation médiocre, ce qui entraîne des coûts opérationnels élevés et des défis de maintenance. L'auteur critique la priorité accordée à la simplicité perçue par rapport à la durabilité et à la sécurité dans cette conception, plaidant pour l'inclusion de plus petits opérateurs et de moniteurs dans la configuration de l'écosystème CT afin d'éviter la consolidation du contrôle par les grandes entreprises ou les fournisseurs de cloud.

Lire plus
(groups.google.com)
Technologie coûts du cloud architecture des systèmes

Tarification de Trump : Target et Best Buy mettent en garde contre des augmentations de prix

2025-03-05
Tarification de Trump : Target et Best Buy mettent en garde contre des augmentations de prix

Target et Best Buy ont averti que les tarifs imposés par le président Trump sur le Mexique, le Canada et la Chine pourraient entraîner une hausse des prix dans leurs magasins dès cette semaine. Le PDG de Target, Brian Cornell, a déclaré que les consommateurs « verront probablement les prix augmenter dans les prochains jours », citant le Mexique comme une source importante de fruits et légumes en hiver. La PDG de Best Buy, Corie Barry, a fait écho à ce sentiment, notant que la Chine et le Mexique sont les principales sources de leurs produits et que des augmentations de prix sont « très probables ». Bien que le secrétaire au Commerce ait laissé entendre qu'il pourrait y avoir des compromis avec le Canada et le Mexique, l'impact des tarifs se fait déjà sentir, les consommateurs devant s'attendre à payer plus cher pour les biens.

Lire plus
(www.theverge.com)
Technologie vente au détail

In Memoriam Wirth : Plaidoyer pour un logiciel léger à l'ère des logiciels surdimensionnés

2025-05-07
In Memoriam Wirth : Plaidoyer pour un logiciel léger à l'ère des logiciels surdimensionnés

Cet article commémore le pionnier de l'informatique Niklaus Wirth et fait écho à son appel de 1995 pour un « logiciel léger ». Aujourd'hui, les logiciels ont gonflé à des millions de lignes de code, dépendant de milliers de bibliothèques externes, ce qui entraîne des vulnérabilités de sécurité généralisées. L'auteur soutient que ce n'est pas accidentel, mais une conséquence d'incitations économiques, citant la vulnérabilité d'Apple iMessage comme exemple des risques de sécurité liés à une complexité excessive. L'UE introduit des réglementations pour y remédier, et le projet Trifecta de l'auteur, une application fonctionnelle de partage d'images écrite en seulement 1600 lignes de code, démontre la faisabilité d'un logiciel léger, réfléchissant à la surdépendance et aux risques de sécurité dans le développement de logiciels modernes.

Lire plus
(spectrum.ieee.org)
Développement Logiciel léger

Médicaments pour le TDAH liés à une réduction du risque de suicide, d'abus de substances et de criminalité

2025-08-16
Médicaments pour le TDAH liés à une réduction du risque de suicide, d'abus de substances et de criminalité

Une étude d'émulation d'essai clinique cible utilisant des données du registre national suédois a révélé que les médicaments pour le TDAH étaient associés à des taux plus faibles de comportements suicidaires, d'abus de substances, d'accidents de transport et de criminalité sur deux ans. Bien que la réduction n'ait pas été statistiquement significative pour les premières blessures accidentelles, les événements récurrents des cinq résultats ont montré des diminutions significatives. Cette étude à grande échelle fournit des preuves convaincantes à l'appui des effets bénéfiques des médicaments pour le TDAH au-delà du soulagement des symptômes principaux.

Lire plus
(www.bmj.com)
Technologie Médicaments

La police du Maine s'excuse pour une photo de preuve modifiée par IA

2025-07-07
La police du Maine s'excuse pour une photo de preuve modifiée par IA

Le département de police de Westbrook, dans le Maine, a présenté ses excuses pour avoir partagé sur Facebook une photo de preuves de drogue modifiée par IA. Un agent a utilisé une application d'édition de photos pour ajouter l'écusson du département, modifiant involontairement les détails de l'image. La police a initialement nié avoir utilisé l'IA, puis l'a admis et a publié une comparaison côte à côte des photos originale et modifiée. L'incident souligne les défis posés par l'IA pour garantir l'authenticité des preuves.

Lire plus
(www.boston.com)
Technologie application de la loi preuves

Modélisation 3D Urbaine Plus Rapide et Moins Chère grâce au Gaussian Splatting

2025-05-26
Modélisation 3D Urbaine Plus Rapide et Moins Chère grâce au Gaussian Splatting

Des chercheurs de l'Université de Waterloo ont mis au point une méthode plus rapide et moins coûteuse pour créer des modèles 3D à grande échelle de zones urbaines. Leur système utilise le Gaussian splatting pour générer automatiquement des modèles 3D réalistes à partir de photographies aériennes 2D, telles que celles de Google Earth, éliminant ainsi le processus manuel long et fastidieux. Cette technologie trouve des applications dans l'urbanisme, la conception architecturale et la réalisation cinématographique, offrant des environnements urbains de haute qualité pour les films et aidant les urbanistes dans leurs projets de développement. L'équipe explore actuellement l'intégration de l'IA géo spatiale pour étendre les capacités du système à l'analyse du trafic, à l'évaluation du potentiel solaire, et bien plus encore.

Lire plus
(techxplore.com)
Technologie

Abandonnez WhatsApp, adoptez Signal : un impératif de confidentialité et d’éthique

2025-06-21
Abandonnez WhatsApp, adoptez Signal : un impératif de confidentialité et d’éthique

Cet article plaide fortement pour passer de WhatsApp à Signal, en détaillant les raisons. Les préoccupations concernant Meta (la société mère de WhatsApp) et les actions de Mark Zuckerberg, notamment le partage de données, la coopération avec les forces de l’ordre et l’ingérence électorale, soulèvent de sérieuses questions d’éthique et de confidentialité. En revanche, Signal privilégie la confidentialité des utilisateurs et a reçu l’aval de plusieurs organisations. L’article conclut en fournissant des étapes simples pour migrer de WhatsApp à Signal, incitant les utilisateurs à privilégier la confidentialité personnelle et un environnement en ligne plus éthique.

Lire plus
(greenstarsproject.org)
Divers

Mise à l'échelle des builds de conteneurs clients avec l'API Depot

2025-06-30
Mise à l'échelle des builds de conteneurs clients avec l'API Depot

De nombreuses plateformes SaaS doivent exécuter du code pour le compte de leurs clients, ce qui pose des défis pour la construction de conteneurs. Cet article montre comment construire des outils avec l'API Depot pour créer des environnements de build isolés pour une plateforme SaaS multi-locataire. À l'aide d'un client Go, vous pouvez créer des projets, gérer les caches de projets, récupérer les métriques de build et les journaux. L'API Depot utilise Buf.build, offrant des bibliothèques clientes pour plusieurs langages, ce qui facilite l'intégration dans les infrastructures existantes. L'article détaille la création, la suppression et la réinitialisation des caches de projets, la récupération des métriques de build et des détails des étapes, permettant en fin de compte une infrastructure de conteneurs clients évolutive et sécurisée.

Lire plus
(depot.dev)
Développement build de conteneurs

Une étudiante doctorante turque libérée après son arrestation pour avoir critiqué Israël

2025-05-11
Une étudiante doctorante turque libérée après son arrestation pour avoir critiqué Israël

Rümeysa Öztürk, une étudiante doctorante turque à l'université Tufts, a été libérée de la garde à vue de l'ICE après avoir été détenue pendant plus de six semaines. Son arrestation faisait suite à un éditorial qu'elle a écrit critiquant la réponse de son université à la guerre entre Israël et le Hamas. Un juge a estimé que son arrestation était une mesure de représailles et une violation de sa liberté d'expression, ordonnant sa libération immédiate. Bien qu'elle soit libérée, elle risque toujours d'être expulsée, ce qui a déclenché un débat sur le pouvoir du gouvernement d'arrêter et d'expulser des étrangers considérés comme des menaces pour la politique étrangère des États-Unis.

Lire plus
(www.npr.org)
Divers persécution politique

Sortie de Grok 4 : Puissant, mais des inquiétudes concernant la sécurité persistent

2025-07-11
Sortie de Grok 4 : Puissant, mais des inquiétudes concernant la sécurité persistent

xAI a publié Grok 4, un nouveau grand modèle linguistique doté d'une longueur de contexte plus importante (256 000 jetons) et de solides capacités de raisonnement, surpassant d'autres modèles sur les benchmarks. Cependant, son prédécesseur, Grok 3, a récemment suscité la controverse en raison d'une mise à jour de l'invite système qui a conduit à des résultats antisémites, soulevant des inquiétudes concernant la sécurité de Grok 4. Bien que Grok 4 soit proposé à un prix compétitif, l'absence de fiche descriptive du modèle et les événements négatifs entourant Grok 3 pourraient affecter la confiance des développeurs.

Lire plus
(simonwillison.net)
IA

Repenser les outils de suivi des bogues : une séparation des préoccupations

2025-03-10

Après des années d’utilisation de divers outils de suivi des bogues, l’auteur identifie une faille fondamentale dans leur représentation des données, source de frustrations récurrentes. Trois problèmes majeurs sont mis en évidence : un champ unifié « Version de correction » qui confond faits et projets ; un système à deux niveaux, État et Résolution, qui brouille la distinction entre la réalité du code et les intentions futures ; et la confusion entre les listes de bogues et les listes de tâches, ce qui pose des problèmes pour les tâches non liées aux bogues. L’auteur propose un principe de « séparation des préoccupations », suggérant une division en tables « faits » et « projets ». La table des faits enregistre les informations objectives sur les bogues (existence, version, gravité), tandis que la table des projets suit les intentions, les échéances et les priorités subjectives. Cette séparation simplifie le suivi des bogues, s’adapte mieux aux différents types de projets et permet même l’omission complète de la table des projets pour les projets axés uniquement sur la résolution des bogues.

Lire plus
(www.chiark.greenend.org.uk)
Développement Outil de suivi des bogues Modélisation des données
1 2 … 160 161 162 164 166 167 168 … 595 596