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

Courbe de Hilbert : Une belle courbe de remplissage d'espace et sa visualisation

2025-01-18

Cet article explore la courbe de Hilbert, une courbe de remplissage d'espace possédant d'excellentes propriétés de clustering. L'auteur la visualise de manière créative en projetant une courbe de Hilbert de l'espace de couleur RGB 3D sur un plan 2D. La visualisation est esthétiquement plaisante et démontre de façon intuitive les propriétés de clustering de la courbe de Hilbert. L'article explique également l'implémentation de l'algorithme de la courbe de Hilbert et fournit un projet Python pour générer et visualiser différentes courbes de remplissage d'espace.

Lire plus
(corte.si)
Développement courbe de Hilbert courbe de remplissage d'espace

isd : Une IUT pour une gestion simplifiée des unités systemd

2025-01-18
isd : Une IUT pour une gestion simplifiée des unités systemd

isd est une interface utilisateur en terminal (IUT) conçue pour simplifier la gestion des unités systemd. Elle offre une recherche floue, des aperçus à rafraîchissement automatique, une gestion intelligente de sudo et une interface entièrement personnalisable pour les utilisateurs expérimentés et les débutants. Fatigué des commandes systemctl répétitives ? isd rationalise le processus en fournissant une interface unifiée qui affiche uniquement les informations et les commandes pertinentes. L'installation est simple via AppImage, Nix ou uv, le rendant accessible sur diverses distributions Linux. Même si vous utilisez uniquement `systemctl status`, la sortie à rafraîchissement automatique d'isd améliore l'efficacité.

Lire plus
(isd-project.github.io)
Développement

ELIZA Réanimée : Le Premier Chatbot au Monde Restauré

2025-01-18
ELIZA Réanimée : Le Premier Chatbot au Monde Restauré

Des chercheurs ont réussi à faire revivre ELIZA, généralement considéré comme le premier chatbot au monde, sur un système CTSS restauré, le premier système de partage de temps au monde (émulé sur un IBM 7094). Utilisant des imprimés originaux, le code MAD-SLIP et des documents de support trouvés dans les archives du Professeur Weizenbaum au MIT, ils ont recréé ELIZA et son célèbre script DOCTOR. L'ensemble du projet est open-source, permettant à quiconque disposant d'un système d'exploitation de type Unix d'exécuter ce chatbot révolutionnaire.

Lire plus
(arxiv.org)
IA

Au revoir, filtres de messagerie : ma stratégie de boîte de réception minimaliste

2025-01-18
Au revoir, filtres de messagerie : ma stratégie de boîte de réception minimaliste

L'auteur a expérimenté les étiquettes et les dossiers de Gmail et d'Apple Mail, ainsi que les règles de messagerie de ProtonMail, mais il a finalement constaté que ces fonctionnalités augmentaient la charge cognitive de la gestion des emails, ce qui entraînait la perte de messages importants. Il a donc supprimé tous les filtres de messagerie, ne conservant qu'une seule boîte de réception. En se désabonnant agressivement, en bloquant les expéditeurs et en utilisant la fonction de recherche, il a réussi à gérer efficacement ses emails et à évaluer rapidement leur importance.

Lire plus
(coryd.dev)
Divers gestion des emails

Le "catfishing" professionnel de la génération Z : une rébellion silencieuse en milieu professionnel

2025-01-18
Le

Une récente enquête révèle qu'un tiers des adultes de la génération Z se livrent au "catfishing" professionnel – acceptant des offres d'emploi mais ne se présentant pas intentionnellement le premier jour. Cette tendance reflète la résistance de la génération Z aux pressions du monde du travail, privilégiant leurs besoins et objectifs personnels plutôt que de se conformer à la culture d'entreprise. Du "quiet quitting" au "coffee badging", la génération Z défie les normes traditionnelles du travail et recherche l'équilibre entre vie professionnelle et personnelle de multiples façons.

Lire plus
(nypost.com)
Startup Génération Z rébellion

Génération de monde infini : un algorithme Wave Function Collapse amélioré

2025-01-18
Génération de monde infini : un algorithme Wave Function Collapse amélioré

Cet article décrit une méthode rapide, déterministe, parallélisable et fiable pour générer des villes infinies à l’aide d’un algorithme Wave Function Collapse (WFC) amélioré. L’auteur aborde les limitations précédentes, telles que le non-déterminisme, les fuites de mémoire et le traitement monothread. La nouvelle approche génère des mondes infinis en pré-générant des cartes de tuiles et en remplaçant les blocs au moment de l’exécution, en s’adaptant aux cartes de hauteur arbitraires, ce qui donne des visuels impressionnants.

Lire plus
(marian42.de)
Jeux Génération de monde infini

Vulnérabilité de Windows BitLocker : contourner le chiffrement sans tournevis

2025-01-18
Vulnérabilité de Windows BitLocker : contourner le chiffrement sans tournevis

Une faille critique dans Windows BitLocker permet aux attaquants d'extraire la clé de chiffrement du disque sans accès physique, ne nécessitant qu'une connexion réseau et un clavier. La vulnérabilité exploite un défaut dans le gestionnaire de démarrage Windows, permettant aux attaquants de rétrograder vers une version vulnérable et de contourner le démarrage sécurisé. Bien que corrigée fin 2022, un défaut de conception dans la norme de démarrage sécurisé permet la persistance de l'exploitation. L'article détaille l'exploitation, y compris un démarrage PXE sur un gestionnaire de démarrage dégradé, la manipulation des données de configuration de démarrage (BCD) pour déclencher un redémarrage en douceur et l'analyse de la mémoire pour la VMK à l'aide d'une faille Linux. Des stratégies d'atténuation, telles que l'activation d'un code PIN de pré-démarrage ou l'application du correctif KB5025885, sont présentées.

Lire plus
(neodyme.io)
Technologie Vulnérabilité Démarrage sécurisé

TCL mise sur des écrans semblables à du papier : NXTPAPER 4.0 arrive au CES 2025

2025-01-18

TCL a dévoilé au CES 2025 son NXTPAPER 4.0, une technologie d'écran qui tente d'imiter la sensation de lecture sur papier pour réduire la fatigue oculaire. Cette nouvelle version offre une amélioration significative de la luminosité par rapport aux versions précédentes, atteignant 550 nits, et sera intégrée à une nouvelle tablette et un nouveau téléphone. Un mode unique appelé "Max Ink" réduit encore davantage la luminosité et promet jusqu'à 7 jours de lecture et 26 jours en veille. Bien que les prix et les dates de lancement n'aient pas encore été révélés, NXTPAPER 4.0 offre une alternative intéressante pour les utilisateurs recherchant une expérience d'écran plus confortable pour les yeux.

Lire plus
(notes.ghed.in)
Matériel écran anti-fatigue

AMD Radeon Instinct MI300A : Plongez au cœur de son architecture APU massive

2025-01-18
AMD Radeon Instinct MI300A : Plongez au cœur de son architecture APU massive

L'AMD Radeon Instinct MI300A est une APU colossale intégrant 24 cœurs Zen 4 et 228 unités de calcul CDNA3. Cet article explore en profondeur son immense interconnexion Infinity Fabric, soulignant ses caractéristiques de haute bande passante et de faible latence, ainsi que le partage efficace des données entre le CPU et le GPU. Bien que son sous-système mémoire haute bande passante soit excellent pour le GPU, il impacte la latence du CPU, ce qui se traduit par des performances entières monofilaires comparables au Ryzen 9 3950X d'il y a quelques années. Malgré cela, la MI300A a connu un succès significatif en supercalcul, notamment en alimentant le système El Capitan du LLNL et en occupant la première place du classement TOP500.

Lire plus
(chipsandcheese.com)
Matériel

Toyota Prius : Le Pionnier Hybride Qui a Révolutionné l'Industrie Automobile

2025-01-18
Toyota Prius : Le Pionnier Hybride Qui a Révolutionné l'Industrie Automobile

Le lancement de la Toyota Prius en 1997 a marqué un tournant dans l'histoire de l'industrie automobile, en tant que premier véhicule hybride produit en série au monde. En combinant un moteur à combustion interne et un moteur électrique, elle a considérablement réduit la consommation de carburant et les émissions, surmontant des défis techniques et commerciaux importants. Ces défis comprenaient la conception d'une chaîne cinématique hybride efficace, la gestion de la technologie des batteries et la réponse au scepticisme des consommateurs. Le succès de la Prius a non seulement établi une nouvelle référence pour les véhicules écologiques, mais a également incité d'autres constructeurs automobiles à accélérer le développement des hybrides, modifiant fondamentalement le paysage automobile. Aujourd'hui encore, la Prius continue de battre des records d'efficacité énergétique et de stimuler l'innovation.

Lire plus
(spectrum.ieee.org)
Technologie voiture hybride

La FTC enquête sur l'accord Microsoft-OpenAI pour des raisons antitrust

2025-01-18
La FTC enquête sur l'accord Microsoft-OpenAI pour des raisons antitrust

La Federal Trade Commission (FTC) a exprimé des inquiétudes concernant l'investissement de 13 milliards de dollars de Microsoft dans OpenAI, craignant que cela puisse étendre la domination de Microsoft dans le cloud computing au marché émergent de l'IA et potentiellement conduire à l'acquisition totale de sociétés d'IA par les géants de la technologie à l'avenir. La FTC enquête également sur les partenariats d'Amazon et de Google avec d'autres sociétés d'IA, soulignant des risques potentiels de violation des règles antitrust.

Lire plus
(www.bloomberg.com)
Technologie investissement IA

Les LLM ont-ils tué le PNL traditionnel ?

2025-01-18
Les LLM ont-ils tué le PNL traditionnel ?

L'essor des grands modèles de langage (LLM), tels que ChatGPT, remet en question les approches traditionnelles du traitement du langage naturel (PNL). Le PNL traditionnel décompose souvent les problèmes en sous-problèmes plus petits (par exemple, classification de texte, reconnaissance d'entités nommées), en entraînant des modèles séparés pour chacun, ce qui nécessite une quantité importante de données étiquetées. Cependant, les LLM peuvent gérer diverses tâches de PNL avec des invites à zéro coup, éliminant le besoin de données d'entraînement étendues et le réentraînement des modèles, simplifiant le processus et améliorant l'efficacité. Cela soulève la question de savoir si les LLM finiront par remplacer le PNL traditionnel.

Lire plus
(medium.com)
IA

Maître de son propre destin : Entrepreneurs vs. Vies prédestinées

2025-01-18
Maître de son propre destin : Entrepreneurs vs. Vies prédestinées

Cet article relate l'expérience de l'auteur Steve Blank avec un vieil ami, Glen, explorant la question de savoir si le chemin de la vie est prédéterminé ou autodirigé. Blank réfléchit à leur amitié pendant la guerre du Vietnam et aux trajectoires très différentes que leurs vies ont prises. Il soutient que la plupart des gens vivent des vies non examinées, tandis que les entrepreneurs façonnent activement leurs circonstances, luttent pour l'excellence et poussent l'humanité vers l'avant. L'article encourage les lecteurs à prendre le contrôle de leur destin et à devenir maîtres de leur propre destin.

Lire plus
(steveblank.com)
Startup choix de vie destin

La tentative hilarante d'Honest Achmed pour devenir une autorité de certification racine Mozilla

2025-01-18

Honest Achmed, un particulier, a soumis une demande pour ajouter son certificat racine au magasin de confiance de Mozilla. Sa demande, pleine d'humour et d'ironie, détaillait un plan d'affaires ambitieux : vendre suffisamment de certificats pour devenir « trop gros pour faire faillite », échappant ainsi à la réglementation. Mozilla a finalement rejeté la demande comme invalide, mais le fil de discussion Bugzilla a suscité un débat animé entre les développeurs, rempli de blagues et de commentaires sur l'état de l'industrie des autorités de certification.

Lire plus
(bugzilla.mozilla.org)
Divers Certificat racine Autorité de certification

Les gribouillis des enfants de Darwin : Un aperçu de la vie familiale d'un génie scientifique

2025-01-18
Les gribouillis des enfants de Darwin : Un aperçu de la vie familiale d'un génie scientifique

Des archives récemment numérisées révèlent les dessins ludiques que les enfants de Darwin ont réalisés dans les manuscrits de leur père, offrant un aperçu unique de la vie familiale du biologiste évolutionniste. Les enfants n'étaient pas seulement des sujets d'observation scientifique pour Darwin ; ils ont participé activement à ses recherches, et plusieurs d'entre eux sont devenus des scientifiques accomplis. Ces gribouillis, ainsi que les écrits de Darwin, permettent une meilleure compréhension de son œuvre et de son héritage.

Lire plus
(www.openculture.com)
Divers

Désactivation de l'authentification par mot de passe pour SSH accessible sur Internet : renforcement de la sécurité ou excès ?

2025-01-18

Cet article pèse le pour et le contre de la désactivation de l'authentification par mot de passe pour SSH accessible sur Internet. Bien que des mots de passe forts offrent une protection contre les attaques par force brute, l'auteur soutient que la désactivation de l'authentification par mot de passe offre des couches de sécurité supplémentaires contre le vol d'informations d'identification, les vulnérabilités du serveur SSH et les attaques ciblant les comptes par défaut. Cependant, cela introduit également des inconvénients, tels que l'impossibilité de se connecter sans une paire de clés. L'auteur suggère une considération attentive des compromis en fonction des circonstances individuelles.

Lire plus
(utcc.utoronto.ca)
Développement sécurité SSH authentification par mot de passe

Défendre le RSS : la campagne d’une personne pour de meilleurs flux d’actualités

2025-01-18
Défendre le RSS : la campagne d’une personne pour de meilleurs flux d’actualités

ReedyBear, un blogueur, milite activement pour que davantage de sites Web prennent en charge les flux RSS. Frustré par l’absence de prise en charge du RSS sur de nombreux sites qu’il suit, il a contacté personnellement des organisations gouvernementales, des organes de presse et des entreprises de jeux vidéo, persuadant avec succès certaines d’entre elles d’ajouter le RSS. L’article encourage les lecteurs à rejoindre le mouvement, soulignant les avantages du RSS pour une expérience d’information plus propre et plus contrôlée, sans publicité ni biais algorithmiques.

Lire plus
(reedybear.bearblog.dev)
Divers accès à l’information défense des utilisateurs

Chute de météorite au Canada filmée par une caméra de sécurité domestique : une première mondiale ?

2025-01-18
Chute de météorite au Canada filmée par une caméra de sécurité domestique : une première mondiale ?

Une caméra de sécurité domestique située sur l'Île-du-Prince-Édouard, au Canada, a filmé ce qui pourrait être la première vidéo et le premier enregistrement audio au monde d'un impact de météorite. La météorite est tombée exactement à l'endroit où se trouvait le propriétaire quelques minutes auparavant, en juillet 2024. Alerté par des débris étranges, le propriétaire a visionné les images pour assister à l'événement. L'Université de l'Alberta a confirmé que la météorite, nommée "Météorite Charlottetown", était une chondrite ordinaire. Cet événement unique, avec enregistrement sonore, ajoute un nouveau chapitre à l'histoire naturelle de l'île et souligne la valeur inattendue des images de sécurité domestique dans la recherche scientifique.

Lire plus
(www.smithsonianmag.com)
Technologie météorite caméra de sécurité

Amusez-vous avec les attaques par analyse temporelle : exploiter les subtiles différences de temps pour craquer les mots de passe

2025-01-18

Cet article dévoile une technique d’attaque astucieuse connue sous le nom d’attaque par analyse temporelle. En appelant à plusieurs reprises une fonction apparemment sécurisée, `checkSecret`, et en mesurant précisément son temps d’exécution, un attaquant peut en déduire la valeur secrète. Même si `checkSecret` ne présente aucune faille de sécurité évidente, son mécanisme interne de « sortie anticipée » fait que les suppositions partiellement correspondantes prennent plus de temps, ce qui entraîne une fuite d’informations. L’article détaille comment exploiter cette différence de temps, en combinant l’échantillonnage de Thompson et une structure de données Trie pour deviner efficacement les mots de passe, et discute de la gestion des complexités du bruit du réseau. Enfin, l’article souligne l’importance d’éviter la comparaison directe des données sensibles, en recommandant l’utilisation de hachages ou d’autres algorithmes sécurisés, et en mettant en place des limites de débit robustes.

Lire plus
(ostro.ws)
Technologie attaque par analyse temporelle craquage de mot de passe

Incendies à Los Angeles : une blessure auto-infligée

2025-01-18
Incendies à Los Angeles : une blessure auto-infligée

L'auteur raconte son expérience personnelle des incendies de forêt dévastateurs de Los Angeles, arguant que la catastrophe n'était pas un événement naturel, mais plutôt la conséquence d'une négligence à long terme de la gestion des incendies de forêt. L'article souligne le manque de mesures préventives, telles que le débroussaillage régulier, et les processus d'examen environnementaux excessivement longs qui entravent les efforts de prévention des incendies, menant à une accumulation massive de combustible et, finalement, à des incendies catastrophiques. L'auteur appelle à un nouvel accent sur la prévention des incendies, à des processus d'approbation simplifiés et à un examen critique des politiques actuelles afin d'éviter de futures tragédies.

Lire plus
(caseyhandmer.wordpress.com)
Technologie prévention des incendies de forêt politique environnementale

L'impact environnemental de ChatGPT : démystification

2025-01-18
L'impact environnemental de ChatGPT : démystification

De récentes discussions sur l'impact environnemental de ChatGPT et d'autres grands modèles de langage (LLM) ont suscité des inquiétudes concernant la consommation excessive d'énergie et la pollution. Cependant, cet article soutient que ces affirmations sont largement exagérées. L'énergie utilisée par une seule recherche ChatGPT est bien inférieure à ce que l'on croit généralement, éclipsée par des activités quotidiennes comme regarder Netflix. De plus, la consommation totale d'énergie des LLM doit être considérée en fonction du nombre d'utilisateurs ; son impact est significativement moindre que celui d'autres activités internet telles que le streaming vidéo. Bien que l'entraînement de grands modèles soit effectivement énergivore, il s'agit d'un coût unique, et la consommation d'énergie de l'utilisation ultérieure est bien inférieure à ce que beaucoup imaginent. L'auteur appelle à une évaluation rationnelle de l'impact environnemental des LLM, mettant en garde contre la désinformation qui pourrait faire manquer aux gens cette technologie bénéfique.

Lire plus
(andymasley.substack.com)
Technologie Impact environnemental Consommation d'énergie

Le modèle d'IA d'OpenAI révolutionne la reprogrammation des cellules souches

2025-01-18
Le modèle d'IA d'OpenAI révolutionne la reprogrammation des cellules souches

OpenAI, en collaboration avec la société de recherche sur la longévité Retro Biosciences, a développé un modèle linguistique ajusté, GPT-4b micro, qui améliore considérablement l'efficacité de la reprogrammation des cellules souches. En reconfigurant les protéines du facteur Yamanaka, le modèle a obtenu une amélioration de plus de 50 fois dans la conversion des cellules en cellules souches. Cette recherche révolutionnaire marque une étape importante dans la contribution de l'IA à la découverte scientifique, offrant de nouveaux espoirs pour la recherche anti-âge et la médecine régénérative. Bien que le mécanisme exact reste à étudier, les résultats sont prometteurs.

Lire plus
(www.technologyreview.com)
IA Cellules souches

Shazam pour léopards : identifier les grands félins à leurs rugissements

2025-01-18
Shazam pour léopards : identifier les grands félins à leurs rugissements

Des chercheurs en Tanzanie ont mis au point une technique révolutionnaire pour identifier les léopards individuellement en analysant les motifs uniques de leurs rugissements. En analysant 75 000 heures de données acoustiques, ils ont atteint une précision de 93 % dans l'identification des léopards individuels. Cette méthode novatrice surmonte les limites des techniques de suivi traditionnelles, offrant un outil puissant pour les efforts de conservation, particulièrement crucial compte tenu de la perte croissante d'habitat. L'étude souligne le potentiel de la bioacoustique dans la conservation de la faune.

Lire plus
(nautil.us)
Technologie bioacoustique conservation de la faune léopard

Les Archives nationales ont besoin de votre aide pour déchiffrer l'écriture historique

2025-01-18
Les Archives nationales ont besoin de votre aide pour déchiffrer l'écriture historique

Les Archives nationales des États-Unis possèdent une vaste collection de documents historiques écrits en cursive, dont beaucoup sont difficiles à lire. Pour améliorer l'accessibilité de son catalogue numérique, les Archives ont lancé le programme « Archiviste citoyen », recrutant des bénévoles pour transcrire et organiser ces documents manuscrits. Les bénévoles peuvent utiliser des outils en ligne simples pour transcrire ou étiqueter des documents déjà transcrits, contribuant même avec peu de temps. Ce projet aide non seulement la recherche historique, mais donne également accès à plus de personnes à l'histoire américaine et renouvelle même l'intérêt pour l'écriture cursive, alors que de plus en plus d'États rendent son enseignement obligatoire dans les écoles.

Lire plus
(www.smithsonianmag.com)
Technologie archives historiques bénévoles écriture cursive

Un caricaturiste lauréat du prix Pulitzer arrêté pour du CSAM généré par IA

2025-01-18
Un caricaturiste lauréat du prix Pulitzer arrêté pour du CSAM généré par IA

En vertu d'une nouvelle loi californienne visant le matériel d'abus sexuel sur enfant (CSAM) généré par IA, le caricaturiste lauréat du prix Pulitzer, Darrin Bell, a été arrêté pour possession de 134 vidéos de CSAM. La loi, entrée en vigueur le 1er janvier, criminalise le CSAM généré par IA même sans victime réelle, invoquant le préjudice inhérent et la revictimisation de ceux qui sont représentés dans les données d'entraînement. La police a retracé les fichiers jusqu'au compte de Bell, marquant la première arrestation du Sacramento Valley ICAC pour du CSAM généré par IA. Cette affaire met en lumière les défis juridiques et éthiques émergents posés par le contenu généré par IA dans le contexte de l'exploitation des enfants.

Lire plus
(arstechnica.com)
Technologie Loi

Révolutionner le mécanisme de montre à phases lunaires : l’approche Lunase

2025-01-18

Cet article explore les problèmes de précision des affichages des phases lunaires dans les montres. Les mécanismes traditionnels utilisent des disques d’occultaion simples, incapables de simuler avec précision le terminateur elliptique et sa vitesse variable au cours du cycle lunaire. L’auteur présente Lunase, un mécanisme novateur utilisant de multiples engrenages semi-circulaires travaillant de concert pour imiter plus précisément la lune croissante et décroissante. Un mécanisme de came ingénieux réinitialise la phase automatiquement. L’article explore également d’autres solutions possibles pour l’affichage des phases lunaires, en analysant leur faisabilité et leur précision. Le projet Lunase a abouti à un prototype de montre de bureau fonctionnel, prouvant la viabilité du mécanisme.

Lire plus
(genuineideas.com)
Design conception de montres conception mécanique affichage des phases lunaires

Le gigantesque porte-conteneurs de BYD alimente les ambitions mondiales de véhicules électriques

2025-01-18
Le gigantesque porte-conteneurs de BYD alimente les ambitions mondiales de véhicules électriques

BYD a lancé le plus grand porte-conteneurs au monde, le BYD Shenzen, capable de transporter 9 200 véhicules. Il s'agit du quatrième navire roulier de BYD, après trois autres ayant déjà livré des milliers de véhicules électriques en Europe et en Amérique du Sud. Après un record de 4,25 millions de ventes de véhicules à énergie nouvelle (NEV) en 2024, BYD se développe agressivement sur le marché mondial, contestant les constructeurs automobiles traditionnels et obtenant un succès significatif sur des marchés comme le Japon et la Corée du Sud. L'échelle du Shenzen souligne l'ambition de BYD de dominer le marché mondial des véhicules électriques.

Lire plus
(electrek.co)
Technologie Expansion mondiale

La Cour suprême maintient l'interdiction de TikTok : un coup porté à la liberté d'expression ?

2025-01-18
La Cour suprême maintient l'interdiction de TikTok : un coup porté à la liberté d'expression ?

La Cour suprême des États-Unis a maintenu l'interdiction de TikTok, suscitant un débat sur la liberté d'expression et la protection des données. L'Electronic Frontier Foundation (EFF) a exprimé sa profonde déception, arguant que la Cour n'a pas suffisamment examiné l'impact de cette interdiction sur le Premier Amendement. L'EFF soutient que l'interdiction est basée sur le contenu, visant à contrôler ce que les Américains voient et partagent, plutôt que de répondre à de véritables préoccupations en matière de sécurité des données. L'EFF estime que la fermeture ou la vente forcée de plateformes de médias sociaux sous prétexte de sécurité nationale est antidémocratique, et plaide pour une législation complète sur la protection de la vie privée plutôt que de sacrifier la liberté d'expression.

Lire plus
(www.eff.org)
Technologie interdiction de TikTok

Un programme concurrent simple défie l'intuition

2025-01-18

Un programme concurrent apparemment simple, impliquant deux processus incrémentant une variable 'n' dix fois chacun, a donné un résultat surprenant lorsqu'il a été analysé avec un vérificateur de modèles. Intuitivement, la valeur finale de 'n' devrait être comprise entre 10 et 20. Cependant, un entrelacement extrême des processus a abouti à 'n' égal à 2. Bien qu'un programme Go tentant de reproduire ce comportement ait échoué, soulignant la rareté de tels entrelacements extrêmes en pratique, l'exemple souligne les complexités et la nature contre-intuitive de la programmation concurrente.

Lire plus
(wyounas.github.io)
Développement comportement contre-intuitif
1 2 … 511 512 513 515 517 518 519 … 595 596