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

L'art informatique : une simple mode ou un outil de transformation ?

2025-06-03
L'art informatique : une simple mode ou un outil de transformation ?

Cet article critique l'idée de « l'art informatique » comme une simple tendance de mode manipulée par les marchands d'art. L'auteur soutient que l'utilisation des ordinateurs dans l'art ne doit pas se limiter à la production d'objets plus esthétiques, mais doit se concentrer sur son potentiel à révéler les réalités sociales, à améliorer la communication et à favoriser la compréhension. Plusieurs pistes de recherche sont proposées, telles que l'investigation de l'impact de la technologie sur les artistes et leurs œuvres, l'analyse des systèmes de signes des différents styles artistiques et l'examen du rôle de l'information esthétique dans des contextes sociaux plus larges. L'auteur estime que la véritable valeur des ordinateurs réside dans leur utilité en tant qu'outils au service de questions sociales plus importantes, plutôt que de devenir une autre tendance artistique répondant aux demandes du marché.

Lire plus
(dam.org)
Design art informatique tendances artistiques information esthétique

Forth minimaliste : repousser les limites de la taille d'un langage

2025-06-03

Cet article explore la taille minimale possible du cœur du langage Forth. Il présente plusieurs implémentations minimalistes de Forth, notamment PlanckForth (moins de 1000 octets), SmithForth (environ 1000 octets), sectorforth (512 octets) et milliForth (336 octets). Ces implémentations atteignent les fonctionnalités de base de Forth, y compris les compilateurs, avec des ensembles d'instructions extrêmement réduits. Le Forth à 3 instructions de Frank Sergeant pousse le concept à l'extrême, fonctionnant sur une puce Motorola MC68HC11 avec seulement 66 octets. Ces exemples remettent en question nos hypothèses sur la taille des langages de programmation et démontrent l'élégance de la conception des langages.

Lire plus
(ratfactor.com)
Développement Programmation minimaliste

Héritage de la Guerre froide : Une opération secrète de 17 ans pour sécuriser le plutonium au Kazakhstan

2025-06-03
Héritage de la Guerre froide : Une opération secrète de 17 ans pour sécuriser le plutonium au Kazakhstan

Dans la steppe désolée de l’est du Kazakhstan, l’Union soviétique a mené 456 essais nucléaires pendant la guerre froide. Après l’effondrement soviétique, des quantités importantes de déchets contenant du plutonium ont été abandonnées, représentant une grave menace pour la sécurité nucléaire. Des scientifiques américains, russes et kazakhs ont surmonté de nombreux obstacles lors d’une opération secrète de 17 ans et de 150 millions de dollars pour sceller avec succès ces déchets avec du béton spécial, éliminant ainsi un risque majeur pour la sécurité nucléaire. Cette opération démontre le potentiel de la coopération internationale en matière de sécurité nucléaire, tout en soulignant les incertitudes à long terme liées au manque de transparence.

Lire plus
(www.belfercenter.org)
Technologie héritage de la guerre froide

Écrire pour les gens intelligents : pourquoi votre public est jeune

2025-06-03

Cet essai explore la nature de l’écriture et son public cible. L’auteur soutient que les essais écrits pour des personnes intelligentes sur des sujets importants touchent principalement les jeunes, car les jeunes lecteurs sont plus facilement surpris et impactés par des idées nouvelles. L’article analyse les niveaux de connaissance du lecteur (importance, obtusité, expérience) pour expliquer ce phénomène, et observe que la motivation de l’auteur à écrire provient de sa curiosité personnelle, et non de l’âge de ses lecteurs.

Lire plus
(paulgraham.com)
Divers public jeunes lecteurs

Clonage : Immortalité ou boîte de Pandore ?

2025-06-03
Clonage : Immortalité ou boîte de Pandore ?

Du clonage de bovins supérieurs à la réplication d'animaux de compagnie chéris, la technologie du clonage n'est plus de la science-fiction. Cet article explore comment des entreprises comme ViaGen ont commercialisé le clonage, offrant des services aux riches et aux agriculteurs pour répliquer des animaux de compagnie, du bétail et même des espèces menacées. Cependant, la technologie du clonage soulève également des préoccupations éthiques, concernant le bien-être animal, la diversité génétique et le phénomène potentiel de « mémoire cellulaire ». À l'aide d'exemples et de détails vifs, l'article examine l'état actuel, les défis et l'avenir de la technologie du clonage et son impact sur la société humaine, en particulier la possibilité et les dilemmes éthiques du clonage humain.

Lire plus
(www.theatlantic.com)
Technologie technologie de clonage questions éthiques

Futexes sous Linux : Spinlocks vs. Futexes – Une plongée profonde dans les performances

2025-06-03

Cet article explore en détail l'implémentation et les performances des verrous futex sous Linux. L'auteur implémente d'abord un spinlock simple, puis construit un mutex plus sophistiqué en utilisant l'appel système futex. Des expériences montrent que les spinlocks simples peuvent surpasser les futexes dans certains scénarios, notamment lorsque les opérations de la section critique sont légères. Cependant, lorsque les sections critiques sont longues et la contention des threads est élevée, les futexes offrent un avantage significatif en évitant le spinning inutile du processeur. L'article conclut en discutant des méthodes pour améliorer les performances des verrous futex et souligne la nécessité de choisir le mécanisme de verrouillage approprié en fonction du contexte de l'application.

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

La voie étonnamment abordable vers la productivité avec l'IA : une analyse des coûts

2025-06-03
La voie étonnamment abordable vers la productivité avec l'IA : une analyse des coûts

L'auteur partage son expérience et son analyse des coûts liés à l'utilisation de divers outils d'IA, concluant que l'abonnement à Claude Max à 200 $ par mois offre le meilleur rapport qualité-prix. Claude Max offre un accès quasi illimité à Claude Code, l'un des meilleurs outils d'IA basés sur un terminal. Bien que le modèle o3 d'OpenAI offre un raisonnement supérieur, son coût élevé peut atteindre des centaines de dollars par mois. Pour les utilisateurs disposant d'un budget limité, l'auteur recommande Repo Prompt, qui permet d'utiliser o3 via un abonnement à ChatGPT. La conclusion finale souligne que le temps gagné grâce aux outils d'IA dépasse largement leur coût, en particulier pour les freelances facturant des tarifs élevés, ce qui fait de l'investissement dans l'IA un puissant levier d'efficacité.

Lire plus
(steipete.me)
Développement Outils IA analyse des coûts

TLA+ : Modélisation au-delà du niveau du code

2025-06-03

TLA+ est un langage permettant de modéliser les logiciels au-dessus du niveau du code et le matériel au-dessus du niveau du circuit. Il dispose d'un IDE et d'outils de vérification de modèles, dont le vérificateur de modèles TLC est le plus utilisé. Basé sur les mathématiques, il diffère significativement des langages de programmation. PlusCal, un langage d'algorithmes plus simple, se traduit en TLA+ pour vérification. Les modèles TLA+ décrivent le comportement du système comme des séquences d'états, soulignant l'importance de la modélisation de haut niveau pour prévenir les erreurs de conception et améliorer la simplicité du système. Un projet industriel a démontré une réduction de dix fois de la taille du code d'un système d'exploitation en temps réel en utilisant TLA+, soulignant sa puissance pour améliorer la conception avant le codage.

Lire plus
(lamport.azurewebsites.net)
Développement systèmes concurrents

Quarkdown : Un système de composition typographique puissant basé sur Markdown

2025-06-03
Quarkdown : Un système de composition typographique puissant basé sur Markdown

Quarkdown est un système de composition typographique moderne basé sur Markdown, conçu autour de la polyvalence, compilant sans effort des projets en livres prêts à imprimer ou en présentations interactives. Son extension Markdown Turing-complète puissante garantit que vos idées se transforment facilement en papier. Les utilisateurs peuvent définir leurs propres fonctions et variables, et même créer des bibliothèques pour que d'autres les utilisent. Les formats de sortie incluent HTML et PDF.

Lire plus
(github.com)
Développement Composition typographique Turing-complète

Meta Prompting : Révolutionner l'ingénierie des prompts pour les LLMs

2025-06-03
Meta Prompting : Révolutionner l'ingénierie des prompts pour les LLMs

Cet article explore le meta prompting, une technique utilisant les grands modèles de langage (LLMs) pour créer et affiner les prompts. Il détaille plusieurs méthodes de meta prompting, notamment la méthode de collaboration entre Stanford et OpenAI utilisant un LLM « chef d'orchestre » pour coordonner les LLMs experts ; l'apprentissage à partir de prompts contrastés (LCP) d'Amazon, qui améliore les prompts en comparant les bons et les mauvais ; l'ingénieur de prompts automatique (APE), Prompt Agent, l'ingénierie de prompts conversationnelle (CPE), DSPy et TEXTGRAD. L'article compare leurs forces et faiblesses, soulignant comment ces méthodes améliorent significativement l'efficacité de l'ingénierie des prompts. Enfin, il présente des outils de génération de prompts de plateformes comme PromptHub, Anthropic et OpenAI, simplifiant la mise en œuvre du meta prompting et débloquant tout le potentiel des LLMs.

Lire plus
(www.prompthub.us)
Développement ingénierie des prompts

Sid Meier's Pirates! : Une aventure maritime intemporelle

2025-06-03
Sid Meier's Pirates! : Une aventure maritime intemporelle

Cet article revient sur la version Amiga de Sid Meier's Pirates!, en louant ses graphismes magnifiques et son gameplay unique. L'auteur raconte des expériences personnelles en jouant au jeu avec son père, soulignant son impact durable. Le monde ouvert, l'histoire riche et les événements aléatoires garantissent que chaque partie est unique. Plus qu'un simple jeu, Pirates! est présenté comme un souvenir précieux, une capsule temporelle d'aventure et de romance, transcendant le gameplay simple pour devenir un artefact culturel.

Lire plus
(shot97retro.blogspot.com)
Jeux Jeu classique

Les meurtres du Tylenol : une chasse à l’homme à l’échelle nationale et une arrestation dans une bibliothèque

2025-06-03
Les meurtres du Tylenol : une chasse à l’homme à l’échelle nationale et une arrestation dans une bibliothèque

Après les meurtres au Tylenol de 1982, James et Leann Lewis, les principaux suspects, ont pris la fuite en utilisant des alias et en lisant même des journaux de Chicago dans une bibliothèque de New York pour suivre l’enquête. Leur arrestation a finalement eu lieu grâce à leur comportement audacieux. L’enquête a révélé le passé trouble de Lewis et des crimes précédents, suggérant un lien possible avec une autre affaire, même si leur implication directe dans les meurtres au Tylenol restait ambiguë. Le test de détecteur de mensonges de Leann a indiqué une tromperie, ajoutant une couche supplémentaire de complexité à l’affaire.

Lire plus
(www.trulyadventure.us)
Divers meurtres du Tylenol chasse à l’homme

Cyberpunk : Jeux de la Mort - Le Voyage d'une Centenaire

2025-06-03

Dans un cyberespace technologiquement avancé, Caroline, âgée de 690 ans et Reine des Jockeys de la Mort, est connue pour ses expériences uniques. Un jeu de mort l'oppose à Timothy, un jeune challenger dont l'expérience de « mort authentique » est mal conçue, soulignant sa méconnaissance de la vraie mort. Elle participe ensuite à un jeu de mort violent et érotique avec Fred, un zombie, avant d'assister à une réunion annuelle de criminels. Le récit entrelace la création de Prime Intellect (une super IA) et son intervention dans la société humaine, aboutissant à des événements qui transforment l'univers et explorent le rôle et le destin de l'humanité dans le progrès technologique.

Lire plus
(localroger.com)
Jeux jeux de mort

Pourquoi les interfaces graphiques utilisateur (GUI) nécessitent au moins 2,5 itérations : une critique du développement logiciel Lean

2025-06-03
Pourquoi les interfaces graphiques utilisateur (GUI) nécessitent au moins 2,5 itérations : une critique du développement logiciel Lean

Cet article critique les limites du développement logiciel Lean, en arguant que son analogie entre le développement logiciel et une chaîne de montage d’usine est fondamentalement erronée. Le développement logiciel ressemble davantage à un processus de conception, nécessitant une expérimentation itérative pour découvrir ce que les utilisateurs veulent réellement. En utilisant le développement d’interfaces graphiques utilisateur (GUI) comme exemple, l’auteur souligne comment la création d’interfaces graphiques utilisateur implique souvent plusieurs itérations avant d’obtenir un résultat satisfaisant, très différent du flux linéaire d’une chaîne de montage d’usine. Le concept de « déchet » dans le développement logiciel Lean s’avère difficile à appliquer au logiciel, car il néglige l’importance de l’exploration et de la découverte. L’auteur affirme que le développement logiciel réussi ressemble à un processus de découverte, et non de fabrication, exigeant une compréhension approfondie des besoins de l’utilisateur et une amélioration continue par itération.

Lire plus
(patricia.no)
Développement développement Lean

Conception de logiciels d'information : le triomphe du graphisme, l'échec de l'interaction ?

2025-06-03

Dans son article, Bret Victor remet en question les principes traditionnels de la conception de logiciels, en faisant valoir que la plupart des logiciels (logiciels d'information) mettent l'accent sur la présentation de l'information plutôt que sur l'interaction. Il plaide pour une conception de logiciels d'information fondée sur le graphisme, réduisant l'interaction de l'utilisateur grâce à des visualisations intelligentes et à la prise de conscience du contexte. L'article prend des exemples tels que les horaires de trains, les librairies en ligne et les listes de films pour comparer les conceptions interactives traditionnelles aux approches guidées par le graphisme. Il propose des méthodes d'inférence de contexte utilisant la détection environnementale et les données historiques. Victor lance un appel à l'industrie de la conception de logiciels pour qu'elle privilégie la communication visuelle, en révolutionnant la conception des logiciels d'information afin d'obtenir des expériences utilisateur plus intuitives et efficaces.

Lire plus
(worrydream.com)
Développement Graphisme

L'IA dans les humanités : une arme à double tranchant

2025-06-03
L'IA dans les humanités : une arme à double tranchant

Cet article explore l'impact profond de l'IA générative sur l'éducation humaniste. L'auteur soutient qu'ignorer l'influence de l'IA est une erreur, car les modèles de langage de l'IA reposent sur les connaissances et les compétences humanistes. L'IA démontre un potentiel immense dans la traduction, la classification et d'autres domaines, tandis que les compétences humanistes sont de plus en plus cruciales pour la recherche en IA elle-même. À travers son expérience personnelle de développement de jeux éducatifs sur des thèmes historiques, l'auteur met en lumière les applications de l'IA dans l'enseignement, mais souligne également que la mauvaise utilisation de l'IA peut entraîner une diminution de l'engagement des élèves et exacerber les inégalités éducatives. Enfin, l'auteur appelle les éducateurs à participer activement au développement d'outils pédagogiques personnalisés basés sur l'IA, à prévenir les abus de l'IA et à préserver les valeurs fondamentales d'une éducation de qualité.

Lire plus
(resobscura.substack.com)
Développement Éducation Humaniste Outils Pédagogiques

L'épicentre du punk rock déménage au Tennessee

2025-06-03
L'épicentre du punk rock déménage au Tennessee

Les archives de punk rock les plus importantes au monde, l'emblématique collection Maximum Rocknroll (MRR), quittent la Californie pour le Centre de musique populaire de la Middle Tennessee State University. Ce trésor de huit tonnes d'histoire punk comprend environ 60 000 disques vinyles, photos, fanzines et documents couvrant des décennies d'évolution mondiale du punk. Ce déménagement fait de la MTSU un centre de recherche punk de premier plan, avec des projets de programmation publique, notamment des soirées d'écoute et des ateliers de fanzines, pour engager un public plus large et explorer l'impact culturel et social du punk.

Lire plus
(mtsunews.com)
Divers

Framework OAuth 2.1 Provider pour Cloudflare Workers : Une bibliothèque de sécurité assistée par IA

2025-06-03
Framework OAuth 2.1 Provider pour Cloudflare Workers : Une bibliothèque de sécurité assistée par IA

Cette bibliothèque TypeScript implémente le côté fournisseur du protocole OAuth 2.1 avec prise en charge de PKCE pour Cloudflare Workers. Elle agit comme un wrapper, automatisant la gestion des jetons et l'authentification de l'utilisateur. Les développeurs écrivent des gestionnaires fetch réguliers ; la bibliothèque gère l'authentification. Elle est agnostique quant à la gestion des utilisateurs et aux frameworks d'interface utilisateur, ne stockant que des hachages, pas de secrets. Curieusement, le développement de la bibliothèque a impliqué le modèle d'IA Claude, la revue de sécurité des ingénieurs de Cloudflare validant le potentiel de l'IA dans le développement de logiciels. La bibliothèque présente également une approche nouvelle de la gestion des jetons d'actualisation, en équilibrant sécurité et résilience aux erreurs transitoires.

Lire plus
(github.com)
Développement

Hiver de l'IA : Le marché du travail de la technologie en Nouvelle-Zélande est stagnant, les immigrants rencontrent des difficultés

2025-06-03
Hiver de l'IA : Le marché du travail de la technologie en Nouvelle-Zélande est stagnant, les immigrants rencontrent des difficultés

Le secteur technologique néo-zélandais connaît un ralentissement en 2025, avec des licenciements dans les grandes entreprises et l'expansion de l'IA exacerbant les pressions sur l'emploi. Microsoft a licencié 6 000 employés, et le secteur de la santé néo-zélandais a également considérablement réduit les postes informatiques. Un ingénieur logiciel chevronné de 12 ans de Chine, James Zhang, a eu du mal à trouver du travail en Nouvelle-Zélande, citant la discrimination liée à l'âge dans l'industrie technologique chinoise et les difficultés liées aux visas. Bien que les offres d'emploi aient légèrement augmenté, la concurrence reste féroce, et les immigrants rencontrent des obstacles supplémentaires. Beaucoup sont contraints d'améliorer leurs compétences ou de suivre une formation complémentaire.

Lire plus
(www.rnz.co.nz)
Technologie

Imprimer des données numériques sur papier : une méthode de stockage extrême

2025-06-03

Cet article explore différentes méthodes de stockage de données numériques sur papier, allant du codage de caractères simple (comme Base16, Base32, Base64) à des codages de points plus complexes (comme les codes QR, Optar), et même des codages couleur. L’auteur compare expérimentalement la densité d’information et la fiabilité des différentes méthodes et discute de questions clés telles que la reconnaissance optique de caractères (OCR), les codes de correction d’erreurs et le stockage à long terme. Les résultats montrent que les méthodes de codage de points (comme les codes QR empilés et Optar) peuvent stocker jusqu’à 100 ko de données sur une page A4, tandis que les méthodes de codage de caractères sont limitées par la précision de l’OCR, ce qui se traduit par une capacité de stockage relativement faible. L’article explore également la possibilité de coder des données manuscrites et la transmission de données sur papier, offrant de nouvelles idées pour préserver les données numériques dans des conditions extrêmes.

Lire plus
(www.monperrus.net)
Technologie stockage sur papier

Le destin polyester de l'art IA génératif : bulle ou avenir ?

2025-06-03
Le destin polyester de l'art IA génératif : bulle ou avenir ?

Cet article utilise l'ascension et la chute du polyester comme métaphore pour explorer l'avenir de l'art IA génératif. Tout comme le polyester a brièvement dominé le marché textile au milieu du XXe siècle avant d'être relégué au statut de produit bon marché et de mauvais goût, l'art IA génératif est confronté à un destin similaire. Bien que l'IA réduise la barrière à l'entrée pour la création artistique, sa prolifération conduit à une fatigue esthétique et à une dévaluation, allant même jusqu'à être utilisée pour la désinformation. L'auteur soutient que, même si l'art IA peut dominer le marché à court terme, le désir humain d'émotion authentique et d'expression artistique unique ne disparaîtra pas, stimulant en fin de compte un renouveau de l'art humain véritablement précieux.

Lire plus
(culture.ghost.io)
IA valeur culturelle

MonsterUI : Créez des interfaces utilisateur web modernes en Python pur

2025-06-03
MonsterUI : Créez des interfaces utilisateur web modernes en Python pur

Fatigué de passer d’un logiciel à l’autre entre HTML, CSS et Python pour créer des interfaces utilisateur web basiques ? MonsterUI est là pour résoudre ce problème ! Construit sur FastHTML, il vous permet de créer des applications web belles et réactives en utilisant uniquement Python. Tirant parti de bibliothèques modernes telles que Tailwind, FrankenUI et DaisyUI, MonsterUI fournit des composants pré-stylés et des valeurs par défaut intelligentes tout en conservant un accès complet à Tailwind CSS. Il simplifie le style, vous permettant de vous concentrer sur les fonctionnalités au lieu de vous souvenir des classes utilitaires. Les fonctionnalités incluent les thèmes, les composants de base, le style de texte sémantique, les assistants de mise en page intelligents, les modèles d’interface utilisateur courants et les composants de niveau supérieur pour une productivité accrue.

Lire plus
(www.answer.ai)
Développement Framework UI

Contourner les bannissements HWID : Le guide ultime de Sync.top

2025-06-03

Sync.top est un outil premium de spoofing HWID conçu pour aider les joueurs à contourner les bannissements d'ID de matériel dans les jeux en ligne. Cet article détaille le fonctionnement des bannissements HWID, explique les fonctionnalités de Sync.top et guide les utilisateurs dans le choix entre les modes de spoofing permanent et temporaire. Il est compatible avec les principaux systèmes anti-triche, possède une interface conviviale, un support 24/7 et une garantie de remboursement. Cependant, il souligne l'importance d'une utilisation responsable et met en garde contre son utilisation pour tricher ou enfreindre les règles.

Lire plus
(steemit.com)
Jeux

Microsoft apporte des modifications importantes à Windows pour se conformer à la loi sur les marchés numériques

2025-06-03
Microsoft apporte des modifications importantes à Windows pour se conformer à la loi sur les marchés numériques

Pour se conformer à la loi sur les marchés numériques de l'UE, Microsoft a annoncé plusieurs nouvelles fonctionnalités pour les utilisateurs de Windows dans l'EEE. Les utilisateurs peuvent désormais désinstaller le Microsoft Store et éviter d'être obligés de définir Edge comme navigateur par défaut. Définir un navigateur différent par défaut l'épinglera à la barre des tâches et étendra son association à plus de types de fichiers. Microsoft assure aux utilisateurs que les applications installées depuis le Store continueront de recevoir des mises à jour même après la désinstallation. D'autres améliorations incluent la possibilité pour les applications tierces d'ajouter leurs résultats de recherche à la recherche Windows lors de l'installation, et la possibilité pour les utilisateurs de personnaliser l'ordre des fournisseurs de recherche. Ces mises à jour seront déployées début juin et juillet.

Lire plus
(www.theverge.com)
Technologie

Le Texas devient le neuvième État à adopter une loi sur le droit à la réparation

2025-06-03
Le Texas devient le neuvième État à adopter une loi sur le droit à la réparation

Le Sénat du Texas a voté à l'unanimité le projet de loi HB 2963, faisant du Texas le neuvième État américain à adopter une loi sur le droit à la réparation. C'est une victoire importante, surtout qu'il s'agit du premier État dirigé par les républicains à adopter une telle loi. La loi oblige les fabricants à fournir des pièces détachées, des manuels et des outils pour les équipements vendus dans l'État, afin de réduire les 621 000 tonnes de déchets électroniques produits chaque année au Texas. Cette tendance croissante des lois sur le droit à la réparation à travers le pays reflète les préoccupations croissantes concernant la durabilité et la réduction des déchets électroniques.

Lire plus
(www.theverge.com)
Technologie

Amazon publie un cours de vérification de programmes basé sur Dafny

2025-06-02

Amazon a publié des supports pédagogiques pour la vérification de programmes utilisant Dafny. Le cours dépasse la simple programmation Dafny, en explorant ses capacités d'assistant de preuve. Il est structuré en trois parties : la partie 1 présente le langage de programmation Dafny ; la partie 2 explore Dafny en tant qu'assistant de preuve, couvrant des méthodes de preuve formelles comme la déduction naturelle ; et la partie 3 applique ces connaissances à la vérification de programmes, couvrant les programmes fonctionnels, impératifs et orientés objet. Cette ressource convient aux débutants comme aux développeurs Dafny expérimentés, offrant une approche complète de la vérification de programmes.

Lire plus
(dafny.org)
Développement preuve formelle

Part de marché Linux sur Steam à un niveau record

2025-06-02
Part de marché Linux sur Steam à un niveau record

En mai 2025, la part de marché des utilisateurs Linux sur Steam a atteint son plus haut niveau en plusieurs années, un record inégalé depuis au moins 2018. Cette croissance est intervenue malgré l'augmentation continue de la base d'utilisateurs globale de Steam, ce qui indique une adoption saine de Linux. Windows détenait 95,45 % de part de marché en mai, tandis que Linux a atteint 2,69 % et macOS 1,85 %. Il est intéressant de noter que cette augmentation n'est pas due à SteamOS 3 ; les distributions populaires incluaient SteamOS Holo, Arch Linux et Linux Mint. La diminution des options de langue chinoise simplifiée, qui affecte généralement les chiffres Linux, n'a pas empêché cette croissance.

Lire plus
(www.gamingonlinux.com)
Jeux

Des scientifiques japonais développent du sang artificiel à longue durée de conservation

2025-06-02
Des scientifiques japonais développent du sang artificiel à longue durée de conservation

Des scientifiques de l'Université médicale de Nara au Japon, dirigés par Hiromi Sakai, ont mis au point un nouveau type de sang artificiel compatible avec tous les groupes sanguins. Créé en extrayant l'hémoglobine de sang périmé et en l'encapsulant dans une coque protectrice, ce sang artificiel est stable et exempt de virus. Remarquablement, il peut être conservé jusqu'à deux ans à température ambiante et cinq ans au réfrigérateur, une amélioration significative par rapport aux 42 jours de conservation du sang donné. Des essais sur l'homme sont en cours, avec pour objectif une application pratique d'ici 2030, promettant une révolution dans les soins de santé mondiaux, en particulier dans les pays à faible et moyen revenu.

Lire plus
(www.tokyoweekender.com)
Technologie sang artificiel hémoglobine

Modélisation Extrême chez MongoDB : Vérification de Conformité en Pratique

2025-06-02

Les ingénieurs de MongoDB ont expérimenté les spécifications TLA+ et deux techniques de vérification de conformité (vérification des traces et génération de cas de test) pour vérifier si les implémentations de leurs produits sont conformes aux spécifications. L’expérience de vérification des traces, menée sur le serveur MongoDB, visait à valider l’implémentation du protocole de consensus Raft ; l’expérience de génération de cas de test, sur le SDK mobile MongoDB, visait à valider l’algorithme de transformation opérationnelle. Les résultats ont montré que la vérification des traces a échoué en raison de la difficulté de capturer des instantanés de l’état d’un programme multithreadé et des divergences entre la spécification et l’implémentation, tandis que la génération de cas de test a permis de découvrir avec succès un bogue dans l’algorithme et d’atteindre une couverture de 100 % des branches. L’article résume les enseignements tirés et présente les progrès récents dans le domaine, soulignant l’importance d’une vérification continue de la conformité pour l’adoption généralisée de TLA+.

Lire plus
(www.mongodb.com)
Développement Vérification de Conformité

Google règle un litige antitrust majeur : un règlement coûteux

2025-06-02
Google règle un litige antitrust majeur : un règlement coûteux

Après des années de combats juridiques antitrust, Google a trouvé un accord avec plusieurs actionnaires pour éviter des litiges prolongés. Depuis 2021, Google fait face à de nombreuses poursuites alléguant des pratiques monopolistiques, aboutissant à des défaites récentes et très médiatisées contre Epic Games et le ministère américain de la Justice. Ces défaites exposent Google à des milliards de dollars d'amendes et nécessitent une restructuration importante de l'entreprise. Le règlement implique probablement l'ouverture de Google Play, le partage de données publicitaires, l'octroi de licences pour son index de recherche et même la cession du navigateur Chrome. Cette résolution coûteuse vise à atténuer les futures batailles juridiques et à réparer les dommages causés par ses problèmes antitrust.

Lire plus
(arstechnica.com)
Technologie Règlement
1 2 … 191 192 193 195 197 198 199 … 595 596