Webtagr - Résumé de news de technologie

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

Au-delà des milliards : Réinventer le rêve américain dans un monde décentralisé

2025-01-07

L'article de blog de Jeff Atwood réfléchit sur l'état actuel du rêve américain et l'impact des géants de la technologie sur la société. Il partage son parcours personnel, de ses humbles débuts au succès grâce à Stack Overflow et Discourse, réalisant finalement que la richesse ne devrait pas être la seule mesure de la réussite. L'article plaide pour la lutte contre les inégalités sociales et préconise la construction d'une société plus juste grâce à des plateformes décentralisées (comme Mastodon) et à des dons de charité, partageant le rêve américain. Il a fait des dons importants à des œuvres de charité et prévoit de donner la moitié de la richesse de sa famille au cours des cinq prochaines années pour soutenir les institutions démocratiques et promouvoir l'équité sociale.

(blog.codinghorror.com)

Startup Rêve américain Équité sociale

L'ascension des constructeurs automobiles chinois : Geely intègre le top 10 mondial

2025-03-06

L'ascension des constructeurs automobiles chinois : Geely intègre le top 10 mondial

Le classement mondial des ventes automobiles 2024 est sorti, et Geely rejoint le top 10, après l'entrée de BYD l'année dernière. Cela porte à deux le nombre de constructeurs automobiles chinois parmi les dix premiers. Le groupe Toyota reste en tête pour la cinquième année consécutive, malgré une légère baisse des ventes. Volkswagen arrive deuxième, suivi par le groupe Hyundai Motor et Stellantis. BYD a connu une forte croissance des ventes, se classant cinquième, et son cours de bourse a grimpé après l'annonce de la conduite intelligente IA comme équipement standard. Geely a vendu 3,34 millions de véhicules, se classant dixième. BYD et Geely étendent activement leurs activités à l'international et ont intenté ensemble une action en justice contre les droits de douane de l'UE sur les véhicules chinois, ce qui pourrait stimuler leur entrée sur le marché européen.

(daoinsights.com)

Technologie ventes automobiles constructeurs automobiles chinois

Keeper (YC) recrute un Ingénieur Full Stack Senior

2025-01-01

Keeper (YC) recrute un Ingénieur Full Stack Senior

Keeper, une entreprise soutenue par Y Combinator et qui développe des logiciels pour les comptables, recrute un Ingénieur Full Stack Senior. Le poste exige 3 ans et plus d'expérience dans le développement d'applications web avec React et Node.js, une maîtrise de TypeScript, des APIs REST et des bases de données. Keeper offre un salaire et des actions compétitifs, et a pour mission de donner aux comptables des outils efficaces.

(www.ycombinator.com)

Développement Ingénieur Full Stack

Stagnation du développement de Flatpak : le manque de mainteneurs entrave l’innovation

2025-05-23

Malgré sa popularité auprès des développeurs et des utilisateurs, et son adoption par des distributions comme Fedora, le projet Flatpak connaît une stagnation de son développement. La principale cause est la perte de développeurs clés, entraînant une lenteur dans la révision et la fusion du code, et un arriéré de nouvelles fonctionnalités et d’améliorations. L’article explore les défis liés à la prise en charge d’OSTree et d’OCI par Flatpak, l’affinement des autorisations, les espaces de noms réseau et l’intégration des pilotes NVIDIA, et propose une refonte potentielle basée sur OCI pour tirer parti de l’écosystème plus large des conteneurs et résoudre les problèmes existants.

(lwn.net)

Développement paquet d'applications

La radio AM se bat pour sa survie dans les voitures modernes

2025-01-31

La radio AM se bat pour sa survie dans les voitures modernes

La loi sur la radio AM pour chaque véhicule de 2025, réintroduite avec un soutien bipartite, vise à rendre obligatoire la radio AM dans toutes les nouvelles voitures. Les partisans soutiennent que la portée supérieure de la radio AM, particulièrement cruciale dans les zones rurales, la rend vitale pour les diffusions d'urgence. Cependant, l'industrie automobile rétorque que la radio AM n'est pas une fonction de sécurité et qu'il existe des systèmes d'alerte d'urgence alternatifs. Le débat met en lumière la tension entre l'intérêt public, les considérations commerciales et le paysage évolutif des médias et de la technologie.

(www.agweek.com)

Technologie Législation automobile Alertes d'urgence

Pourquoi j'échoue toujours : Confessions d'un accro à l'information

2025-02-03

Pourquoi j'échoue toujours : Confessions d'un accro à l'information

L'auteur a créé des centaines de projets au fil des ans, mais il échoue toujours à les terminer. Il a découvert que son besoin d'information surpassait son engagement envers ses projets ; après le lancement, la diminution des retours entraîne une perte de motivation. Il attribue cela à sa dépendance à l'information et à la gratification instantanée fournie par les flux algorithmiques, ce qui rend difficile le dépassement des obstacles d'adéquation entre le produit et le marché. Cet article explore comment surmonter la dépendance au retour instantané et persévérer dans l'achèvement des projets à l'ère de l'information.

(www.brainbun.com)

Startup addiction à l'information

L'essor de l'hyperlisibilité : surcharge d'informations à l'ère moderne

2025-03-28

L'essor de l'hyperlisibilité : surcharge d'informations à l'ère moderne

Autrefois, accéder à l'information nécessitait des efforts herculéens, comme escalader une falaise périlleuse pour trouver une inscription. Aujourd'hui, l'information est facilement disponible, voire inévitable. L'auteur invente le terme « hyperlisibilité » pour décrire cette facilité d'accès et de diffusion de l'information. Cela ne provient pas seulement des progrès technologiques, mais aussi de la recherche proactive de clarté par les individus. Pour se démarquer dans la compétition, ils partagent ouvertement des idées et des stratégies. C'est un résultat de la théorie des jeux : l'information n'est plus une ressource rare, mais elle façonne de nouveaux contextes concurrentiels, donnant naissance à une nouvelle génération de « natifs de l'hyperlisibilité » dotés de capacités de traitement de l'information surpuissantes.

(www.notboring.co)

Divers diffusion de l'information

Le théorème de Bell : une étape ignorée de la mécanique quantique

2025-03-10

Le théorème de Bell : une étape ignorée de la mécanique quantique

En 1964, John Stewart Bell a publié un article quasiment ignoré qui démontrait que la mécanique quantique est incompatible avec la localité, même s'il existait des « variables cachées » non prises en compte dans la théorie quantique. Cela a remis en question l'interprétation de Copenhague, déclenchant de profonds débats philosophiques sur la nature de la réalité. Le théorème de Bell a finalement été vérifié expérimentalement, établissant une nouvelle base pour la mécanique quantique et conduisant à une réévaluation du monde quantique par les philosophes. Bien que Bell n'ait pas reçu une large reconnaissance de son vivant, sa contribution au développement de la mécanique quantique est indéniable, son travail constituant aujourd'hui la pierre angulaire de la science de l'information quantique.

(physics.aps.org)

Technologie Théorème de Bell Mécanique quantique Variables cachées

Bocoup devient une coopérative de travailleurs : Accent sur les technologies d'intérêt public

2025-03-03

La société de conseil en logiciel Bocoup est devenue une coopérative de travailleurs, chaque membre de l'équipe devenant copropriétaire. Elle recentre ses efforts sur le développement de technologies résistantes à la capture, préservant la vie privée et servant l'intérêt public, tout en maintenant son engagement envers l'interopérabilité, l'accessibilité et des tests robustes. Bocoup conserve sa structure juridique actuelle, ce qui signifie que les contrats existants restent inchangés, et elle s'engage à servir les clients axés sur l'intérêt public. Elle défend l'égalité salariale, les semaines de travail de quatre jours et le développement personnel, dans le but de construire un modèle de prospérité plus équitable.

(www.bocoup.com)

Startup coopérative de travailleurs technologies d'intérêt public

La loi britannique sur la sécurité en ligne oblige le forum Lobsters à envisager de bloquer géographiquement les utilisateurs britanniques

2025-02-23

La loi britannique sur la sécurité en ligne (OSA), qui doit entrer en vigueur le 16 mars 2025, représente une menace importante pour le forum non commercial Lobsters. La portée étendue de la loi et les lourdes sanctions exposent Lobsters à des coûts et des risques de conformité impossibles. Pour y remédier, le forum envisage de bloquer géographiquement les utilisateurs britanniques. L'article appelle les utilisateurs britanniques à rechercher des recours juridiques ou une intervention du gouvernement pour empêcher l'OSA d'affecter de manière disproportionnée les petits forums non commerciaux.

(lobste.rs)

Technologie Sécurité en ligne

RustOwl : Visualisation de la propriété et de la durée de vie en Rust

2025-02-18

RustOwl : Visualisation de la propriété et de la durée de vie en Rust

RustOwl est un outil puissant qui visualise la propriété et la durée de vie des variables dans le code Rust. À l'aide de soulignements codés par couleur, RustOwl affiche de manière intuitive la durée de vie des variables, les emprunts immuables, les emprunts mutables et le déplacement de valeurs, aidant les développeurs dans le débogage et l'optimisation. Il prend en charge des éditeurs tels que VSCode, Neovim et Emacs, et offre plusieurs méthodes d'installation, notamment une installation simple en ligne de commande et une installation manuelle à partir du code source. Bien que de petits problèmes d'affichage puissent survenir occasionnellement, RustOwl a démontré un potentiel significatif pour améliorer l'efficacité du développement Rust.

(github.com)

Développement

Comprendre les foncteurs, les applicatifs et les monades en Haskell

2025-03-30

Comprendre les foncteurs, les applicatifs et les monades en Haskell

Cet article fournit une explication claire et accessible des foncteurs, des applicatifs et des monades en programmation fonctionnelle Haskell, utilisant des analogies pour simplifier la compréhension de concepts complexes. L'auteur utilise la métaphore des boîtes pour illustrer comment ces types gèrent l'application de fonctions dans différents scénarios, en fournissant des exemples de code pour démontrer leur utilisation et leurs différences. L'article se conclut par une réflexion sur l'importance d'apprendre et de partager des connaissances, suite à une interaction avec la communauté Haskell.

(www.thecoder.cafe)

Développement Monades

Votre téléviseur vous espionne : l’essor de la publicité en streaming et le coût de la vie privée

2025-03-28

Votre téléviseur vous espionne : l’essor de la publicité en streaming et le coût de la vie privée

Les plateformes de streaming s’appuient de plus en plus sur la publicité pour générer des revenus, allant même jusqu’à surveiller les habitudes de visionnage des utilisateurs pour un ciblage publicitaire personnalisé. L’article prend Roku comme étude de cas, détaillant sa transformation d’une entreprise de matériel en une puissance publicitaire, acquérant des entreprises de technologie publicitaire pour collecter les données des utilisateurs afin d’un placement précis des publicités. Cette tendance n’est pas propre à Roku ; de nombreux fabricants de téléviseurs et géants de la technologie utilisent des tactiques similaires, utilisant la Reconnaissance Automatique du Contenu (ACR) pour surveiller ce que les utilisateurs regardent et utiliser ces données pour l’analyse et la publicité ciblée. Bien que les publicités personnalisées puissent améliorer l’expérience utilisateur, des préoccupations importantes concernant la vie privée apparaissent. L’article conclut en suggérant qu’opter pour des téléviseurs anciens, non intelligents, et éviter la connexion à des appareils intelligents est la meilleure façon d’éviter les publicités et la collecte de données.

(www.vox.com)

Technologie publicité en streaming vie privée de l'utilisateur

Vulnérabilité critique RCE découverte dans Apache Parquet (CVE-2025-30065)

2025-04-06

Vulnérabilité critique RCE découverte dans Apache Parquet (CVE-2025-30065)

Une vulnérabilité critique d'exécution de code à distance (RCE) (CVE-2025-30065), avec un score CVSS de 10.0, a été découverte dans les versions d'Apache Parquet jusqu'à la 1.15.0 incluse. Les attaquants peuvent exploiter cette faille en utilisant des fichiers Parquet spécialement conçus pour prendre le contrôle des systèmes. Cela affecte un large éventail de plates-formes de big data, y compris Hadoop, AWS, et est utilisé par des entreprises comme Netflix et Uber. La version 1.15.1 corrige ce problème ; une mise à niveau immédiate est recommandée. Bien qu'aucune exploitation active n'ait été signalée, le risque est élevé en raison de la gravité et de l'utilisation généralisée de Parquet.

(www.bleepingcomputer.com)

Technologie vulnérabilité RCE Sécurité Big Data

L'Apple Watch du vice-président Vance : un risque pour la sécurité nationale ?

2025-02-09

L'Apple Watch du vice-président Vance : un risque pour la sécurité nationale ?

Une lettre ouverte d'un ancien agent de la CIA met en garde le vice-président Vance contre les risques importants pour la sécurité nationale que représente son Apple Watch. La lettre souligne comment le microphone de la montre, le suivi GPS et les fonctions de collecte de données biométriques pourraient être exploités par des services de renseignement hostiles pour voler des secrets et même le manipuler. L'auteur recommande des alternatives plus sûres, telles que la Sangin Instruments Neptune, la Marathon 41 mm Diver's Automatic (GSAR) ou une Breitling « Maison Blanche » Aerospace. Cet article offre un point de vue unique sur les implications potentielles en matière de sécurité nationale de dispositifs technologiques apparemment inoffensifs, ce qui incite à la réflexion sur la vie privée et la sécurité de l'information.

(www.watchesofespionage.com)

Technologie renseignement montre intelligente

De l'héritage à l'innovation : l'évolution du paysage de la richesse américaine

2025-02-22

Cet article analyse le changement spectaculaire dans la composition des individus les plus riches des États-Unis entre 1982 et 2020. En 1982, la richesse héritée dominait, tandis qu'en 2020, seulement environ un quart des 100 plus grandes fortunes étaient héritées, la plupart provenant de la création d'entreprises technologiques ou de la gestion de placements fructueuse. Ce changement n'est pas dû à l'augmentation des impôts sur les successions, mais à une augmentation de la création de richesse par l'entremise de l'entrepreneuriat. Les entreprises technologiques sont devenues la principale source de nouvelle richesse, réussissant non seulement grâce à la négociation, mais aussi grâce à leur prouesse technologique. Cela contraste fortement avec le paysage de 1982, dominé par le pétrole et l'immobilier. L'article soutient que les oligopoles et les taux d'imposition élevés du milieu du XXe siècle ont étouffé l'entrepreneuriat, tandis que les progrès technologiques et la déréglementation à partir des années 1970 ont alimenté sa résurgence, faisant de l'entrepreneuriat la principale voie d'accumulation de richesse.

(paulgraham.com)

Startup création de richesse entrepreneuriat technologique transformation économique

L'œuf géant du kiwi : un mystère résolu ?

2025-05-03

L'œuf géant du kiwi : un mystère résolu ?

Le kiwi, un oiseau incapable de voler, pond un œuf pouvant peser jusqu'à un quart de sa masse corporelle, un phénomène longtemps attribué à un héritage d'ancêtres plus grands. Cependant, de nouvelles analyses d'ADN remettent en question cette théorie, suggérant que l'œuf géant du kiwi est une adaptation développée au cours de son évolution à partir d'un oiseau volant plus petit. L'œuf surdimensionné permet aux poussins de kiwi d'être plus précoces, augmentant leur taux de survie dans un environnement avec peu de prédateurs terrestres mais de nombreux prédateurs aériens. Cette recherche remodèle notre compréhension de l'évolution du kiwi et des processus évolutifs des oiseaux.

(www.audubon.org)

Technologie œuf géant

Le 'Sit Club' de San Francisco se Revolte Contre la Culture de la Course à Pied

2025-04-08

Le 'Sit Club' de San Francisco se Revolte Contre la Culture de la Course à Pied

Fatigué du battage médiatique autour de la course à pied ? Un groupe de San-Franciscains a organisé une rébellion ludique contre la culture de la course à pied en créant un 'Sit Club'. Leur événement au Golden Gate Park, avec une version unique des chaises musicales, a attiré l'attention des médias et du public. Plus qu'une simple satire de la culture de la course à pied, il a suscité une conversation sur les styles de vie alternatifs et les choix de vie sains.

(rawandferal.substack.com)

Divers contre la culture de la course à pied événement hors ligne

Git 20 ans : Linus Torvalds revient sur son parcours

2025-04-13

Git 20 ans : Linus Torvalds revient sur son parcours

Pour célébrer le 20e anniversaire de Git, GitHub a organisé une séance de questions-réponses avec Linus Torvalds. Il a retracé les origines de Git, né de la nécessité de résoudre le chaos du contrôle de version du noyau Linux. Développé en seulement 10 jours, la version initiale est rapidement devenue un outil indispensable pour le développement logiciel dans le monde entier. Malgré les difficultés initiales, l'adoption de Git a explosé. Linus admet que son intérêt personnel a diminué une fois ses besoins satisfaits, passant rapidement la maintenance à Junio Hamano. Aujourd'hui, l'omniprésence de Git présente de nouveaux défis, comme une augmentation du nombre de projets abandonnés. L'attention de Linus reste focalisée sur le développement continu du noyau Linux, sans projet immédiat en vue.

(news.itsfoss.com)

Développement

Test de batterie au lithium : leçons apprises après une semaine

2025-04-01

Test de batterie au lithium : leçons apprises après une semaine

Après une semaine d'utilisation d'une batterie au lithium pour l'alimentation, l'auteur partage son expérience. L'efficacité de charge de la batterie au lithium est très élevée, et la tension de décharge diminue lentement et de manière prévisible. Lors du test, une charge d'aspirateur de 1200 W n'a pas causé de surchauffe. Cependant, après cinq nuits consécutives d'alimentation, la tension d'une batterie a chuté drastiquement. La raison était des incohérences de capacité dues à des différences dans le nombre de cellules dans chaque batterie ; les batteries avec moins de cellules ont montré une augmentation de capacité plus importante à des taux C plus faibles. L'auteur a résolu le problème en ajoutant des cellules et en rééquilibrant, concluant que de légers déséquilibres sont acceptables tant que les batteries n'atteignent pas leurs limites extrêmes de charge ou de décharge.

(secondlifestorage.com)

Matériel batterie lithium test batterie stockage énergie

Microrobot volant : Un robot volant sans fil miniaturisé

2025-03-31

Microrobot volant : Un robot volant sans fil miniaturisé

Des chercheurs de l'UC Berkeley ont développé un minuscule robot volant sans fil avec une envergure de moins d'un centimètre. Alimenté sans fil par des champs magnétiques externes, sa portée actuelle est limitée, mais l'équipe suggère que des améliorations pourraient étendre ses capacités. Cette avancée ouvre des possibilités pour la recherche et le sauvetage, l'inspection industrielle et même la pollinisation, établissant un nouveau record pour le plus petit robot volant.

(spectrum.ieee.org)

Technologie robot volant propulsion par champ magnétique

arXivLabs : Projets expérimentaux avec les collaborateurs de la communauté

2025-02-06

arXivLabs est un framework qui permet aux collaborateurs de développer et de partager de nouvelles fonctionnalités arXiv directement sur notre site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données utilisateur. arXiv est engagé envers ces valeurs et ne travaille qu'avec des partenaires qui y adhèrent. Vous avez une idée de projet qui ajoutera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

(arxiv.org)

Développement

Un modèle de raisonnement IA à moins de 50 $ rivalise avec les concurrents de pointe

2025-02-06

Un modèle de raisonnement IA à moins de 50 $ rivalise avec les concurrents de pointe

Des chercheurs de Stanford et de l'Université de Washington ont entraîné un modèle de raisonnement IA, s1, pour moins de 50 $ en utilisant le cloud computing. Les performances de s1 sont comparables à celles des modèles de pointe tels que o1 d'OpenAI et R1 de DeepSeek pour les tâches de mathématiques et de codage. L'équipe a utilisé la distillation des connaissances, en utilisant Google Gemini 2.0 Flash Thinking Experimental comme modèle enseignant et un ensemble de données de 1 000 questions soigneusement sélectionnées. Cette réplication à faible coût soulève des questions sur la marchandisation de l'IA et aurait contrarié les grands laboratoires d'IA.

(techcrunch.com)

IA distillation des connaissances IA low-cost

reCAPTCHA : une ferme de cookies de suivi valant un billion de dollars ?

2025-02-10

reCAPTCHA : une ferme de cookies de suivi valant un billion de dollars ?

Une étude de l'UCI révèle que le reCAPTCHA de Google non seulement échoue à empêcher efficacement le trafic de bots, mais soulève également des inquiétudes concernant la confidentialité par le biais de cookies de suivi, gaspille des milliards d'heures collectives et génère près d'un billion de dollars de données pour Google. L'étude constate que la reconnaissance d'images et les fonctionnalités d'analyse comportementale de reCAPTCHA sont toutes deux précieuses pour Google, la première pour le ciblage publicitaire et la seconde pour l'entraînement de modèles d'IA. Les chercheurs estiment que le temps passé à résoudre le reCAPTCHA vaut 6,1 milliards de dollars, tandis que les bénéfices potentiels de Google avec reCAPTCHA pourraient atteindre des billions. L'étude conclut que le véritable but de reCAPTCHA est d'être une ferme lucrative de cookies de suivi, et non un service de sécurité.

(www.pcgamer.com)

Technologie

Par : un langage de programmation concurrentiel expérimental avec un espace de jeu interactif

2025-02-06

Par : un langage de programmation concurrentiel expérimental avec un espace de jeu interactif

Par est un langage de programmation concurrentiel expérimental qui tente d'appliquer le pouvoir expressif de la logique linéaire à la pratique. Il possède des propriétés uniques : les processus communiquent via des canaux, chaque canal a au plus deux points d'extrémité et les blocages sont impossibles. Toutes les valeurs sont des canaux, y compris les listes, les fonctions et les flux infinis. Bien que Par manque actuellement de certaines fonctionnalités, telles que les types primitifs et le non-déterminisme, il exprime déjà une riche concurrence. Cet article détaille la syntaxe, la sémantique et des exemples de Par, couvrant les canaux, les signaux, la récursion et la syntaxe des expressions. Un espace de jeu interactif permet aux utilisateurs de faire l'expérience de la concurrence de Par.

(github.com)

Développement programmation concurrentielle logique linéaire

Beam : Outil de transfert de fichiers et de pipes basé sur SSH

2025-01-04

Beam : Outil de transfert de fichiers et de pipes basé sur SSH

Beam est un outil permettant de transférer des fichiers et des pipes via SSH, ne nécessitant qu'un client SSH ; aucune installation binaire n'est nécessaire. Il prend en charge le transfert de pipes, offre une sécurité élevée grâce à l'authentification par clé publique et utilise des commandes SSH simples pour envoyer et recevoir des données. Des noms de canaux aléatoires peuvent améliorer la sécurité. Bien que le serveur Beam soit situé en Allemagne, les vitesses de transfert peuvent être limitées et le chiffrement de bout en bout n'est pas pris en charge (les données sont brièvement déchiffrées sur le serveur), sa nature légère et son auto-hébergement simple en font une solution pratique pour le transfert de fichiers.

(github.com)

Développement transfert de fichiers transfert de pipes

La campagne de financement du blog de l'historien Zimmerman est un succès

2025-05-09

La campagne de financement d'anniversaire de février de l'historien Robert Zimmerman pour son blog, Behind the Black, s'est terminée avec succès. Il a remercié ses lecteurs pour leurs généreux dons et abonnements, soulignant que ce soutien lui permet de réaliser des analyses indépendantes de l'espace, de la politique et de la culture, sans publicité ni parrainage. Il met en avant ses prédictions précises concernant la pandémie de COVID-19 de 2020 comme preuve de son analyse perspicace. Les lecteurs peuvent soutenir son travail via Zelle, Patreon, PayPal ou des dons par chèque.

(behindtheblack.com)

Divers financement de blog analyse indépendante prédictions historiques

Refaire vivre Zork : Une aventure de portage Cosmopolitan

2025-04-14

L'auteur a réussi à porter le code source original UNIX d'Infocom du jeu d'aventure textuel Zork (de 1985) sur des systèmes d'exploitation modernes en utilisant le projet Cosmopolitan. La capacité « écrire une fois, exécuter n'importe où » de Cosmopolitan a permis une seule compilation pour créer des exécutables fonctionnant sous Windows, macOS, Linux, etc., sans avoir besoin d'une machine virtuelle. Le processus a consisté à résoudre des problèmes tels que des conflits de définition de NULL, des déclarations de fonctions manquantes et des fonctions obsolètes dans le code C original de style K&R. Le résultat ? Des exécutables autonomes de la trilogie Zork, disponibles sur GitHub, permettant aux joueurs de vivre ce jeu classique sur du matériel moderne.

(christopherdrum.github.io)

Jeux

Python intègre la bibliothèque cryptographique formellement vérifiée HACL*

2025-04-18

Après 2,5 ans de travail, Python a intégré avec succès la bibliothèque cryptographique formellement vérifiée HACL* dans ses implémentations de hachage et HMAC. Cette mise à jour remplace l'implémentation précédente de SHA3, qui contenait une vulnérabilité CVE, et couvre plusieurs algorithmes, notamment Blake2, SHA3 et HMAC, améliorant ainsi considérablement la sécurité de Python. Le projet a surmonté les défis liés à la mise en œuvre des API de streaming et à la construction du système, et a également implémenté la gestion des échecs d'allocation de mémoire. Cela démontre le potentiel de la vérification formelle dans les projets du monde réel à grande échelle.

(jonathan.protzenko.fr)

Développement

Révolutionner l'impression 3D métallique : dépôt de métal par laser à fil

2025-02-02

Révolutionner l'impression 3D métallique : dépôt de métal par laser à fil

La société espagnole Meltio a développé une technologie révolutionnaire d'impression 3D métallique qui élimine les inconvénients des méthodes à base de poudre. Utilisant du fil métallique comme matière première, plusieurs lasers à diodes de faible puissance fondent le fil, construisant les pièces couche par couche. Appelée LMD (dépôt de métal par laser à fil), ce processus efficace et propre ne nécessite aucun nettoyage de poudre, gère divers métaux et alliages, permet le mélange de métaux et permet la réparation de pièces existantes. De plus, la technologie de Meltio peut être facilement intégrée aux bras robotiques ou aux machines CNC existantes, réduisant considérablement les coûts et les obstacles à l'entrée.

(www.core77.com)

Technologie impression métallique

← Previous 1 2 … 429 430 431 432 433 434 435 436 437 … 595 596 Next →