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

Microsoft met fin silencieusement au Surface Laptop Studio 2

2025-05-15
Microsoft met fin silencieusement au Surface Laptop Studio 2

Microsoft a cessé la production de son puissant ordinateur portable pliable, le Surface Laptop Studio 2. Cet ordinateur portable hybride, unique grâce à son GPU dédié, est discrètement abandonné, reflétant une rationalisation plus large de la gamme de matériel de Microsoft. Cette décision fait suite à de récents licenciements, au départ de l'ancien responsable de Surface, Panos Panay, et à un changement d'orientation vers l'IA et les produits phares. Bien qu'apprécié pour ses performances et son design, le prix élevé et le GPU relativement peu puissant du Surface Laptop Studio 2 ont peut-être limité son succès.

Lire plus
(www.tomshardware.com)
Matériel

Pièges de la comparaison en virgule flottante : ce que vous devez savoir

2025-05-15
Pièges de la comparaison en virgule flottante : ce que vous devez savoir

Cet article explore les complexités de la comparaison des nombres à virgule flottante. L’auteur souligne la fiabilité douteuse des vérifications d’égalité simples en raison des limitations inhérentes de précision et des erreurs d’arrondi cumulées. Deux méthodes de comparaison sont détaillées : l’erreur relative (epsilon) et l’ULP (Unités dans le dernier emplacement), ainsi que leurs forces et faiblesses. L’article met l’accent sur l’échec des comparaisons d’erreur relative près de zéro, proposant une solution combinant l’erreur absolue. Un exemple convaincant utilisant `sin(π)` illustre l’annulation catastrophique et comment les erreurs de représentation en virgule flottante peuvent améliorer la précision de π.

Lire plus
(randomascii.wordpress.com)
Développement précision

Easel : Le développement de jeux multijoueurs simplifié

2025-05-15
Easel : Le développement de jeux multijoueurs simplifié

Easel est un langage de programmation 2D qui simplifie le développement de jeux multijoueurs au niveau des jeux solo. Que vous soyez débutant ou développeur expert, vous allez adorer créer des jeux avec Easel ! Son langage de programmation hiérarchique, son modèle de comportements et son style réactif permettent d'exprimer une logique de jeu complexe de manière étonnamment simple. Easel gère automatiquement les complexités du réseau et de la synchronisation, incluant même une implémentation avancée de netcode de rollback pour une expérience multijoueur fluide. Un système complet de développement de jeux 2D, des graphismes et de l'audio à la physique et à l'interface utilisateur, Easel offre un éditeur en ligne et l'hébergement de serveur pour une implémentation et un partage faciles.

Lire plus
(easel.games)
Jeux multijoueur

Piège d'initialisation en C++ : les subtilités de `=default`

2025-05-15

Cet article explore le monde déroutant de l'initialisation en C++. Un exemple simple révèle l'impact significatif de l'emplacement de `=default` sur l'initialisation des membres d'une structure : les membres de structure avec `=default` dans la déclaration sont initialisés à zéro (valeur 0), tandis que ceux avec `=default` dans la définition ont des valeurs indéterminées, conduisant à un comportement indéfini s'ils sont lus. L'article explique en détail les différences entre l'initialisation par défaut, l'initialisation par valeur et l'initialisation à zéro, et souligne l'importance d'initialiser explicitement les variables pour éviter les bogues potentiels et les risques de sécurité.

Lire plus
(blog.tartanllama.xyz)
Développement Initialisation Comportement Indéfini

L'IA Claude d'Anthropic génère une citation erronée dans un procès pour droits d'auteur

2025-05-15
L'IA Claude d'Anthropic génère une citation erronée dans un procès pour droits d'auteur

Dans une bataille juridique en cours avec des éditeurs de musique, un avocat représentant Anthropic a admis avoir utilisé une citation erronée générée par le chatbot Claude de la société. La citation, avec un titre et des auteurs inexacts, n'a pas été détectée par la vérification manuelle d'Anthropic. Anthropic s'est excusé, qualifiant cela d'«erreur honnête», et non d'une fabrication. Cet incident souligne les risques de l'utilisation de l'IA dans les contextes juridiques et accroît les préoccupations croissantes concernant les questions de droits d'auteur dans l'IA générative. Des incidents similaires impliquant des recherches juridiques générées par l'IA ont eu lieu récemment, mais les startups de technologie juridique basées sur l'IA continuent d'attirer des investissements massifs.

Lire plus
(techcrunch.com)
Technologie Risques juridiques de l'IA Litiges sur les droits d'auteur

Google améliore la productivité des développeurs grâce à la complétion de code sémantique hybride ML

2025-05-15
Google améliore la productivité des développeurs grâce à la complétion de code sémantique hybride ML

Des chercheurs de Google ont développé un nouveau système de complétion de code sémantique hybride basé sur Transformer, combinant l'apprentissage automatique (ML) et des moteurs sémantiques basés sur des règles (SE) pour améliorer significativement la productivité des développeurs. Le système intègre ML et SE de trois manières : 1) reclasser les suggestions de jetons uniques de SE à l'aide de ML ; 2) appliquer des complétions de lignes uniques et multiples à l'aide de ML et vérifier l'exactitude avec SE ; et 3) utiliser la continuation de lignes uniques et multiples par ML de suggestions sémantiques de jetons uniques. Une étude de trois mois menée auprès de plus de 10 000 développeurs internes de Google a montré une réduction de 6 % du temps d'itération de codage avec la complétion ML d'une seule ligne. Actuellement, plus de 3 % du nouveau code est généré en acceptant les suggestions de complétion ML. Le système prend en charge huit langages de programmation et intègre des vérifications sémantiques pour garantir l'exactitude du code, augmentant ainsi considérablement la confiance et l'efficacité des développeurs.

Lire plus
(research.google)
Développement

Vérification d'année bissextile en trois instructions

2025-05-15

Cet article présente un algorithme étonnamment efficace pour déterminer si une année (0 ≤ y ≤ 102499) est bissextile en utilisant seulement environ trois instructions CPU. Il utilise la manipulation de bits et des nombres magiques soigneusement choisis pour transformer les règles complexes des années bissextiles en une simple opération arithmétique et une comparaison. L'auteur explique méticuleusement la dérivation de l'algorithme, en le comparant aux méthodes traditionnelles et en soulignant son avantage de vitesse significatif. Bien qu'il soit légèrement plus lent dans les cas extrêmes, son efficacité dans les applications pratiques est impressionnante.

Lire plus
(hueffner.de)
Développement année bissextile

Les LLM sont-ils en train de tuer Stack Overflow ?

2025-05-15

Stack Overflow, le paradis des programmeurs, fait face à une crise sans précédent. L'article révèle un déclin constant du nombre de questions posées depuis 2014, dramatiquement accéléré par l'arrivée de ChatGPT. La plateforme, qui a autrefois été une bouée de sauvetage pour d'innombrables développeurs, voit désormais le volume de questions chuter à des niveaux jamais vus depuis 2009. Bien que des politiques de modération plus strictes et l'essor des LLM aient probablement contribué, l'avancement rapide de l'IA est indéniablement en train de remodeler la façon dont les développeurs cherchent de l'aide.

Lire plus
(blog.pragmaticengineer.com)
Développement

Au-delà de REST : pourquoi la synchronisation d’état est l’avenir des applications web

2025-05-15

Lors de la construction d’applications web avec React, Typescript et un backend REST Rust/Axum, l’auteur a rencontré des difficultés importantes avec l’approche de transfert d’état de REST pour ce qui est essentiellement des problèmes de synchronisation d’état. À l’aide d’un exemple simple de champ de texte, l’article met en évidence des problèmes tels que les conditions de concurrence des requêtes concurrentes, des indicateurs de chargement imprécis et des incohérences entre plusieurs instances de l’application. L’auteur plaide en faveur d’un passage à des protocoles de synchronisation d’état, tels que ceux basés sur les CRDT, afin d’améliorer l’efficacité et d’éliminer les bogues courants liés à REST.

Lire plus
(www.mbid.me)
Développement Synchronisation d’état

Le désastre des points de Curl : deux CVE et une poursuite sans fin

2025-05-15
Le désastre des points de Curl : deux CVE et une poursuite sans fin

L’équipe Curl a eu une lutte persistante avec les points de suspension dans les noms d’hôtes des URL. Au début, ils les ignoraient, puis ils ont rétabli la prise en charge des sites Web nécessitant des points de suspension. Cependant, ce changement a introduit par inadvertance deux vulnérabilités de sécurité (CVE-2022-27779 et CVE-2022-30115) affectant respectivement la gestion des cookies et le mécanisme HSTS. Ces vulnérabilités provenaient d’une mauvaise gestion des points de suspension, entraînant des correspondances de domaine incorrectes. Curl 7.83.1 corrige ces problèmes, mais l’auteur soupçonne que ce n’est peut-être que le début d’une longue bataille.

Lire plus
(daniel.haxx.se)
Développement

La Renaissance des Technologies Anciennes et Légères : Simplicité et Confidentialité Réinventées

2025-05-15

Cet article explore le concept de « petite technologie », en soulignant sa compacité, sa facilité d’utilisation, sa confidentialité et son respect de l’environnement. Contrairement aux technologies surdimensionnées dominées par les grandes entreprises technologiques, la « petite technologie » défend la décentralisation, la communication pair à pair, les preuves à divulgation nulle de connaissance et une réévaluation des technologies plus anciennes, telles que UUCP, Gopher et Usenet. Ces technologies plus anciennes se caractérisent par leur faible consommation de ressources, leur facilité d’utilisation sur des appareils peu puissants, leur impact environnemental réduit et leur meilleure protection de la vie privée des utilisateurs. L’article présente également des projets modernes de « petite technologie », tels que NNCP et Gemini, ainsi que des organisations dédiées à l’éthique de la petite technologie, dans le but de promouvoir un retour à une technologie plus simple et axée sur la confidentialité.

Lire plus
(www.complete.org)
Technologie petite technologie vieille technologie

Telegram démantèle des marchés du cybercrime de 35 milliards de dollars

2025-05-15
Telegram démantèle des marchés du cybercrime de 35 milliards de dollars

Telegram a annoncé la fermeture de deux importants marchés du darknet, Xinbi Guarantee et Huione Guarantee, qui auraient généré plus de 35 milliards de dollars depuis 2021 pour des cybercriminels et des escrocs. Cela dépasse l'évaluation estimée à 3,4 milliards de dollars du tristement célèbre Silk Road. La fermeture, suite aux sanctions du Trésor américain contre le groupe Huione pour blanchiment d'argent, représente un coup dur pour les fraudeurs en ligne, coupant leur accès aux données volées, aux services de blanchiment d'argent et aux infrastructures de télécommunications. Cette action souligne une grande victoire dans la lutte mondiale contre la cybercriminalité.

Lire plus
(arstechnica.com)
Technologie marchés du darknet

Refactorisation de Clojure : création d’un générateur de texte Markov élégant

2025-05-15
Refactorisation de Clojure : création d’un générateur de texte Markov élégant

Cet article détaille la refactorisation d'un code Clojure qui génère un texte de Markov de premier ordre au niveau des mots. Au lieu de modifier directement le code original, l'auteur commence par caractériser son comportement à l'aide de tests complets. Le code refactorisé utilise des fonctions plus claires et une structure plus compréhensible, employant `reduce` et des appels de fonctions récursives pour une génération de texte efficace. Le résultat est une amélioration significative de la lisibilité et de la maintenabilité, tout en préservant les fonctionnalités d'origine.

Lire plus
(www.orsolabs.com)
Développement refactorisation chaîne de Markov

Journal de développement du logiciel audio Tengri : Aperçu des progrès récents

2025-05-15
Journal de développement du logiciel audio Tengri : Aperçu des progrès récents

L'équipe de développement du logiciel audio open source Tengri a récemment mis à jour son journal de projet GitHub, détaillant les activités depuis mai. Cela inclut une refonte importante de l'arrangeur, la réactivation de la prise en charge LV2, des améliorations du processus de build (comme les builds conteneurisés Docker), des mises à jour de la documentation et des corrections de bogues. Le journal reflète un processus de développement itératif, traitant activement les problèmes et montrant l'état de développement actif du projet.

Lire plus
(codeberg.org)
Développement logiciel audio

Au-delà de la sélection scalaire : traitement par lots des flux d’événements pour l’efficacité

2025-05-15

L'auteur décrit l'inefficacité de l'anti-pattern de sélection scalaire dans la conception de services avec état, illustré par un serveur LSP. Le traitement des événements un par un entraîne des retards et un gaspillage de ressources. La solution proposée consiste à traiter les flux d'événements par lots. Une fonction `batch_stream` fusionne les événements entrants en lots, améliorant ainsi considérablement l'efficacité. Sous faible charge, elle se comporte comme un traitement d'événements uniques, mais sous forte charge, elle réduit considérablement la surcharge, augmentant ainsi les performances.

Lire plus
(matklad.github.io)
Développement événements pilotés

L'efficacité étonnante d'une boucle d'agent LLM avec utilisation d'outils

2025-05-15

L'auteur et son équipe ont développé un assistant de programmation IA appelé Sketch, dont le cœur est une boucle étonnamment simple : le LLM reçoit l'entrée de l'utilisateur, effectue des actions (pouvant inclure des appels d'outils comme bash) et renvoie des résultats. Cette boucle simple, combinée à des LLMs puissants comme Claude 3.7 Sonnet, permet à Sketch de gérer efficacement de nombreuses tâches de programmation, telles que les opérations git, les modifications de code et la gestion des erreurs. L'auteur pense que cette approche de boucle d'agent LLM sera largement utilisée dans l'automatisation quotidienne, améliorant considérablement l'efficacité.

Lire plus
(sketch.dev)
Développement Assistant de programmation IA Boucle d'agent LLM Utilisation d'outils

Révolutionner la conception du Mac : une interview avec Jef Raskin

2025-05-15
Révolutionner la conception du Mac : une interview avec Jef Raskin

Cet entretien de 1986 met en vedette Jef Raskin, un concepteur précoce du Macintosh. Raskin critique vivement la conception complexe de l’interface utilisateur et partage sa philosophie derrière SwyftCard (une application Apple II). Le cœur de son approche repose sur l’« absence de modes » et la « monotonie » : chaque action a un seul résultat, et chaque résultat une seule action, favorisant ainsi les habitudes de l’utilisateur et l’efficacité. Il critique l’adoption finale par le Mac d’un système d’exploitation traditionnel et de la souris, arguant qu’une bonne conception d’interface utilisateur privilégie la vitesse et l’expérience utilisateur plutôt que la complexité technique. Les idées de Raskin restent pertinentes pour la conception moderne d’interfaces utilisateur.

Lire plus
(computeradsfromthepast.substack.com)
Design

L'Institut du Trente Septembre : Une Obsession Unique

2025-05-15
L'Institut du Trente Septembre : Une Obsession Unique

Cet article détaille le fascinant et singulier Institut du Trente Septembre, une institution basée à la Nouvelle-Orléans dédiée à l'archivage de tous les artefacts imaginables du 30 septembre 1939. Fondé par l'énigmatique Vincent Rosier, un entrepreneur multifacettes, la collection de l'Institut va des journaux et des journaux intimes aux menus et aux jouets pour enfants, en passant même par des données météorologiques et astronomiques. Bien que apparemment disparates, ces éléments fournissent des informations inestimables aux historiens, aux linguistes et aux sociologues, offrant un regard unique sur le temps et la mémoire. Le parcours de l'Institut n'est pas sans conflits internes et défis, notamment des débats sur son orientation et sa numérisation. Pourtant, son dévouement singulier attire des chercheurs du monde entier, faisant de lui un témoignage captivant de la curiosité humaine et de la préservation du passé.

Lire plus
(gwern.net)
Divers

Un Nouveau Paradigme pour la Psychologie : L’Esprit comme une Pile de Systèmes de Contrôle

2025-05-15
Un Nouveau Paradigme pour la Psychologie : L’Esprit comme une Pile de Systèmes de Contrôle

Cet article aborde le problème de longue date du manque de paradigme unificateur en psychologie, en proposant un nouveau cadre basé sur les systèmes de contrôle : la psychologie cybernétique. Il soutient que l’esprit est une collection de systèmes de contrôle, chacun régulant un besoin humain spécifique (par exemple, la nutrition, la température), les signaux d’erreur représentant les émotions. Cette approche offre une nouvelle perspective sur la personnalité et les maladies mentales, en déplaçant la psychologie des descriptions basées sur les symptômes vers l’exploration des mécanismes sous-jacents, ce qui pourrait révolutionner les approches thérapeutiques.

Lire plus
(www.experimental-history.com)
IA cybernétique

Revitaliser TLA⁺ : Appel à la contribution pour le développement d'outils

2025-05-15
Revitaliser TLA⁺ : Appel à la contribution pour le développement d'outils

L'événement communautaire TLA⁺ 2025 a mis en lumière l'état actuel et la direction future des outils TLA⁺. L'auteur soutient que la facilité de développement au sein de l'écosystème TLA⁺ est primordiale. Les analyseurs syntaxiques, interpréteurs et vérificateurs de modèles existants sont passés en revue, ainsi que les défis tels que le code hérité et les lacunes de documentation. Des stratégies pour surmonter ces obstacles incluent le développement piloté par les tests, l'intégration des développeurs et les subventions. Les orientations futures incluent les tests génératifs et la simplification de la syntaxe, aboutissant à un objectif ambitieux : porter le débit du TLC à 1 milliard d'états par minute.

Lire plus
(ahelwer.ca)
Développement

Construction navale de la marine américaine : plaidoyer pour des conceptions plus simples

2025-05-15
Construction navale de la marine américaine : plaidoyer pour des conceptions plus simples

La construction navale de la marine américaine est en proie à des dépassements de coûts et à des retards de calendrier. Cette proposition de politique soutient que cela provient du recours de la marine à des conceptions de navires complexes et multirôles et à des processus de conception externalisés. Les auteurs recommandent un retour à des conceptions de navires plus simples et monofonctionnels et à des capacités de conception internes pour améliorer l'efficacité, réduire les coûts et, finalement, construire plus de navires pour moins cher. Des études de cas sur le porte-avions de classe Ford, le destroyer de classe Burke et le Littoral Combat Ship illustrent les problèmes liés aux conceptions complexes. La proposition propose des conceptions de navires alternatives et plus rentables, en se concentrant sur des capacités simplifiées et une production efficace.

Lire plus
(www.construction-physics.com)
Technologie Construction navale dépassements de coûts

NumPy : Une relation amour-haine avec la bibliothèque de tableaux de Python

2025-05-15
NumPy : Une relation amour-haine avec la bibliothèque de tableaux de Python

Cet article explore les points faibles de l'utilisation de NumPy, la bibliothèque de calcul de tableaux populaire de Python, lorsqu'il s'agit de tableaux multidimensionnels. Si NumPy excelle par sa simplicité et son efficacité pour les tableaux de faible dimension, son mécanisme de broadcasting et son indexation deviennent incroyablement complexes et difficiles à comprendre lorsqu'on s'attaque à des opérations multidimensionnelles plus complexes. L'auteur soutient que le problème principal de NumPy provient de son mécanisme de broadcasting qui remplace les index, ce qui entraîne une expressivité limitée. L'article utilise de multiples exemples pour mettre en évidence les difficultés de NumPy avec les calculs de tableaux complexes, en comparant les avantages et les inconvénients de l'utilisation de boucles et de np.einsum, exprimant finalement sa frustration envers NumPy et son souhait d'un langage de tableaux plus convivial.

Lire plus
(dynomight.net)
Développement tableaux multidimensionnels

Démythification de la concurrence en Ruby : processus, Ractors, threads et fibres

2025-05-15
Démythification de la concurrence en Ruby : processus, Ractors, threads et fibres

Ruby, connu pour son élégance et sa lisibilité, présente un modèle de concurrence qui peut être initialement déroutant. Cet article explore les quatre mécanismes de concurrence en Ruby : les processus, les Ractors, les threads et les fibres. Les processus offrent un isolement complet de la mémoire, idéal pour les tâches nécessitant une séparation absolue ; les Ractors, introduits en Ruby 3, permettent le parallélisme au sein d'un même processus, en utilisant le passage de messages pour éviter les conditions de concurrence ; les threads sont légers, mais limités par le GIL à la concurrence, et non au véritable parallélisme ; et les fibres, le mécanisme le plus léger, offrent un multitâche coopératif par la cession manuelle du contrôle. Des exemples de code et des explications claires éclaircissent les différences et les cas d'utilisation, offrant une compréhension complète du paysage complexe de la concurrence en Ruby.

Lire plus
(blog.papey.fr)
Développement

Les Livres Passerelles : Une Relation Ambivalente d'une Génération avec les Classiques Littéraires

2025-05-15
Les Livres Passerelles : Une Relation Ambivalente d'une Génération avec les Classiques Littéraires

Cet article explore le parcours personnel de l'auteur et une expérience générationnelle plus large avec un ensemble spécifique d'œuvres littéraires, souvent qualifiées de « canon bourgeois masculin blanc ». Ces livres, incluant des œuvres de Salinger, Vonnegut et Heller, ont initialement fourni un sentiment d'appartenance et de rébellion aux jeunes lecteurs, offrant une échappatoire à la banalité et un chemin vers l'autodécouverte intellectuelle. Cependant, en mûrissant, l'auteur a examiné de manière critique les défauts inhérents à ces livres, notamment la misogynie et le racisme, menant à une relation complexe et ambivalente. Grâce à des enquêtes et des réflexions personnelles, l'auteur étudie l'impact durable de ces livres et leurs limites dans le contexte contemporain, se demandant s'ils servent de tremplins utiles vers d'autres littératures ou représentent une perspective limitée et, en fin de compte, problématique.

Lire plus
(thepointmag.com)
Divers Culture Jeunesse Rébellion

Navigateur bloquant le port 6000 ? Vulnérabilité de script interprotocole !

2025-05-15
Navigateur bloquant le port 6000 ? Vulnérabilité de script interprotocole !

Lors du travail sur un projet Docker et Flask, l'auteur a rencontré un problème d'inaccessibilité du port 6000, alors que le port 8000 fonctionnait correctement. L'enquête a révélé que les navigateurs bloquent activement certains ports, dont le 6000, comme mesure de sécurité contre les vulnérabilités de script interprotocole (XSS). Chrome affiche une erreur ERR_UNSAFE_PORT, Safari une page blanche, et Firefox un message plus informatif : « Cette adresse est restreinte ». Le navigateur annule les requêtes vers ces ports avant même leur envoi. L'auteur a confirmé le bon fonctionnement du serveur à l'aide de curl, isolant ainsi le problème aux politiques de sécurité du navigateur. L'article liste les ports bloqués par Firefox et leurs services, expliquant le fonctionnement de cette protection.

Lire plus
(www.keenformatics.com)
Développement Sécurité du navigateur

Shaders d'assemblage ARB : Une plongée profonde avant GLSL

2025-05-15
Shaders d'assemblage ARB : Une plongée profonde avant GLSL

Cet article explore en détail les shaders d'assemblage ARB, un langage de shading utilisé dans OpenGL avant l'arrivée de GLSL. Il décrit l'intégration des shaders ARB, les caractéristiques du langage, les jeux d'instructions et les comparaisons avec GLSL. Bien qu'obsolète aujourd'hui, la compréhension de l'assemblage ARB offre un aperçu précieux de l'évolution de la programmation graphique moderne et des mécanismes sous-jacents des technologies graphiques de bas niveau.

Lire plus
(mid.net.ua)
Développement

Instacar contourne le système de paiement d'Apple, suscitant la controverse

2025-05-15
Instacar contourne le système de paiement d'Apple, suscitant la controverse

L'application Instacar, indisponible sur l'App Store américain, affiche un avertissement sur l'App Store européen pour l'utilisation d'un système de paiement externe, contournant le système de paiement privé et sécurisé d'Apple. L'article soutient que la compréhension d'Apple concernant les paiements en ligne est naïve, s'accrochant à l'idée dépassée que la sécurité de son système est un avantage unique. Cela ignore le fait que les plateformes de paiement en ligne courantes, telles que Stripe et Amazon, offrent déjà des transactions sécurisées et privées.

Lire plus
(daringfireball.net)
Technologie Système de Paiement

Nouvelle limite inférieure pour la masse de la matière noire bosonique ultralégère

2025-05-15
Nouvelle limite inférieure pour la masse de la matière noire bosonique ultralégère

Une nouvelle étude publiée dans Physical Review Letters établit une nouvelle limite inférieure pour la masse des particules de matière noire bosonique ultralégère. En analysant la cinématique stellaire de la galaxie naine Leo II, les chercheurs ont reconstitué la densité de la fonction d'onde de la matière noire. Ils ont découvert que les particules de matière noire plus légères que 2,2 × 10⁻²¹ électronvolts ne peuvent pas reproduire la distribution de densité de matière noire observée. Cela améliore significativement la limite inférieure de la masse de la matière noire et remet en question les modèles populaires de matière noire floue.

Lire plus
(phys.org)
Technologie

Percée dans la coloration de graphe : algorithme presque optimal atteint

2025-05-15
Percée dans la coloration de graphe : algorithme presque optimal atteint

Imaginez la complexité de la gestion du trafic aérien à l'aéroport de Newark. Pour éviter les collisions, les chercheurs modélisent le problème comme un problème de coloration de graphe : chaque trajectoire de vol est une ligne, chaque emplacement un point. Pendant des décennies, les progrès sur les algorithmes efficaces ont été lents. Mais récemment, une percée : un algorithme de temps quasi linéaire, presque aussi rapide que théoriquement possible, offrant de nouvelles possibilités pour le contrôle du trafic aérien et d'autres applications. Cela résout un problème vieux de plusieurs décennies, une véritable étape.

Lire plus
(www.quantamagazine.org)
Développement coloration de graphe

La crise de la reproductibilité : comment les mutations génomiques dans les organismes modèles faussent les résultats

2025-05-15
La crise de la reproductibilité : comment les mutations génomiques dans les organismes modèles faussent les résultats

Une nouvelle étude révèle que les génomes des modèles animaux de laboratoire accumulent des mutations au fil du temps, ce qui contribue de manière significative à la crise de la reproductibilité dans la recherche scientifique. Les chercheurs ont découvert que les animaux modèles courants, tels que les souris, acquièrent de nouvelles mutations à chaque génération, ce qui peut altérer la régulation des gènes et avoir un impact sur les résultats expérimentaux. Bien que certains laboratoires tentent d'atténuer ce problème par la cryoconservation d'embryons, ce n'est pas une solution complète. Pour améliorer la reproductibilité, les scientifiques ont besoin d'un séquençage génomique plus fréquent des organismes modèles et d'une meilleure compréhension des différences de régulation des gènes afin de mieux contrôler les variables expérimentales.

Lire plus
(www.asimov.press)
Technologie mutations génomiques crise de reproductibilité organismes modèles
1 2 … 234 235 236 238 240 241 242 … 595 596