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

Apple résout le plus gros problème des Passkeys : la portabilité multiplateforme

2025-06-13
Apple résout le plus gros problème des Passkeys : la portabilité multiplateforme

Apple a présenté une fonctionnalité essentielle d’importation/exportation pour les Passkeys lors de la WWDC, résolvant le principal inconvénient de ce standard d’authentification résistant au phishing : le verrouillage de la plateforme. Auparavant, les Passkeys étaient souvent limitées à un seul système d’exploitation ou gestionnaire de mots de passe, rendant difficile le transfert entre les appareils ou les plateformes. La nouvelle fonctionnalité d’Apple permettra un transfert transparent des Passkeys entre iOS, macOS, iPadOS et visionOS, prenant également en charge les mots de passe et les codes de vérification. Cela améliore considérablement l’adoption des Passkeys et contrecarre les préoccupations concernant les grandes entreprises qui les utilisent pour verrouiller l’écosystème.

Lire plus
(arstechnica.com)
Technologie

Le Visage Authentique d'un VC : Un Récit Mis en Garde

2025-06-13

L'auteur raconte une histoire sur l'importance de l'authenticité dans un discours, en utilisant un VC connu comme exemple. Ce VC a répété à plusieurs reprises sa transparence et son authenticité dans une interview, mais l'amie de l'auteur (une PDG) révèle un côté manipulateur et trompeur, utilisant des rumeurs et des mensonges pour atteindre ses objectifs. En fin de compte, l'hypocrisie du VC est exposée, et sa réputation en souffre. Cette histoire sert de récit mis en garde sur l'importance de discerner l'authenticité et d'éviter ceux qui ne font que prêter une attention superficielle aux valeurs.

Lire plus
(feld.com)
Startup Authenticité

Le pari de Shopify sur les stablecoins : un effet domino dans la tech ?

2025-06-12
Le pari de Shopify sur les stablecoins : un effet domino dans la tech ?

Shopify se lance à corps perdu dans les paiements en stablecoins, annonçant son intention de déployer les paiements en USDC sur toute sa plateforme d'ici la fin de l'année. Ce mouvement significatif reflète l'adoption croissante des stablecoins par les grandes entreprises technologiques, visant à proposer des transactions transfrontalières plus rapides et moins chères. En partenariat avec Coinbase et Stripe, Shopify utilise la blockchain Base de Coinbase pour un traitement sécurisé et intègre la fonctionnalité de manière transparente dans son système existant. Ce système d'exclusion volontaire, offrant des récompenses en espèces aux marchands et aux clients, devrait déclencher une vague d'adoption similaire chez d'autres processeurs de paiement, impactant significativement l'avenir des paiements du commerce électronique et influençant potentiellement la réglementation à venir des cryptomonnaies.

Lire plus
(finance.yahoo.com)
Technologie paiements crypto

Un réseau électrique mondial avec des câbles HVDC isolés en verre : une proposition audacieuse

2025-06-12

Cet article propose un concept révolutionnaire : un système mondial de transmission d’énergie sous-marine utilisant de la silice fondue (verre) comme isolant. La silice fondue offre une résistance d’isolation supérieure et un faible coût, permettant des câbles sensiblement plus fins et moins chers. Pour surmonter la rigidité du verre, l’auteur suggère une fabrication continue des câbles à bord d’un navire et une pose directe. La conception du câble comprend un conducteur en aluminium entouré d’un isolant en silice, le durcissement de surface remplaçant la protection extérieure. L’article détaille le choix de la tension du câble HVDC, les processus de fabrication, les procédures de pose, les solutions aux problèmes tels que les tempêtes et les mouvements géologiques, et l’analyse économique. Bien qu’il soit confronté à des obstacles techniques importants et à des coûts de R&D élevés, l’auteur estime que cette technologie de câbles sous-marins à faible coût possède un potentiel immense pour transformer la transmission d’énergie à l’échelle mondiale.

Lire plus
(omattos.com)
Technologie transmission d’énergie nouveaux matériaux

La désinformation soutenue par le Kremlin contourne la modération des médias sociaux grâce à une technologie publicitaire malveillante

2025-06-12

Un nouveau rapport met en lumière un vaste écosystème de technologies publicitaires malveillantes utilisé non seulement par des escrocs et des pirates informatiques en ligne, mais aussi par des campagnes de désinformation soutenues par le Kremlin pour contourner la modération des médias sociaux. L'enquête se concentre sur le réseau de désinformation “Doppelganger”, qui utilise un système sophistiqué de masquage de domaine pour diffuser des récits pro-russes et infiltrer les médias européens. Ce service de masquage partage des infrastructures avec VexTrio, probablement le plus ancien système de distribution de trafic malveillant (TDS), et est lié à des services de marketing d'affiliation LosPollos et TacoLoco. Ces services utilisent des tactiques trompeuses pour inciter les utilisateurs à activer les notifications push, qui sont ensuite utilisées pour diffuser des logiciels malveillants et des escroqueries. Les chercheurs ont lié ces services au groupe Adspro, enregistré en République tchèque et en Russie, avec une infrastructure en Suisse. Malgré le déni d'Adspro de liens avec VexTrio, des actions telles que la suspension du service de monétisation push de LosPollos et le changement de nom d'Adspro en Aimed Global suggèrent un lien avec des activités malveillantes. Le rapport souligne la menace significative pour la cybersécurité que représente cet écosystème de technologies publicitaires malveillantes et conseille aux utilisateurs de faire preuve de prudence face aux demandes de notification du navigateur.

Lire plus
(krebsonsecurity.com)
Technologie technologie publicitaire malveillante

Exode de la direction à la CISA au milieu des coupes budgétaires et des préoccupations de sécurité

2025-06-12
Exode de la direction à la CISA au milieu des coupes budgétaires et des préoccupations de sécurité

La Cybersecurity and Infrastructure Security Agency (CISA) des États-Unis fait face à une crise de leadership. Le départ de la directrice exécutive Bridget Bean s'inscrit dans une série de départs de hauts responsables, laissant l'agence sans directeur confirmé par le Sénat et aux prises avec des réductions budgétaires importantes. Un ancien employé a évoqué une « culture de la peur » sous la nouvelle administration, entravant la mission de la CISA. Avec des réductions budgétaires potentielles allant de 135 à 495 millions de dollars et la confirmation d'un nouveau directeur bloquée, l'avenir de la CISA et la cybersécurité nationale restent incertains.

Lire plus
(www.theregister.com)
Technologie crise de leadership

La spécification PCIe 7.0 est finalisée, la planification de PCIe 8.0 est en cours

2025-06-12
La spécification PCIe 7.0 est finalisée, la planification de PCIe 8.0 est en cours

PCI-SIG a annoncé l'achèvement de la spécification PCIe 7.0, avec un débit de transfert de données par voie de 128 GT/s — le double de la PCIe 6.0 et le quadruple de la PCIe 5.0. Un périphérique PCIe 7.0 à 16 voies peut transférer jusqu'à 256 Go/s dans chaque direction. De plus, la planification de la PCIe 8.0 a commencé, avec pour objectif une sortie en 2030 ou plus tard, et un potentiel de performance double par rapport à la PCIe 7.0, atteignant une bande passante de 1 To/s. Attendez-vous à voir des périphériques PCIe 7.0 sur le marché vers 2028-2029.

Lire plus
(www.tomshardware.com)
Matériel

Émulation d'iOS 14 sur QEMU : de l'écran noir à l'écran d'accueil

2025-06-12
Émulation d'iOS 14 sur QEMU : de l'écran noir à l'écran d'accueil

Cet article de blog détaille le processus d'émulation d'iOS 14 sur QEMU. L'équipe a surmonté de nombreux obstacles, notamment l'analyse des journaux système, le débogage de l'espace utilisateur (en utilisant les symboles du cache dyld et le stub gdb), et le contournement de la migration des données et du code lié au SEP. Grâce à des correctifs, des solutions ingénieuses (comme l'utilisation du mode accessibilité d'iOS), ils ont réussi à démarrer, déverrouiller, obtenir une prise en charge multipoint, la connectivité réseau, et même la possibilité d'installer et d'exécuter des fichiers IPA arbitraires. L'article décrit méticuleusement les détails techniques, mettant en évidence l'expertise et la persévérance de l'équipe.

Lire plus
(eshard.com)
Développement

La prochaine génération de Xbox de Microsoft : au-delà de la console, l’embrasement de tous les écrans

2025-06-12
La prochaine génération de Xbox de Microsoft : au-delà de la console, l’embrasement de tous les écrans

Le partenariat entre Microsoft et ASUS pour le lancement des consoles portables ROG Xbox Ally et Xbox Ally X marque un tournant majeur dans la stratégie de la prochaine génération de Xbox. Ces appareils fonctionnant sous Windows disposent d’une interface utilisateur Xbox plein écran, étendant l’expérience de jeu au-delà d’une simple console. Cela renforce la vision de Microsoft selon laquelle « Xbox est un service », en étendant la plateforme à divers appareils. Bien qu’ils se concentrent actuellement sur les jeux PC, Microsoft résout les problèmes de compatibilité grâce à Xbox Play Anywhere et au cloud gaming, avec des projets d’utilisation de l’émulation pour la compatibilité ascendante future. La stratégie privilégie le choix du joueur, avec pour objectif de faire de n’importe quel écran une Xbox.

Lire plus
(www.theverge.com)
Jeux

Roundtable : Recrutement d'un leader commercial pour construire la couche de preuve d'humanité

2025-06-12
Roundtable : Recrutement d'un leader commercial pour construire la couche de preuve d'humanité

Roundtable, une société de recherche et de déploiement, construit la couche de preuve d'humanité dans l'identité numérique. Elle recherche un leader commercial pour rejoindre son équipe de direction et stimuler la croissance commerciale. Le rôle implique de concevoir, gérer et exécuter la stratégie commerciale de l'entreprise, notamment la gestion du haut du funnel et du pipeline, les appels de vente et la réussite client. Le candidat idéal est à l'aise dans les contextes de vente et de produit et possède de l'expérience dans la construction d'une opération commerciale dans l'industrie technologique, bien que l'expertise technique ne soit pas requise.

Lire plus
(www.ycombinator.com)
Startup test de Turing développement commercial

Ingénierie inverse d'une carte mère Sony PS1 : le projet nsOne

2025-06-12
Ingénierie inverse d'une carte mère Sony PS1 : le projet nsOne

Lorentio Brodesco a procédé à l'ingénierie inverse d'une carte mère originale de PlayStation 1, recréant méticuleusement son schéma complet. Il ne s'agissait pas seulement d'une réparation ; c'est un effort de préservation pour sauver l'architecture matérielle de la PS1 et, finalement, produire une carte mère fonctionnelle, nsOne. Il met à disposition les fichiers de conception en open source, un hommage à la PS1 et un témoignage de la puissance de la préservation du matériel rétro.

Lire plus
(arstechnica.com)
Matériel

Hacker News : Le contrôleur clavier GameCube booste Animal Crossing

2025-06-12
Hacker News : Le contrôleur clavier GameCube booste Animal Crossing

Un développeur a créé un projet incroyable combinant une manette clavier GameCube avec Animal Crossing de Nintendo. Le projet inclut des outils permettant une frappe en jeu incroyablement rapide, l'importation d'images et de vidéos personnalisées, et même un jeu de Snake ! Cela nécessite des touches personnalisées imprimées en 3D, un Raspberry Pi Pico et quelques composants électroniques. Le projet est open-source et le code est disponible sur GitHub.

Lire plus
(github.com)
Jeux

McWig : Un éditeur de texte de type Vim en Go – Une expérience rapide

2025-06-12
McWig : Un éditeur de texte de type Vim en Go – Une expérience rapide

McWig est un éditeur de texte modal, similaire à Vim, écrit en Go, actuellement utilisé par son créateur comme éditeur principal. Il ne prend en charge que les fichiers .go et est en phase de développement précoce, utilisez-le donc avec précaution car il peut endommager les fichiers. Les fonctionnalités incluent la complétion automatique LSP, goto definition, les informations de survol, la prise en charge de Tree-sitter et des thèmes de couleurs (empruntés à l'éditeur de texte Helix). Cependant, il contient également de nombreux bugs. Le projet était une expérience rapide pour explorer l'espace de l'éditeur de texte, et l'auteur prévoit de le développer en un éditeur stable et complet.

Lire plus
(github.com)
Développement

Statut du service Google Cloud : surveillance complète

2025-06-12

Google Cloud Platform a publié une page de surveillance du statut en temps réel pour tous ses services. La page répertorie l’état opérationnel de divers services, de Compute Engine à AI Platform. Les utilisateurs peuvent facilement vérifier la disponibilité des services dans différentes régions et multirégions. Contactez le support si vous rencontrez un problème non répertorié ici. Des FAQ concernant les informations et l’interprétation du statut du service sont également disponibles.

Lire plus
(status.cloud.google.com)
Technologie Statut du service

Connexions fréquentes : du théâtre sécuritaire ou une vraie protection ?

2025-06-12
Connexions fréquentes : du théâtre sécuritaire ou une vraie protection ?

Cet article remet en question la croyance répandue selon laquelle les connexions fréquentes améliorent la sécurité. L’auteur soutient que la réauthentification constante est non seulement frustrante, mais conduit également à de mauvaises pratiques de sécurité, telles que la réutilisation des mots de passe. La véritable sécurité, affirme l’article, réside dans la surveillance en temps réel et la gestion des accès, en utilisant des techniques telles que les vérifications de posture des appareils et le contrôle d’accès basé sur SCIM pour mettre à jour les attributs et les politiques de sécurité sans interaction constante de l’utilisateur. L’auteur prend l’exemple de Tailscale pour montrer comment obtenir une meilleure sécurité avec un minimum de friction pour l’utilisateur.

Lire plus
(tailscale.com)
Technologie

Barbie dotée d'une IA : Mattel s'associe à OpenAI

2025-06-12
Barbie dotée d'une IA : Mattel s'associe à OpenAI

Mattel et OpenAI s'associent pour intégrer l'IA aux jouets, donnant potentiellement à Barbie (et à d'autres jouets) la capacité de converser grâce à ChatGPT. Cette ambitieuse collaboration vise à créer des expériences ludiques, sûres et adaptées à l'âge, brouillant les frontières entre le jeu physique et le jeu numérique. Bien que les détails soient maigres, le premier produit est attendu plus tard cette année, promettant une nouvelle ère de jouets interactifs capables de s'adapter et de réagir en temps réel, sans se limiter à des lignes préenregistrées. Cette initiative représente une évolution significative pour Mattel et un potentiel bouleversement pour l'industrie du jouet.

Lire plus
(nerds.xyz)
Jeux Jouets

Des dizaines d'applications VPN sur les app stores cachent des liens avec des entreprises chinoises, exposant les données des utilisateurs

2025-06-12
Des dizaines d'applications VPN sur les app stores cachent des liens avec des entreprises chinoises, exposant les données des utilisateurs

Un nouveau rapport du Tech Transparency Project révèle que plus de deux douzaines d'applications de navigation privée sur les app stores d'Apple et de Google ont des liens non divulgués avec des entreprises chinoises, exposant potentiellement les données des utilisateurs au gouvernement chinois. Le rapport met en lumière 13 applications VPN sur l'App Store d'Apple et 11 sur le Google Play Store liées à des entreprises chinoises, légalement obligées de partager des données avec le gouvernement. Plusieurs applications sont connectées à Qihoo 360, une entreprise chinoise de cybersécurité sanctionnée par les États-Unis. Apple a répondu qu'elle autorise les applications tant qu'elles respectent ses directives et les lois locales, et qu'elle a des directives pour les développeurs d'applications VPN interdisant le partage de données avec des tiers. Cependant, cela soulève de sérieuses inquiétudes concernant la sécurité des données des utilisateurs américains, faisant écho aux préoccupations similaires concernant les possibles interdictions de TikTok.

Lire plus
(thehill.com)
Technologie entreprises chinoises

L'ascension et la chute de Builder.ai : séparer les faits de la fiction dans le monde des startups IA

2025-06-12
L'ascension et la chute de Builder.ai : séparer les faits de la fiction dans le monde des startups IA

Des rapports récents concernant la startup IA Builder.ai affirmaient qu'elle avait utilisé 700 ingénieurs pour simuler un système d'IA. Cependant, cet article révèle une histoire différente. Grâce à des interviews d'anciens employés, l'auteur révèle que Builder.ai a construit un générateur de code utilisant des LLM comme Claude, et non un « Turc mécanique », comme initialement rapporté. L'échec de l'entreprise n'était pas dû à la falsification de l'IA, mais plutôt à une mauvaise gestion interne, notamment la reconstruction d'outils déjà existants (Slack, Zoom, etc.) et de graves accusations de fraude comptable. Cet article corrige les informations incorrectes précédentes, soulignant les dangers des récits faux dans le secteur technologique et les défis auxquels sont confrontées les startups en croissance rapide. Il sert d'avertissement et témoigne de l'importance de vérifier les sources.

Lire plus
(newsletter.pragmaticengineer.com)
Startup startup IA

Panne du service Workers KV de Cloudflare impactant plusieurs services

2025-06-12
Panne du service Workers KV de Cloudflare impactant plusieurs services

Le 12 juin, le service crucial Workers KV de Cloudflare a été mis hors service en raison d'une panne d'un service tiers dont il dépend. Cela a entraîné des perturbations généralisées, affectant de nombreux produits Cloudflare, notamment Access WARP, l'isolation du navigateur, les objets durables (uniquement ceux basés sur SQLite), Workers KV, les services en temps réel, Workers AI et des parties du tableau de bord Cloudflare. Les ingénieurs Cloudflare travaillent à la restauration du service, reconnaissant l'impact significatif sur les utilisateurs.

Lire plus
(www.cloudflarestatus.com)
Technologie

L'économiste de Harvard Rogoff : Le déclin de l'hégémonie du dollar et la situation économique difficile de la Chine

2025-06-12
L'économiste de Harvard Rogoff : Le déclin de l'hégémonie du dollar et la situation économique difficile de la Chine

Ken Rogoff, professeur d'économie à Harvard et ancien économiste en chef du FMI, prédit dans son nouveau livre, "Our Dollar, Your Problem", que les États-Unis connaîtront une crise d'inflation due à la dette au cours de la prochaine décennie, mais pas une crise financière à la japonaise. Il soutient que la situation économique actuelle difficile de la Chine provient de sa dépendance à long terme à la répression financière et aux investissements dirigés par l'État, un modèle qui ne fait qu'aggraver les problèmes. L'entretien explore également l'érosion de l'hégémonie du dollar, le rééquilibrage des marchés mondiaux et l'impact de l'IA sur les déficits et les taux d'intérêt. Rogoff note que, si la Chine a accompli des prouesses remarquables dans la construction d'infrastructures, sa croissance économique a considérablement ralenti, la dépendance excessive aux investissements immobiliers et aux infrastructures entraînant des difficultés dans de nombreuses villes plus petites. Il estime que les États-Unis, avec leur dynamisme économique et leur capacité d'innovation, conserveront leur position de leader, mais qu'ils sont confrontés aux risques d'une crise de la dette et de l'inflation.

Lire plus
(www.dwarkesh.com)
Technologie économie chinoise

La crise existentielle de la NASA : L'alunissage chinois dans 1637 jours

2025-06-12
La crise existentielle de la NASA : L'alunissage chinois dans 1637 jours

Cet article soutient que la NASA n'est plus que l'ombre d'elle-même et fait face à une crise existentielle. Avec l'alunissage chinois prévu dans 1637 jours, l'auteur critique le programme SLS de la NASA, son budget exorbitant et son inefficacité, en le comparant au succès de SpaceX. Il appelle à une réforme radicale de la NASA, incluant la simplification de la bureaucratie, l'amélioration de l'efficacité, la priorité aux talents et une redéfinition de sa mission pour concurrencer la Chine et maintenir le leadership américain dans l'espace.

Lire plus
(caseyhandmer.wordpress.com)
Technologie Course à l'espace

Google supprime les dépôts matériels Pixel d'Android 16 : l'avenir d'AOSP incertain ?

2025-06-12
Google supprime les dépôts matériels Pixel d'Android 16 : l'avenir d'AOSP incertain ?

La sortie d'Android 16 par Google a omis les dépôts matériels et les arbres de périphériques Pixel cruciaux pour les développeurs de ROM personnalisées, suscitant des spéculations sur l'avenir d'AOSP. Bien que Google nie l'arrêt du projet, le changement semble délibéré. L'absence de ces dépôts entrave considérablement les mises à jour des ROM personnalisées et peut affecter la recherche en sécurité. Google assure son engagement continu envers AOSP, mais se tourne vers une cible de référence indépendante du matériel, suggérant la fin des sorties d'arbres de périphériques Pixel. Les utilisateurs de ROM personnalisées sont confrontés à une voie plus difficile à suivre.

Lire plus
(9to5google.com)
Développement

Anker rappelle la batterie externe PowerCore 10000 en raison d'un risque d'incendie

2025-06-12
Anker rappelle la batterie externe PowerCore 10000 en raison d'un risque d'incendie

Anker a lancé un rappel de sa batterie externe PowerCore 10000 (modèle A1263) en raison d'un risque potentiel d'incendie lié à sa batterie lithium-ion. La USCPSC a reçu 19 rapports d'incendies et d'explosions ayant causé des brûlures légères et plus de 60 700 $ de dommages matériels. Environ 1 158 000 unités vendues entre juin 2016 et décembre 2022 sont concernées. Anker propose un chèque-cadeau de 30 $ ou une batterie externe de remplacement. Les consommateurs doivent soumettre des photos et des numéros de série pour vérification et éliminer en toute sécurité les unités rappelées. Ce rappel souligne les dangers potentiels des batteries lithium-ion vieillissantes et les avantages de passer à des alternatives plus sûres à semi-conducteurs.

Lire plus
(www.theverge.com)
Matériel Rappel Batterie Externe Sécurité Incendie

Roame recrute un ingénieur Full Stack senior pour révolutionner les voyages à points grâce à l'IA

2025-06-12
Roame recrute un ingénieur Full Stack senior pour révolutionner les voyages à points grâce à l'IA

Roame, un moteur de recherche de vols utilisant les points et les miles de cartes de crédit, soutenu par Y Combinator et d'autres investisseurs de premier plan, recherche un ingénieur Full Stack senior. Ce poste pratique exige une expérience de Next.js, Firebase et Go, et implique la construction de toute la partie frontale et la contribution à la partie dorsale. Le candidat idéal est passionné par les voyages, l'optimisation des points et l'IA, et s'épanouit dans un environnement de startup dynamique. Le poste offre un salaire compétitif, des actions et des avantages sociaux, notamment des déjeuners gratuits et des voyages d'entreprise.

Lire plus
(www.ycombinator.com)
Développement Points de Voyage

Les coupes budgétaires proposées par Trump pour la NASA : un coup fatal pour l’exploration spatiale américaine ?

2025-06-12
Les coupes budgétaires proposées par Trump pour la NASA : un coup fatal pour l’exploration spatiale américaine ?

Le budget proposé par l’administration Trump prévoit une réduction de près de 50 % des programmes scientifiques de la NASA et une baisse globale d’environ 24 %. Cette mesure drastique, élaborée sans contribution significative de la NASA en raison d’un vide de leadership après le retrait de la candidature de Jared Isaacman, compromet de nombreux projets en cours. Les coupes entraîneraient l’annulation de 19 projets actifs d’exploration spatiale pour un total de 12 milliards de dollars d’investissements, affectant des missions cruciales comme l’exploration de Mars. Cela ne représente pas seulement un gaspillage important de fonds publics, mais menace également l’avenir de l’exploration spatiale américaine, permettant potentiellement à la Chine de dépasser les États-Unis dans le domaine spatial.

Lire plus
(www.latimes.com)
Technologie

OpenAI o3-pro : Plus intelligent, mais nécessite plus de contexte

2025-06-12
OpenAI o3-pro : Plus intelligent, mais nécessite plus de contexte

OpenAI a réduit le prix de o3 de 80 % et a lancé le o3-pro, encore plus puissant. Après un accès anticipé, l'auteur a découvert que o3-pro est significativement plus intelligent que o3, mais des tests simples ne montrent pas ses points forts. O3-pro excelle dans les tâches complexes, notamment avec un contexte suffisant, générant des plans et des analyses détaillés. L'auteur soutient que les méthodes d'évaluation actuelles sont insuffisantes pour o3-pro ; l'accent doit être mis à l'avenir sur l'intégration avec les humains, les données externes et les autres IA.

Lire plus
(www.latent.space)
IA

La société israélienne de spyware Paragon a ciblé des journalistes en Europe

2025-06-12
La société israélienne de spyware Paragon a ciblé des journalistes en Europe

Des recherches du Citizen Lab révèlent que Graphite, un logiciel espion de la société israélienne Paragon Solutions, soutenue par les États-Unis, a été utilisé pour cibler au moins trois journalistes européens de premier plan, dont deux rédacteurs en chef du site d'information d'investigation italien Fanpage.it. Ces révélations soulèvent des inquiétudes quant à une éventuelle implication du gouvernement italien dans l'espionnage de critiques et à un abus plus large des logiciels espions commerciaux. Bien que Paragon nie tout acte répréhensible, l'Italie a mis fin à sa relation avec la société. L'incident jette également une ombre sur les contrats de Paragon avec le gouvernement américain.

Lire plus
(apnews.com)
Technologie

QEMU : Un outil de virtualisation open source puissant

2025-06-12
QEMU : Un outil de virtualisation open source puissant

QEMU est un émulateur et virtualiseur de machine générique et open source. Il peut émuler une machine complète en logiciel sans avoir besoin de support de virtualisation matériel, atteignant de bonnes performances grâce à la traduction dynamique. QEMU s'intègre aux hyperviseurs Xen et KVM, fournissant du matériel émulé tout en permettant à l'hyperviseur de gérer le CPU pour des performances quasi-natives. Il permet d'exécuter des systèmes d'exploitation conçus pour une architecture sur une autre, et offre une virtualisation d'API d'espace utilisateur pour exécuter des binaires compilés contre différentes ABI. QEMU possède une interface en ligne de commande stable et une API de surveillance, s'intègre à des outils comme libvirt, oVirt, OpenStack et virt-manager, et est sous licence GPLv2. Une documentation complète et une communauté active garantissent la facilité d'utilisation et le support.

Lire plus
(github.com)
Développement

Résolution du problème des Reines LinkedIn avec SMT : Plus facile qu'avec SAT !

2025-06-12
Résolution du problème des Reines LinkedIn avec SMT : Plus facile qu'avec SAT !

Cet article détaille la résolution du casse-tête des « Reines LinkedIn », une variante du problème classique des N-Reines avec des contraintes régionales supplémentaires, à l'aide du solveur SMT Z3. L'auteur montre que l'expression du problème en SMT, en utilisant des variables entières et des contraintes, est considérablement plus simple que la formulation SAT équivalente, qui nécessite de nombreuses clauses booléennes. Bien que les solveurs SMT puissent être plus lents que les solveurs SAT hautement optimisés comme Glucose, la facilité d'encodage rend le SMT préférable pour beaucoup. L'article inclut le code complet et des vérifications de bon fonctionnement utiles pour vérifier l'exactitude du modèle. Cela fournit une explication convaincante de la préférence de l'industrie pour les outils qui compilent en SAT plutôt que d'utiliser directement SAT.

Lire plus
(buttondown.com)
Développement solveur SMT

Images disque ASIF de macOS Tahoe : un bond en matière de performances

2025-06-12
Images disque ASIF de macOS Tahoe : un bond en matière de performances

macOS Tahoe introduit ASIF, un nouveau format d’image disque qui améliore considérablement les performances des machines virtuelles. Les images ASIF sont indépendantes des capacités du système de fichiers de l’hôte, atteignant des vitesses quasi natives ; par exemple, sur un MacBook Pro M3 Pro, les volumes APFS non chiffrés ont atteint 5,8 GB/s en lecture et 6,6 GB/s en écriture. ASIF offre un avantage de vitesse considérable par rapport aux images UDSP précédentes et permet d’économiser de l’espace disque. Actuellement, les images ASIF ne peuvent être créées que dans Tahoe, mais elles fonctionnent dans Sequoia. Les futurs logiciels de virtualisation devraient prendre en charge ASIF, améliorant ainsi encore les performances des machines virtuelles.

Lire plus
(eclecticlight.co)
Développement
1 2 … 169 170 171 173 175 176 177 … 595 596