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

Un atterrisseur lunaire japonais entre en orbite autour de la Lune avant un atterrissage prévu en juin

2025-05-10

Un atterrisseur lunaire japonais entre en orbite autour de la Lune avant un atterrissage prévu en juin

L'atterrisseur lunaire Resilience d'ispace est entré en orbite lunaire et devrait tenter un atterrissage au cours de la première semaine de juin. Il s'agit de la deuxième tentative d'ispace, après l'échec de son premier atterrisseur en 2023. Resilience transporte un petit rover chargé de collecter des échantillons de sol lunaire pour analyse. Cette mission fait suite aux atterrissages lunaires réussis (ou partiellement réussis) des entreprises américaines Firefly Aerospace et Intuitive Machines en début d'année.

(phys.org)

Technologie

Observatoire du Vatican : Gardien millénaire des étoiles

2025-05-02

Observatoire du Vatican : Gardien millénaire des étoiles

L'Observatoire du Vatican, situé dans les jardins de la résidence d'été papale de Castel Gandolfo, au sud de Rome, possède un centre de recherche à Tucson, en Arizona : le Vatican Observatory Research Group. Il abrite un trésor de données astronomiques historiques, notamment des plaques photographiques de la fin du XIXe siècle, des ouvrages scientifiques importants, des instruments astronomiques anciens et une collection de météorites de classe mondiale. L'Observatoire effectue également des recherches d'astronomie observationnelle de pointe à l'aide de son télescope sur le mont Graham, en Arizona, contribuant ainsi de manière significative à la science planétaire, la cosmologie, la philosophie et l'astronomie stellaire et extragalactique.

(www.vaticanobservatory.org)

Technologie Astronomie d'observation

2024 en Mathématiques : Des percées et l'essor de l'IA

2024-12-20

2024 en Mathématiques : Des percées et l'essor de l'IA

2024 a été une année charnière pour les mathématiques, marquée par une série de percées significatives. Une équipe de neuf mathématiciens a prouvé la conjecture de Langlands géométrique — une preuve de 800 pages saluée comme un accomplissement majeur — connectant des domaines distincts des mathématiques. D'autres avancées importantes ont été réalisées en géométrie, résolvant des conjectures de longue date et fournissant des contre-exemples surprenants. Simultanément, l'intelligence artificielle a fait des progrès considérables, avec le modèle AlphaProof de Google DeepMind obtenant des résultats remarquables aux Olympiades internationales de mathématiques, suggérant le potentiel de l'IA comme « copilote » pour les recherches mathématiques futures. Ces réussites soulignent non seulement les progrès significatifs dans la compréhension mathématique, mais aussi le potentiel transformateur de l'IA pour façonner l'avenir du domaine.

(www.quantamagazine.org)

IA avancées mathématiques programme de Langlands géométrique

Exécuter des applications GUI directement dans des conteneurs : aucun logiciel supplémentaire requis

2025-02-27

Exécuter des applications GUI directement dans des conteneurs : aucun logiciel supplémentaire requis

Ce tutoriel explique comment exécuter des applications GUI directement dans des conteneurs (tels que Docker et Podman) sans installer de logiciel supplémentaire. En mappant intelligemment les fichiers socket Wayland et PipeWire de l'hôte et en définissant les variables d'environnement appropriées, les applications GUI à l'intérieur du conteneur accèdent à l'affichage et à l'audio de l'hôte. Le tutoriel fournit des instructions détaillées sur la création d'images Docker pour les applications GUI, y compris des scripts de lancement complets et des Dockerfiles. Ceci est utile pour exécuter des applications non fiables, tester des logiciels et exécuter des applications incompatibles avec votre distribution.

(github.com)

Développement Containerisation

Tentative ratée : Réduction de la taille des paquets npm avec Zopfli

2025-01-27

Tentative ratée : Réduction de la taille des paquets npm avec Zopfli

L'auteur a tenté de réduire la taille des paquets npm en utilisant le compresseur Zopfli afin d'améliorer les performances et de réduire les coûts de stockage. Bien que Zopfli produise des fichiers plus petits que gzip, il est considérablement plus lent. L'auteur a testé avec succès cette méthode sur ses propres projets et a soumis une proposition aux mainteneurs de npm. Cependant, en raison de la vitesse de publication plus lente introduite par Zopfli et de l'incompatibilité avec le fichier de verrouillage npm, la proposition a finalement été rejetée. Malgré l'échec, l'auteur a acquis une expérience précieuse et considère qu'il s'agit d'une tentative valable.

(evanhahn.com)

Développement

Les États-Unis expulsent des étudiants en silence : répression des visas grâce à l'IA

2025-03-30

Les États-Unis expulsent des étudiants en silence : répression des visas grâce à l'IA

L'administration Trump cible secrètement des étudiants pour les expulser, en utilisant une disposition d'immigration rarement utilisée. Ils manipulent la base de données SEVIS pour révoquer le statut des étudiants sans prévenir les étudiants ni les universités, ce qui entraîne des arrestations surprises. Le département d'État a révoqué au moins 300 visas, utilisant apparemment l'IA pour surveiller les médias sociaux pour justifier ces actions. De nombreux étudiants concernés sont originaires du Moyen-Orient et de pays à majorité musulmane, certains déclarant n'avoir eu aucun activisme politique ni de publications incendiaires sur les réseaux sociaux. Cela met en lumière la position ferme de l'administration en matière d'immigration, le mépris des droits individuels et le potentiel d'utilisation abusive de la technologie pour porter atteinte aux libertés.

(zeteo.com)

Technologie politique d'immigration américaine expulsion d'étudiants

La Collection Ultime de Livres de Programmation R

2025-04-10

La Collection Ultime de Livres de Programmation R

Ce site web est la collection ultime de plus de 400 livres gratuits et open-source sur la programmation R. Initialement publié par Oscar Baruffa en août 2020 avec plus de 100 livres, il a grandi pour inclure plus de 400 livres grâce aux contributions de la communauté. Le site dispose d'une fonction de recherche pour une navigation facile, accepte les dons et accueille les soumissions de livres. Construit avec Quarto et sous licence Creative Commons Attribution-NonCommercial-NoDerivs 3.0, le site propose également des statistiques de site en direct et est maintenu par Oscar Baruffa.

(www.bigbookofr.com)

Développement Programmation R Livres Open Source Science des Données

Une porte dérobée découverte dans la puce ESP32 menace des millions d'appareils IoT

2025-03-08

Une porte dérobée découverte dans la puce ESP32 menace des millions d'appareils IoT

Des chercheurs de Tarlogic Security ont révélé à la RootedCON une porte dérobée non documentée dans le microcontrôleur ESP32, utilisé dans des millions d'appareils IoT. Cette vulnérabilité permet aux attaquants de contourner les audits de code, d'usurper l'identité des appareils et d'infecter de manière permanente les smartphones, les ordinateurs et les serrures intelligentes. Pour y remédier, Tarlogic a également dévoilé BluetoothUSB, un outil gratuit pour simplifier les audits de sécurité Bluetooth. Cette découverte souligne le besoin crucial d'une sécurité IoT robuste et met en évidence l'importance d'outils de sécurité accessibles.

(www.tarlogic.com)

Technologie Sécurité Bluetooth

Les lacunes de Wikipédia et la puissance des éditeurs payés

2025-03-31

Wikipédia repose entièrement sur des bénévoles, ce qui entraîne des lacunes de contenu. Des domaines tels que les sciences, la technologie, l'ingénierie et la finance sont sous-représentés, tout comme le contenu des pays non anglophones. Des centaines de milliers d'articles de haute qualité restent non traduits. Un financement ciblé pourrait résoudre de manière significative ces problèmes. Cependant, même les éditeurs payés ont besoin d'autonomie et de propriété pour maintenir la qualité ; ils éditent avec leur propre compte et sont responsables du maintien de leurs contributions.

(oka.wiki)

Divers lacunes de contenu éditeurs payés

dnSpyEx : La renaissance non officielle d'un puissant débogueur et éditeur d'assemblages .NET

2025-01-15

dnSpyEx : La renaissance non officielle d'un puissant débogueur et éditeur d'assemblages .NET

dnSpyEx est une continuation non officielle du projet dnSpy, un débogueur et éditeur d'assemblages .NET populaire. Il vous permet d'éditer et de déboguer des assemblages .NET et Unity même sans code source. Les principales fonctionnalités incluent le débogage et l'édition des assemblages .NET et Unity, des thèmes clairs et sombres, et de puissantes capacités de décompilation, d'édition hexadécimale et de débogage, telles que la définition de points d'arrêt, les fenêtres de variables, les piles d'appels et la gestion des exceptions. dnSpyEx offre également une API publique pour les extensions et les scripts, et prend en charge les traductions dans plusieurs langues.

(github.com)

Développement Débogueur Décompilateur

Maître-esprit Zombi : Comment les guêpes transforment les chenilles en gardes du corps

2025-03-19

Maître-esprit Zombi : Comment les guêpes transforment les chenilles en gardes du corps

Les guêpes Glyptapanteles utilisent un cycle de vie horrible : les femelles injectent jusqu’à 80 œufs dans des chenilles. Les larves se nourrissent, puis émergent collectivement, laissant la chenille vivante mais manipulée. Les larves contrôlent la chenille, la transformant en garde du corps qui protège leurs cocons jusqu’à ce qu’elle meure de faim. La recherche de l’écologiste Arne Janssen, de l’Université d’Amsterdam, montre que cette manipulation augmente considérablement les taux de survie des guêpes. Il ne s’agit pas d’un simple parasitisme ; c’est une stratégie de survie brutale et efficace qui met en lumière les merveilles les plus sombres de la nature.

(www.wired.com)

Technologie guêpes parasites chenille manipulation comportementale

Conception du logo w3m : Élégance minimaliste

2025-01-04

Cet article détaille le processus de conception d'un logo pour w3m, un navigateur web en mode texte. L'auteur utilise habilement trois formes similaires, inspirées des trois lettres de « w3m », et tire parti des balises et de SVG pour créer un logo simple, compréhensible et facilement reproductible. La conception finale omet une inclinaison initiale pour mieux s'aligner sur la philosophie minimaliste de w3m.

(toast.al)

Design conception de logo minimalisme

Spice86 : Un émulateur DOS en mode réel basé sur .NET pour la rétro-ingénierie

2025-02-20

Spice86 : Un émulateur DOS en mode réel basé sur .NET pour la rétro-ingénierie

Spice86 est un émulateur DOS en mode réel basé sur .NET utilisé pour exécuter, faire de la rétro-ingénierie et réécrire des programmes DOS en mode réel dont le code source n'est pas disponible. Il émule l'exécution du programme, exporte les données d'exécution (dump mémoire et flux d'exécution), puis utilise le plugin spice86-ghidra pour importer ces données dans Ghidra, convertissant les instructions assembleur en code C#. Cela permet une réimplémentation progressive du code assembleur avec des méthodes C#. Spice86 possède de nombreuses options de ligne de commande, notamment le débogage, la mémoire EMS, la porte A20 et le débogage distant GDB, ainsi que des commandes GDB personnalisées pour l'analyse dynamique. Il inclut également un débogueur intégré pour inspecter la mémoire, le désassemblage, les registres, la pile et les vues de mémoire structurées.

(github.com)

Développement émulateur DOS

Gestion des dépendances Python : un incendie dévastateur

2024-12-15

Cet article explore en profondeur la complexité de la gestion des dépendances Python, la comparant à l'allumage d'un feu de joie dans une forêt sèche. L'auteur soutient que les dépendances Python ne se limitent pas à une simple commande `pip install` ; elles englobent les paquets de projet, les paquets système, le système d'exploitation, le matériel et l'environnement lui-même. Une bonne gestion des dépendances est essentielle pour la reproductibilité, garantissant des résultats cohérents dans différents environnements. L'article détaille le contrôle de version, l'isolation de l'environnement, les fichiers de définition, les fichiers de verrouillage et d'autres concepts clés. Il propose ensuite une comparaison exhaustive de nombreux outils, notamment pip, venv, virtualenv, pip-tools, Pipenv, Poetry, PDM, pyenv, pipx, uv, Conda, Mamba, conda-lock et Pixi, en analysant leurs forces, faiblesses et cas d'utilisation. Enfin, l'auteur fournit des recommandations d'outils en fonction de différents scénarios (privilèges administratifs, types de dépendances, systèmes d'exploitation, etc.) et envisage les tendances futures de la gestion des dépendances Python.

(nielscautaerts.xyz)

Développement Gestion des dépendances Python Reproductibilité Outils Python

Projet open source GitHub Thruster : Simplification du déploiement d'applications Rails avec un proxy HTTP/2

2024-12-26

Projet open source GitHub Thruster : Simplification du déploiement d'applications Rails avec un proxy HTTP/2

Thruster est un proxy HTTP/2 conçu pour simplifier les déploiements en production d'applications Rails. Il fonctionne avec le serveur web Puma, offrant des fonctionnalités telles que la prise en charge HTTP/2, la gestion automatique des certificats TLS avec Let's Encrypt, la mise en cache HTTP de base et la prise en charge de X-Sendfile avec compression. Il vise une configuration zéro ; il suffit de définir la variable d'environnement TLS_DOMAIN pour activer TLS, sinon il fonctionne uniquement en mode HTTP. Thruster encapsule également le processus Puma, ce qui le rend idéal pour les environnements conteneurisés. Initialement créé pour le projet ONCE, il est désormais utilisé pour les déploiements plus simples d'autres applications Rails.

(github.com)

Développement Déploiement

D'Arc à Dia : Le pivot de The Browser Company vers l'IA

2025-05-27

D'Arc à Dia : Le pivot de The Browser Company vers l'IA

The Browser Company annonce son changement de cap, passant de son projet de navigateur Arc à un nouveau navigateur basé sur l'IA, Dia. L'article explique qu'en dépit d'une base d'utilisateurs fidèles pour Arc, celui-ci n'a pas atteint les attentes en raison de limites de croissance, d'hésitations à adopter l'IA et de problèmes de communication. L'auteur admet que Dia n'est pas une simple itération d'Arc, mais plutôt une réponse à l'avenir des navigateurs : l'IA va fondamentalement remodeler notre interaction avec les ordinateurs, et les navigateurs traditionnels seront remplacés par des navigateurs IA. Dia vise à corriger les défauts d'Arc, en offrant une expérience plus simple, rapide et sécurisée. L'article mentionne également l'avenir d'Arc, précisant qu'il ne sera pas open source immédiatement, mais continuera à être maintenu.

(browsercompany.substack.com)

Développement

Interrupteur intelligent activé par cri: un projet inutile mais amusant

2025-05-10

Fatigué de crier sur Siri ou Alexa ? Ce projet décrit un interrupteur intelligent activé par cri. En utilisant un interrupteur intelligent Sonoff S31 et un microphone INMP441, ainsi que ESPHome et du code Arduino, l'auteur a créé un système qui contrôle l'interrupteur en détectant la fréquence et l'amplitude du son. Bien que l'utilisation d'ESPHome puisse être excessive, le projet est simple et direct, sans nécessiter de connexion Internet. Les futures versions prévoient d'améliorer la sélection du matériel et d'explorer d'autres applications, telles que le contrôle des portes de garage ou le changement des couleurs des lumières.

(rulethepla.net)

Matériel commande vocale

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.

(lamport.azurewebsites.net)

Développement systèmes concurrents

Percée sur le problème du nombre de baisers : une nouvelle approche d'un vieux problème

2025-01-16

Percée sur le problème du nombre de baisers : une nouvelle approche d'un vieux problème

Pendant plus de trois siècles, les mathématiciens se sont attaqués au problème du nombre de baisers : combien de sphères identiques peuvent toucher une sphère centrale sans se chevaucher ? Si la réponse est 12 en trois dimensions, les dimensions supérieures restent un mystère. Récemment, Anqi Li, étudiante de premier cycle au MIT, et le professeur Henry Cohn ont conçu une nouvelle approche, abandonnant les hypothèses de symétrie traditionnelles. Leur stratégie non conventionnelle et asymétrique a amélioré les estimations du nombre de baisers dans les dimensions 17 à 21, marquant le premier progrès dans ces dimensions depuis les années 1960. Cette percée remet en question les méthodes établies basées sur la théorie de l’information et les codes correcteurs d’erreurs, ouvrant de nouvelles voies pour résoudre cette énigme mathématique persistante.

(www.quantamagazine.org)

Mathématiques Géométrie Dimensions supérieures

Le parcours du DRM de Half-Life et Steam : tout a commencé avec le graveur de CD d’un neveu

2025-03-24

Le parcours du DRM de Half-Life et Steam : tout a commencé avec le graveur de CD d’un neveu

En 1998, le neveu de Monica Harrington, cofondatrice de Valve, a utilisé de l’argent destiné à la fournitures scolaires pour acheter un graveur de CD, puis a copié et partagé des jeux, ce qui l’a amenée à prendre conscience de la menace de la piraterie de jeux rendue possible par cette technologie. Cela a conduit Valve à mettre en place un système simple de vérification de clé CD dans Half-Life. Bien que d’abord accueilli par des plaintes, il a combattu efficacement la piraterie et a jeté les bases de l’ascension finale de Steam en tant que plateforme DRM dominante.

(arstechnica.com)

Jeux piratage de jeux

Fermeture d'Upspin : une communauté trop petite pour assurer sa pérennité

2025-02-15

Upspin, un système de stockage distribué conçu pour favoriser le partage de données, ferme son infrastructure centrale (le serveur de clés) le 6 mai en raison d’une participation communautaire insuffisante. Bien qu’Upspin offrait un chiffrement de bout en bout robuste et une grande facilité d’utilisation, ainsi qu’un arriéré d’améliorations précieuses, l’effort de maintenance dépasse la taille actuelle de la communauté. Les développeurs remercient tous les contributeurs et laissent la porte ouverte à de futures possibilités.

(groups.google.com)

Développement stockage distribué fermeture du projet

Construction d'un système d'annotation vocale aviation haute précision chez Enhanced Radar

2025-03-03

Construction d'un système d'annotation vocale aviation haute précision chez Enhanced Radar

Enhanced Radar a construit un système interne d'annotation vocale pour l'aviation, Yeager, afin de répondre à ses besoins en données haute précision pour l'entraînement de modèles d'IA. Le système utilise des mécanismes d'incitation (paiement au caractère, pénalités pour les erreurs), une interface utilisateur conviviale (raccourcis clavier, formes d'onde audio, préchargement) et le respect des annotateurs (explication des règles, désignation de « relecteurs »), améliorant ainsi considérablement l'efficacité et la précision de l'annotation. Il intègre également des tests, une résolution des litiges et des informations contextuelles pour garantir la qualité et la standardisation des données, atteignant une précision d'annotation quasi parfaite.

(www.ericbutton.co)

IA annotation de données IA

La découverte d'«oxygène sombre» en haute mer divise les scientifiques

2025-03-20

La découverte d'«oxygène sombre» en haute mer divise les scientifiques

Une étude suggérant que des nodules polymétalliques au fond des océans pourraient produire de l'«oxygène sombre» par électrolyse a déclenché un vif débat scientifique. Cela remet en question la vision établie selon laquelle la photosynthèse était la principale source d'oxygène sur la Terre primitive. Cette découverte a des implications pour les théories sur l'origine de la vie et l'industrie naissante de l'exploitation minière en haute mer. Cependant, de nombreux scientifiques restent sceptiques, invoquant des défauts méthodologiques potentiels et suggérant des explications alternatives pour l'oxygène observé. Des recherches supplémentaires sont nécessaires pour valider ou réfuter cette découverte controversée.

(phys.org)

Technologie exploitation minière en haute mer oxygène sombre

Uber et Waymo s'associent pour des courses autonomes à Austin

2025-03-04

Uber et Waymo s'associent pour des courses autonomes à Austin

Uber et Waymo s'associent pour proposer des courses en voitures autonomes à Austin, au Texas. Les utilisateurs qui commandent une course via l'application Uber ont désormais la possibilité d'être affectés à un véhicule électrique entièrement autonome de Waymo, sans frais supplémentaires. Le service couvre initialement 37 miles carrés d'Austin, avec des projets d'extension. Cette collaboration combine la technologie de conduite autonome de Waymo et la plateforme d'Uber pour offrir une option de transport plus écologique et pratique, en priorisant la sécurité, tous les véhicules devant respecter les directives de sécurité d'Uber.

(www.uber.com)

Technologie

Google publie OSV-SCALIBR : une bibliothèque puissante d’analyse de composition logicielle

2025-01-19

Google publie OSV-SCALIBR : une bibliothèque puissante d’analyse de composition logicielle

Google a publié OSV-SCALIBR, une bibliothèque extensible d’analyse de composition logicielle (SCA) permettant de scanner les paquets installés, les binaires autonomes et le code source à la recherche de vulnérabilités. Elle prend en charge de nombreux langages de programmation et gestionnaires de paquets, et génère des listes de composants logiciels (SBOM). OSV-SCALIBR est le moteur SCA principal utilisé en interne par Google et est désormais open source, avec des plans pour l’intégrer à OSV-Scanner afin d’obtenir une interface en ligne de commande plus robuste.

(security.googleblog.com)

Développement Sécurité logicielle

Un canton suisse achète un domaine avec une faute de frappe pour corriger 100 000 flyers

2025-01-31

Un canton suisse achète un domaine avec une faute de frappe pour corriger 100 000 flyers

Le canton de Bâle-Ville en Suisse a omis accidentellement «.ch» de l'URL imprimée sur plus de 100 000 flyers de déclaration d'impôts, ce qui a donné un domaine «.bs» (Bahamas). Au lieu de réimprimer pour un coût d'environ 100 000 $, ils ont choisi d'acheter le domaine erroné pour 1 000 $ et de configurer une redirection vers l'URL correcte. La redirection n'est pas encore active, en attendant la fin du processus d'enregistrement du domaine.

(techcrunch.com)

Divers erreur de frappe de domaine erreur d'impression efficacité gouvernementale

arXivLabs : Collaboration communautaire sur les fonctionnalités d'arXiv

2025-05-21

arXivLabs est un cadre permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités arXiv directement sur le site web. Les participants doivent adhérer aux valeurs d'arXiv : ouverture, communauté, excellence et confidentialité des données utilisateur. Vous avez une idée pour améliorer la communauté arXiv ? En savoir plus sur arXivLabs.

(arxiv.org)

Développement

Un prodige des mathématiques devenu fugitif : l’affaire Andean Medjedovic

2025-04-14

Un prodige des mathématiques devenu fugitif : l’affaire Andean Medjedovic

Andean Medjedovic, ancien prodige des mathématiques de l’université de Waterloo, est un fugitif après avoir prétendument exploité des failles de sécurité sur des plateformes de finance décentralisée (DeFi) pour voler des millions de dollars. Il aurait siphonné plus de 65 millions de dollars US de Indexed Finance et KyberSwap, défendant ses actions sous le principe controversé du « Code is Law ». Cependant, il fait maintenant face à de multiples accusations criminelles aux États-Unis et risque des dizaines d’années de prison. Il a été arrêté en Europe, mais il combat son extradition, ce qui rend son avenir incertain.

(www.theglobeandmail.com)

Technologie

Citoyen américain détenu à tort à la frontière américano-mexicaine

2025-04-20

Citoyen américain détenu à tort à la frontière américano-mexicaine

Jose Hermosillo, un citoyen américain de 19 ans en visite à Tucson depuis Albuquerque, a été arrêté à tort par la patrouille frontalière pour entrée illégale après avoir été trouvé sans papiers d'identité près de leur siège. Hermosillo, qui affirme n'avoir jamais été à Nogales, a été détenu au centre correctionnel de Florence. Sa famille, après des recherches effrénées, a fourni son acte de naissance et son numéro de sécurité sociale, ce qui a conduit au rejet de l'affaire et à sa libération. Cet incident met en lumière les préoccupations persistantes concernant les détentions abusives de citoyens américains par les agents de l'immigration.

(news.azpm.org)

Divers détention abusive patrouille frontalière

Le budget de Trump prévoit une réduction de 491 millions de dollars pour la CISA, l'accusant de censure

2025-05-06

Le budget de Trump prévoit une réduction de 491 millions de dollars pour la CISA, l'accusant de censure

La proposition de budget 2026 du président Trump prévoit une réduction de 491 millions de dollars (17%) pour la Cybersecurity and Infrastructure Security Agency (CISA), présentée comme une purge du soi-disant "complexe industriel de la censure". La Maison Blanche accuse la CISA de privilégier la lutte contre la désinformation au détriment de la protection des systèmes critiques. Bien que la CISA subisse des coupes importantes, le budget global du département de la Sécurité intérieure reçoit une augmentation substantielle pour accroître les expulsions et la construction du mur frontalier. La TSA et la FEMA subissent également des réductions budgétaires. Cette proposition nécessite toutefois l'approbation du Congrès et devrait faire face à une forte opposition.

(www.theregister.com)

Technologie Coupes budgétaires

← Previous 1 2 … 484 485 486 487 488 489 490 491 492 … 595 596 Next →