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

Sous le capot de ChatGPT : une perspective pour les programmeurs

2025-01-04
Sous le capot de ChatGPT : une perspective pour les programmeurs

Cet article explore en profondeur le fonctionnement de ChatGPT, spécifiquement pour les programmeurs. En ignorant les concepts généraux de l'IA/ML, il se concentre sur le modèle ChatGPT d'OpenAI, en expliquant son architecture, l'utilisation des réseaux Transformer et comment l'apprentissage par renforcement avec retour d'expérience humain (RLHF) l'ajuste pour les tâches conversationnelles. L'article détaille également la tokenisation, l'entraînement du modèle, la génération de réponses et le rôle du RLHF pour garantir des réponses précises et contextuelles.

Lire plus
(codedoodles.substack.com)
Développement

Tricher à Catan : Dés pipés et p-valeurs

2025-05-22

Cet article détaille une expérience visant à créer des dés pipés pour le jeu Settlers of Catan, afin d'obtenir 5 à 15 cartes ressources supplémentaires par partie. L'auteur a immergé un côté des dés pour augmenter son poids, biaisant ainsi les résultats. Bien que des tests statistiques aient confirmé le biais des dés, l'auteur soutient que le nombre limité de lancers dans une partie typique empêche les adversaires de prouver scientifiquement la tricherie en utilisant les tests de p-valeur standard. L'article discute des failles de l'analyse de la p-valeur et met en avant l'utilisation de méthodes plus sophistiquées, comme les facteurs de Bayes.

Lire plus
(izbicki.me)
Jeux Statistiques Tricherie

La Cour suprême de Chine réprime les usines à articles académiques

2025-03-04
La Cour suprême de Chine réprime les usines à articles académiques

La Cour suprême populaire de Chine a publié sa première orientation sur la répression des usines à articles académiques, visant à freiner la fraude scientifique. Bien que des réglementations gouvernementales précédentes existaient, les usines à articles – entreprises produisant des manuscrits frauduleux ou de mauvaise qualité – ont persisté. Les lignes directrices du tribunal instruisent les tribunaux inférieurs à punir sévèrement les « chaînes industrielles de la publication d'articles » et la fraude en recherche. Le nombre de cas liés aux usines à articles a augmenté ces dernières années, les décisions judiciaires passant de la reconnaissance de la validité des contrats avec ces usines à leur nullité, reflétant un accent accru sur l'intégrité académique et la concurrence équitable. Si certains chercheurs se montrent optimistes quant à la capacité de cette mesure à freiner les mauvaises conduites, d'autres restent sceptiques quant à son impact.

Lire plus
(www.nature.com)
Technologie manque d'éthique académique usines à articles

Jeu de survie : stratégie, trahison et survie

2025-03-29
Jeu de survie : stratégie, trahison et survie

L'auteur a participé à un jeu de survie appelé CTG, où les joueurs survivent en relevant des défis et en votant. Pour survivre, l'auteur a tiré des leçons de l'expérience des joueurs précédents : rester discret et éviter d'être au centre de l'attention. Dans le jeu, les joueurs ont joué différents rôles : leaders, organisateurs, experts en données, etc. En observant et en enregistrant méticuleusement et en participant activement aux défis, l'auteur a réussi à éviter une élimination précoce. Cependant, le troisième jour, une stratégie d'abstention collective à haut risque s'est soldée par un échec, et la suspicion et les accusations se sont rapidement répandues parmi les joueurs.

Lire plus
(www.wired.com)
Jeux jeu de survie

Génération de cartes de puzzles logiques complexes avec WFC

2025-06-23
Génération de cartes de puzzles logiques complexes avec WFC

Logic Islands, un jeu de puzzle, propose six ensembles de règles différents pour ses cartes. Initialement, le développeur a utilisé un algorithme de backtracking traditionnel, mais pour trois ensembles de règles, la génération de cartes a échoué au-delà de 7x7. Pour surmonter cela, le développeur a intelligemment appliqué l'algorithme Wave Function Collapse (WFC). En redéfinissant les types de tuiles et leurs relations de connexion, et en définissant des contraintes basées sur différentes règles, le développeur a utilisé avec succès le WFC pour générer des cartes de grande taille (jusqu'à 12x12) qui satisfont à diverses règles, résolvant ainsi le problème précédent de génération de cartes. Ce cas démontre la puissance de l'algorithme WFC dans la génération de cartes de puzzles logiques complexes et l'importance de considérer les problèmes sous différents angles.

Lire plus
(sublevelgames.github.io)
Jeux algorithme WFC

Moteur Genesis : Un moteur physique universel pour la robotique et au-delà

2024-12-22

Genesis est une plateforme de simulation physique complète et puissante, conçue pour la robotique à usage général, l'IA incarnée et les applications d'IA physique. Il simule une large gamme de matériaux et de phénomènes physiques à des vitesses sans précédent et peut générer des vidéos physiquement précises et des politiques robotiques à partir de descriptions en langage naturel. Par exemple, il peut simuler Sun Wukong faisant des saltos, un samouraï pratiquant la boxe et divers robots effectuant des tâches complexes, avec des capacités de transfert de politiques Sim2Real. Actuellement open source, le moteur déploiera progressivement son framework génératif à l'avenir, promettant de révolutionner la génération de données pour la robotique et l'IA.

Lire plus
(genesis-embodied-ai.github.io)
IA génération de données IA

11 millions d'IOPS et 66 GiB/s d'E/S sur une seule station de travail ThreadRipper

2025-05-06

Cet article détaille la configuration d'une station de travail AMD ThreadRipper Pro avec 10 SSD PCIe 4.0 pour atteindre 11 millions d'IOPS pour les lectures aléatoires de 4 kB et un débit de 66 GiB/s pour les E/S plus volumineuses. L'auteur s'attaque aux goulots d'étranglement tels que l'accès à la RAM et les limitations du processeur, en approfondissant les mécanismes internes de l'E/S de bloc Linux et son interaction avec le matériel moderne. Le processus inclut la sélection du matériel, la configuration des E/S (E/S directe et planificateurs d'E/S), les tests multi-disques et les paramètres du BIOS, aboutissant finalement à des performances remarquables.

Lire plus
(tanelpoder.com)
Matériel

La propriété intellectuelle est une mauvaise idée : Une vision pour l’IA open source

2025-02-22

L’auteur soutient que la propriété intellectuelle est un concept erroné, réfutant la comparaison du président Biden entre piratage et vol. Le piratage, contrairement au vol, permet un accès généralisé aux ressources, semblable à la photographie plutôt qu’au vol. Préoccupé par la concentration des richesses, l’auteur envisage que l’IA apporte une immense valeur à la société sans générer de profit. Il se souvient du modèle initial d’internet open source, à forte valeur ajoutée et à faible rentabilité, et vise à perturber les modèles commerciaux actuels grâce à des projets open source tels que comma.ai et tinygrad. L’objectif est de rendre le secteur technologique non rentable pour les spéculateurs, créant ainsi un paysage technologique plus équitable.

Lire plus
(geohot.github.io)
IA

Urtext : Un outil d'écriture en texte clair révolutionnaire

2025-05-05

Urtext est une bibliothèque open-source pour l'écriture en texte clair qui va au-delà d'un simple bloc-notes. Il combine l'écriture, la recherche, la gestion de documentation, la création de bases de connaissances, la prise de notes, Zettelkasten et plus encore. Utilisant un format texte clair, il est compatible multiplateforme, facilement versionné et extensible avec du code Python pour des fonctionnalités personnalisées. Urtext privilégie une approche locale et une interface utilisateur minimale, presque toutes les opérations étant effectuées dans le buffer de texte, éliminant les menus et les fenêtres contextuelles. Il combine intelligemment le contenu, la structure et les instructions dans sa syntaxe et prend en charge les liens entre les fichiers et l'organisation, ce qui le rend idéal pour gérer des projets de grande envergure.

Lire plus
(urtext.co)
Développement écriture en texte clair

Osaka interdit de fumer dans toutes ses rues, amendes pour les contrevenants

2025-01-28
Osaka interdit de fumer dans toutes ses rues, amendes pour les contrevenants

À partir du 27 janvier, la ville d'Osaka, au Japon, a mis en place une interdiction totale de fumer dans toutes ses rues, y compris le vapotage. Les contrevenants s'exposent à une amende de 1 000 yens (environ 6,40 USD). Cela fait partie d'un projet d'embellissement de la ville avant l'Expo 2025, avec 17 nouvelles zones fumeurs prévues. L'interdiction sera activement appliquée par des patrouilles, ce qui en fait plus qu'un geste symbolique.

Lire plus
(soranews24.com)
Divers interdiction de fumer

Fonctions DRM et accessibilité limitée des SSD SATA

2025-01-20
Fonctions DRM et accessibilité limitée des SSD SATA

Un journal du noyau Linux affiche des avertissements concernant un SSD Intel SSDSCKJF360A5L : « prend en charge les fonctions DRM et peut ne pas être entièrement accessible ». Cela concerne une extension du protocole ATA permettant au périphérique de stockage de répondre différemment selon que la demande est signée par le module de plateforme sécurisée de la carte mère. Cela permet des fonctionnalités telles que la prévention de la modification des lecteurs vidéo. Le noyau Linux peut avoir une vue incomplète du SSD, d’où l’avertissement. De plus, le journal indique que le cache de lecture du SSD est activé, mais ne prend pas en charge les techniques obsolètes DPO ou FUA, ce qui est sans importance pour les SSD.

Lire plus
(unix.stackexchange.com)
Matériel

Un tribunal brésilien maintient une injonction contre Apple

2025-03-07
Un tribunal brésilien maintient une injonction contre Apple

Le Tribunal Régional Fédéral de la 1ère Région (TRF-1) du Brésil a rétabli une injonction contre Apple, confirmant une décision antérieure du Conseil Administratif de Défense Économique (Cade). L'injonction, découlant d'allégations d'abus de position dominante d'Apple sur le marché de la distribution d'applications iOS, exige qu'Apple mette en œuvre des modifications dans les 90 jours, permettant aux applications d'informer les utilisateurs de moyens d'achat alternatifs. Apple a soutenu que les modifications n'étaient pas urgentes, mais le tribunal n'a pas été d'accord, citant la structure fermée d'iOS et les restrictions imposées aux applications tierces comme justification de la mesure préventive visant à favoriser la concurrence. Bien qu'Apple ait obtenu plus de temps que prévu initialement, la société prévoit de faire appel, affirmant que les modifications compromettent la vie privée et la sécurité des utilisateurs. L'affaire découle d'une plainte de Mercado Livre, le Cade arguant qu'Apple abuse de sa position dominante en imposant des restrictions aux développeurs d'applications concernant les achats intégrés.

Lire plus
(valorinternational.globo.com)
Technologie

Shunpo : Un outil Bash minimaliste pour une navigation de répertoire plus rapide

2025-01-27
Shunpo : Un outil Bash minimaliste pour une navigation de répertoire plus rapide

Shunpo est un outil bash minimaliste conçu pour accélérer la navigation dans les répertoires de votre terminal. Il fournit un système simple de signets, vous permettant de sauter vers les répertoires fréquemment utilisés avec un minimum de frappes. Idéal pour les utilisateurs qui utilisent constamment des commandes comme `cd`, `pushd` ou `popd`, Shunpo vous permet de facilement ajouter, supprimer et lister des signets. L'installation est simple : il suffit d'exécuter `install.sh`.

Lire plus
(github.com)
Développement outil Bash navigation de répertoire

CONL : Le Markdown des fichiers de configuration ?

2025-04-26

Fatigué de la complexité de JSON, YAML et TOML ? Un ingénieur logiciel a créé CONL, un format de fichier de configuration minimaliste visant à être le "Markdown" des fichiers de configuration. CONL est facile à lire et à modifier, possède un modèle de données similaire à JSON et est simple à implémenter. Il prend en charge divers types de données, notamment les scalaires, les listes et les mappages, avec une bonne prise en charge des chaînes multilines. L'auteur fournit également des implémentations pour Rust et Go, ainsi qu'un serveur de langage et une extension Zed.

Lire plus
(cirw.in)
Développement fichiers de configuration

Débogage transatlantique de 1-2-3 : Une histoire de la loi zéro

2025-03-31
Débogage transatlantique de 1-2-3 : Une histoire de la loi zéro

Vers 1990, l'auteur a débogué la configuration 1-2-3 d'un client par fax en raison du coût élevé des appels téléphoniques transatlantiques. En guidant le client à travers des commandes telles que `/ppomr` et `/ppoml` pour obtenir des informations sur les marges de l'imprimante, le problème a été résolu. Cela met en évidence la « loi zéro du débogage » : utilisez le cas de test le plus petit et le plus rapide pour une itération rapide et une résolution efficace des problèmes.

Lire plus
(blog.jgc.org)
Développement débogage à distance

MediSearch (YC S23) recrute un ingénieur fondateur orienté frontend

2025-04-11
MediSearch (YC S23) recrute un ingénieur fondateur orienté frontend

MediSearch, une entreprise de Y Combinator de l'été 2023 qui construit un moteur de recherche d'informations médicales utilisant des LLMs et des sources fiables, recrute un ingénieur fondateur axé sur le frontend. Ce poste à plein temps, basé à Bratislava, en Slovaquie, offre une certaine flexibilité pour le travail à distance, mais exige une présence significative sur site. Les responsabilités incluent le codage frontend, la conception et la collaboration avec les ingénieurs backend. Les candidats sans expérience préalable sont encouragés à postuler.

Lire plus
(www.ycombinator.com)
Développement Moteur de recherche médical

Modest : Une bibliothèque Lua pour l'harmonie musicale

2025-02-02
Modest : Une bibliothèque Lua pour l'harmonie musicale

Modest est une bibliothèque Lua robuste pour l'harmonie musicale, offrant des objets Chord, Note et Interval qui gèrent une large gamme d'accords, des accords majeurs/mineurs simples aux accords de jazz complexes. Elle dispose d'une analyse de chaînes flexible pour l'identification des accords, de capacités de transposition et de récupération des notes individuelles. Facile à installer via LuaRocks ou compilation manuelle, Modest prend en charge Lua 5.4 et LuaJIT et évite de polluer l'espace de noms global. Ses fonctionnalités principales, notamment l'identification des accords, la transposition, l'extraction des notes et les calculs d'intervalles, fournissent des outils efficaces pour le développement de logiciels musicaux.

Lire plus
(github.com)
Développement Musique

Une journaliste indépendante ignorée par les grands médias après avoir révélé une information majeure

2025-05-05
Une journaliste indépendante ignorée par les grands médias après avoir révélé une information majeure

La journaliste indépendante Marisa Kabas a été la première à révéler un accord secret de déportation entre les États-Unis et le Rwanda, détaillant la déportation d'un réfugié irakien, Omar Ameen. Cependant, de grands médias comme CBS, CNN et le Washington Post ont minimisé ou ignoré complètement le reportage original de Kabas. Cela a suscité un débat sur le rôle des journalistes indépendants dans l'écosystème médiatique. Le reportage de Kabas, basé sur des documents gouvernementaux vérifiés et de multiples sources, était aussi rigoureux que celui des grandes organisations d'information, mais son statut indépendant l'a empêchée de recevoir le crédit qu'elle méritait. Cela reflète le refus des médias traditionnels de reconnaître et de s'adapter à l'évolution du paysage médiatique.

Lire plus
(www.thehandbasket.co)
Technologie journalisme indépendant

AG-UI : Un nouveau protocole pour l'interaction entre les agents IA et le front-end

2025-05-13
AG-UI : Un nouveau protocole pour l'interaction entre les agents IA et le front-end

AG-UI est un protocole ouvert, léger et basé sur les événements qui standardise la manière dont les agents IA se connectent aux applications front-end. Il prend en charge différents types d'événements et de méthodes de transport, et dispose d'une couche intermédiaire flexible garantissant la compatibilité entre différents environnements. Déjà intégré à plusieurs frameworks d'agents populaires, AG-UI permet le chat en temps réel, la synchronisation bidirectionnelle de l'état, l'IU générative et bien plus encore. Avec une bibliothèque cliente React et des clients de messagerie (en développement avec AWS SNS), AG-UI offre une solution simple mais puissante pour la création d'applications basées sur l'IA.

Lire plus
(github.com)
Développement interaction front-end

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

13 Stratégies pour Construire d'excellents Services Numériques Publics

2025-02-23

Cet article décrit 13 étapes clés pour construire d'excellents services numériques publics. Il couvre la recherche des besoins des utilisateurs, la conception d'expérience de bout en bout, des interfaces simples et intuitives, le développement agile et itératif, la gestion des budgets et des contrats, le leadership et la sélection des membres de l'équipe, le choix de la stack technologique, des environnements d'hébergement flexibles, les tests et le déploiement automatisés, la gestion de la sécurité et de la confidentialité, la prise de décision basée sur les données et les principes ouverts. Chaque étape fournit une liste de contrôle détaillée et des questions clés pour aider les agences gouvernementales à créer des services numériques centrés sur l'utilisateur, efficaces, fiables et sécurisés, améliorant ainsi l'expérience du service public.

Lire plus
(playbook.usds.gov)
Développement services publics services numériques

Réécriture du Compositeur : Amélioration massive des performances pour la composition d'images

2025-03-27
Réécriture du Compositeur : Amélioration massive des performances pour la composition d'images

Le moteur de composition d'images Compositor a été réécrit, ce qui a entraîné des améliorations significatives des performances. Les gains de performances sont particulièrement visibles dans certaines configurations de nœuds ; la mise en cache des ressources statiques, telles que les images, a été optimisée et l'utilisation de la mémoire a été réduite dans les configurations de nœuds comportant de nombreux nœuds opérant sur des pixels. Les nœuds de filtre sont considérablement plus rapides : Levels est jusqu'à 10 fois plus rapide, Filter et Kuwahara sont deux fois plus rapides, les nœuds Blur sont jusqu'à quatre fois plus rapides, le filtre Glare est 6 fois plus performant et plus avancé, et Pixelate est 9 fois plus rapide. L'ajustement des arbres de nœuds du compositeur est également considérablement plus rapide et plus interactif, car le compositeur évite désormais de calculer les sorties non visualisées par l'utilisateur via l'arrière-plan ou l'éditeur d'images. L'expérience globale de composition devrait être beaucoup plus réactive, que vous utilisiez le processeur ou le processeur graphique.

Lire plus
(www.blender.org)
Développement composition d'images Compositeur

L'UE s'éloigne de son objectif d'éliminer le gaz russe d'ici 2027

2025-03-28
L'UE s'éloigne de son objectif d'éliminer le gaz russe d'ici 2027

Une nouvelle analyse révèle que les importations de gaz russe par l'UE ont augmenté de 18 % en 2022, compromettant son objectif de mettre fin à sa dépendance aux combustibles fossiles russes d'ici 2027. Malgré une demande stable de gaz, l'augmentation des importations par l'Italie, la République tchèque et la France a été facilitée par l'utilisation de navires 'fantômes' et le 'blanchiment' de l'origine du gaz. L'UE a dépensé 21,9 milliards d'euros en combustibles fossiles russes l'année dernière, dépassant l'aide à l'Ukraine. Les experts critiquent l'absence d'objectifs juridiquement contraignants et d'un plan concret de la part de l'UE, faisant valoir que la dépendance continue au gaz russe compromet la sécurité, expose le bloc à la volatilité des prix et au chantage, et mine le soutien à l'Ukraine.

Lire plus
(e360.yale.edu)
Technologie gaz russe

Memfault recrute : Ingénieur SDK Android (100 000 à 180 000 USD)

2025-02-06
Memfault recrute : Ingénieur SDK Android (100 000 à 180 000 USD)

Memfault, une plateforme de fiabilité IoT, recherche un ingénieur SDK Android (AOSP). Vous collaborerez avec les responsables SDK (Linux, MCU) et des équipes multifonctionnelles pour façonner l'avenir d'Android chez Memfault. Attendez-vous à une pile technologique diversifiée couvrant les SDK de microcontrôleurs, le traitement de données à grande échelle en backend et des graphiques personnalisés complexes en frontend. L'entreprise encourage la contribution large à sa technologie et propose des arrangements de travail flexibles avec des réunions d'équipe régulières et des événements annuels hors site.

Lire plus
(jobs.lever.co)
Développement

Le Déluge d'Informations : Faire Face à la Surcharge d'Actualités

2025-02-12
Le Déluge d'Informations : Faire Face à la Surcharge d'Actualités

Réfléchissant sur une carrière de 45 ans dans la technologie, l'auteur déplore le passage de sources d'informations uniques à des stratégies hautement personnalisées à l'ère de la surcharge d'informations. De l'ère initiale de la télévision, de la radio, des journaux et des magazines, à l'explosion d'USENET et du Web, les sources d'informations se sont multipliées de manière exponentielle, dépassant la capacité de traitement de l'information humaine. Face à un déluge d'informations souvent peu fiables ou non pertinentes, les gens ont développé des mécanismes d'adaptation, notamment la déconnexion complète et les sabbats numériques. L'auteur soutient que nous devons repenser fondamentalement notre relation avec l'information, en cultivant de meilleures capacités de discernement et en construisant des défenses psychologiques et culturelles pour naviguer dans le chaos. Ce n'est pas un problème résoluble par la technologie ou la loi ; cela exige un effort individuel pour améliorer notre capacité à gérer la surcharge d'informations.

Lire plus
(www.theregister.com)
Divers filtrage d'informations

Un tribunal italien ordonne à Google de bloquer les sites pirates, sous peine de lourdes amendes

2025-03-22
Un tribunal italien ordonne à Google de bloquer les sites pirates, sous peine de lourdes amendes

Un tribunal italien a condamné Google pour ne pas avoir bloqué rapidement les sites pirates identifiés par l'autorité italienne des droits d'auteur, l'AGCOM. La décision du tribunal, rendue sans exiger de réponse de Google, souligne la gravité de l'infraction. Ceci fait suite à une affaire similaire contre Cloudflare. L'arrêt met en lumière la position ferme de l'Italie contre le piratage en ligne et ses efforts pour responsabiliser les géants technologiques internationaux au respect des lois locales. Google pourrait faire face à de lourdes amendes quotidiennes s'il ne se conforme pas.

Lire plus
(arstechnica.com)
Technologie piratage en ligne

Intel annule le GPU Falcon Shores et se tourne vers des solutions IA au niveau système

2025-01-31
Intel annule le GPU Falcon Shores et se tourne vers des solutions IA au niveau système

Intel a annoncé l'annulation de son GPU de nouvelle génération pour le calcul haute performance et les charges de travail IA, Falcon Shores, en se concentrant désormais sur Jaguar Shores. Ce changement stratégique fait suite à une série de lancements de produits décevants et de pertes importantes, alors qu'Intel tente de redresser la barre. Intel reconnaît qu'une simple puce ne suffit pas ; les clients veulent une solution complète au niveau système. Cette décision reflète également les défis d'Intel sur le marché des centres de données IA, face à la forte concurrence d'AMD et de Nvidia, et reconnaît les performances médiocres de sa puce Gaudi 3.

Lire plus
(techcrunch.com)
Technologie

Proposition : Effets essentiels pour C

2025-01-20

Cette proposition suggère d’améliorer le système de types principal de C avec un système de type et d’effet, exigeant que les fonctions et les blocs déclarent les effets de leur évaluation. Cela améliore la composition de la métaprogrammation et simplifie la définition des restrictions de type MISRA. Le système suit et vérifie les effets, mais ne gère pas le traitement des effets dynamiques. Trois groupes principaux d’effets sont proposés : locaux (par exemple, écriture locale), persistants (par exemple, écriture non locale) et contrôle (par exemple, transfert de contrôle non local). La vérification statique des effets est obtenue en attribuant un type et un effet à chaque instruction, expression et corps de fonction, en rejetant les effets locaux pour garantir un ordre correct. De bonnes pratiques sont suggérées, telles que la limitation de l’ampleur des effets `mut` et `vol` et la spécification de vérifications d’effets pour les opérateurs et les structures de contrôle. L’objectif est d’améliorer la sécurité, la lisibilité et la composition de C, en particulier pour la métaprogrammation et la gestion des ressources.

Lire plus
(www.open-std.org)
Développement système de types

La surutilisation des scanners CT pourrait causer plus de 100 000 cas de cancer aux États-Unis

2025-04-15

Une nouvelle étude révèle que les 93 millions de scanners CT effectués aux États-Unis en 2023 pourraient entraîner plus de 100 000 cas de cancer, dont près de 10 000 chez les enfants. Cela représente 5 % de tous les cancers aux États-Unis, soit autant que les cancers causés par l'alcool. Les chercheurs exhortent à réduire les scanners CT inutiles et à optimiser les doses de rayonnement pour atténuer le risque de cancer. Bien que les scanners CT soient essentiels au diagnostic et au traitement, leur surutilisation augmente l'exposition aux rayonnements et le risque de cancer. L'étude souligne l'importance des scanners CT justifiés sur le plan clinique, avec des ajustements de dose spécifiques à l'âge et à l'organe.

Lire plus
(www.icr.ac.uk)
Technologie scanners CT rayonnement
1 2 … 455 456 457 459 461 462 463 … 595 596