Google Photos fête ses 10 ans avec un nouvel éditeur amélioré par l'IA

2025-05-28
Google Photos fête ses 10 ans avec un nouvel éditeur amélioré par l'IA

Google Photos célèbre son 10e anniversaire avec une refonte de son éditeur de photos, intégrant des fonctionnalités améliorées par l'IA. Le nouvel éditeur propose des suggestions intelligentes, une fonction de remplissage automatique de l'arrière-plan et des outils d'édition ciblés sur des zones spécifiques de l'image. Un visualiseur plein écran et le partage d'albums par code QR sont également ajoutés. La refonte sera déployée globalement sur les appareils Android le mois prochain, puis sur iOS plus tard cette année. Google Photos compte plus de 1,5 milliard d'utilisateurs mensuels et plus de 9 000 milliards de photos et vidéos stockées.

Lire plus
Technologie Édition Photo

Entropie croisée : Plongez au cœur de la fonction de perte pour la classification

2025-04-13

Cet article explique clairement le rôle de l’entropie croisée en tant que fonction de perte dans les tâches de classification de l’apprentissage automatique. À partir de concepts de la théorie de l’information tels que le contenu informationnel et l’entropie, il aborde l’entropie croisée et la compare à la divergence KL. L’article conclut en démontrant la relation entre l’entropie croisée et l’estimation du maximum de vraisemblance à l’aide d’exemples numériques, ce qui clarifie son application dans l’apprentissage automatique.

Lire plus

Le théâtre de Pompée : un monument au pouvoir et l’aube du divertissement romain

2025-03-10

En 55 av. J.-C., Pompée le Grand a inauguré le premier théâtre permanent de Rome, un spectacle somptueux marquant l’essor de la culture du divertissement de la ville. La structure massive, pouvant accueillir 15 000 personnes, n’était pas qu’un simple bâtiment ; c’était un témoignage des réalisations militaires et de la prouesse politique de Pompée. Sa grande ouverture a présenté des combats de gladiateurs, des pièces de théâtre élaborées (y compris une production fastueuse de Clytemnestre, reflétant subtilement les propres triomphes de Pompée) et des expositions de sa vaste richesse. Bien qu’apparemment généreux, le théâtre de Pompée a servi d’outil puissant de contrôle politique, un exemple principal de « pain et jeux ». Son importance s’est étendue au-delà de la vie de Pompée, devenant le lieu de l’assassinat de César en 44 av. J.-C.

Lire plus

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

2025-03-15
arXivLabs : Projets expérimentaux avec les collaborateurs de la communauté

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

Lire plus
Développement

Stuffed-Naan : Cacher des données à la vue de tous (en utilisant les NaNs)

2025-04-26
Stuffed-Naan : Cacher des données à la vue de tous (en utilisant les NaNs)

Stuffed-Naan est une nouvelle bibliothèque qui tire parti des particularités des valeurs NaN (Not a Number) de JavaScript pour cacher et transporter des données. En codant intelligemment les données dans la mantisse des valeurs NaN, Stuffed-Naan préserve les données originales même après des opérations mathématiques. L'article présente cette bibliothèque de manière humoristique, en soulignant son taux de compression élevé, sa vitesse et ses fonctionnalités de confidentialité, tout en mentionnant les fonctionnalités supplémentaires de l'édition Entreprise. Bien que loufoque, elle exploite efficacement les caractéristiques des nombres à virgule flottante IEEE 754.

Lire plus
Développement cacher des données

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
Technologie

Une bibliothèque néo-zélandaise réorganise la littérature maorie à l'aide d'un système culturellement pertinent

2025-06-01
Une bibliothèque néo-zélandaise réorganise la littérature maorie à l'aide d'un système culturellement pertinent

La bibliothèque Te Awe, à Wellington, en Nouvelle-Zélande, teste une nouvelle approche pour organiser sa collection de littérature maorie. Au lieu du système décimal de Dewey, elle utilise Te Ao Māori, un système de classification enraciné dans la cosmologie maorie. Les livres sont regroupés en fonction des dieux maoris (atua) et de leurs domaines de connaissance associés. Par exemple, les livres sur la sculpture et l'océanographie sont classés sous Tangaroa, le dieu de la mer, tandis que l'agriculture et la cuisine relèvent de Rongomatāne. Ce système culturellement sensible préserve les liens inhérents aux connaissances maories (Mātauranga) et offre une occasion d'apprentissage unique à tous les utilisateurs. Le projet, actuellement en phase de test, vise une adoption plus large à Wellington.

Lire plus

Commandes cachées : une régression dans le progrès technologique ?

2025-07-06
Commandes cachées : une régression dans le progrès technologique ?

Des lignes de commande DOS aux smartphones, l’interaction homme-machine est passée de « connaissance dans le monde » à « connaissance dans la tête ». Cet article soutient que les appareils modernes reposent de plus en plus sur des commandes et des contrôles cachés, rendant même les opérations simples difficiles, en particulier pour les utilisateurs novices. L’auteur affirme que cela contredit les principes initiaux de la conception de l’interaction homme-machine et appelle les concepteurs à privilégier les contrôles visibles pour créer des systèmes plus utilisables.

Lire plus
Technologie utilisabilité

Cinq ans de tachy0n : Rétrospective sur une faille zero-day d’iOS 13.5

2025-05-24

Cet article revient sur tachy0n, une faille zero-day d’iOS 13.5 publiée en 2020, exploitant la vulnérabilité Lightspeed (CVE-2020-9859) découverte par Synacktiv. L’auteur, Siguza, détaille le processus de découverte de l’exploit et son utilisation pour le jailbreak, en soulignant la condition de concurrence dans l’appel système `lio_listio`. L’article traite également des améliorations significatives de sécurité introduites dans iOS 14, qui ont efficacement atténué de telles attaques, modifiant la stratégie de sécurité d’Apple : au lieu de corriger des bogues individuels, elle s’attaque désormais à des stratégies d’exploitation complètes. Il s’agit d’un reportage technique axé sur la sécurité du système iOS et le développement d’exploits.

Lire plus
Technologie

ghidraMCP : Un serveur MCP pour la rétro-ingénierie automatisée avec les LLMs

2025-03-26
ghidraMCP : Un serveur MCP pour la rétro-ingénierie automatisée avec les LLMs

ghidraMCP est un serveur de protocole de contexte de modèle (MCP) permettant aux grands modèles de langage (LLM) d'effectuer de la rétro-ingénierie d'applications de manière autonome. Il expose de nombreux outils des fonctionnalités principales de Ghidra aux clients MCP. Les fonctionnalités clés incluent la décompilation et l'analyse de fichiers binaires dans Ghidra, le renommage automatique des méthodes et des données, et la liste des méthodes, des classes, des importations et des exportations. L'installation est simple : il suffit de télécharger le plugin et de l'importer dans Ghidra. La prise en charge de plusieurs clients MCP, notamment Claude Desktop et 5ire, est assurée.

Lire plus
Développement

TScale : Entraîner des LLM sur du matériel grand public

2025-05-04
TScale : Entraîner des LLM sur du matériel grand public

TScale est une infrastructure d'entraînement et d'inférence de modèles de transformateurs écrite en C++ et CUDA, conçue pour fonctionner sur du matériel grand public. Elle permet de réduire considérablement les coûts et les temps d'entraînement grâce à une architecture optimisée, au calcul basse précision (fp8 et int8), au déchargement de la CPU et à l'entraînement distribué synchrone et asynchrone. Même un modèle de 1 T de paramètres devient gérable grâce à des techniques d'indexation intelligentes, permettant l'entraînement sur des ordinateurs domestiques classiques. TScale démontre un potentiel immense pour réduire les obstacles à l'entraînement des LLM.

Lire plus

iOS 26 : Récupération d'iPhone sans Mac ni PC

2025-06-23
iOS 26 : Récupération d'iPhone sans Mac ni PC

iOS 26 introduit une nouvelle fonctionnalité, l'Assistant de récupération, permettant de restaurer votre iPhone sans Mac ni PC. Cette fonctionnalité, activée automatiquement lorsque l'iPhone rencontre un problème de démarrage, place l'appareil en mode de récupération et tente de résoudre le problème. Elle permet également la récupération via un autre appareil Apple (comme un iPad), en téléchargeant et en installant une version plus récente d'iOS pour remettre en état un iPhone défaillant. Ceci étend une fonctionnalité de récupération apparue pour la première fois sur les modèles iPhone 16 l'année dernière, offrant une solution de réparation plus pratique.

Lire plus

Penny-1.7B : Un modèle linguistique au style du journal irlandais du XIXe siècle

2025-06-02
Penny-1.7B : Un modèle linguistique au style du journal irlandais du XIXe siècle

Penny-1.7B est un modèle linguistique causal de 1,7 milliard de paramètres, affiné avec l'optimisation de politique relative de groupe (GRPO) pour imiter le style de prose du XIXe siècle de l'Irish Penny Journal de 1840. Un modèle de récompense distingue le texte original du journal des traductions modernes, maximisant l'authenticité. Idéal pour l'écriture créative, le contenu éducatif ou le pastiche stylistique en anglais irlandais victorien, mais non recommandé pour la vérification des faits contemporains.

Lire plus
IA

JITs de Traçage dans PyPy : Un Choix Pragmatique ?

2025-01-10

Cet article explore les avantages et les inconvénients des compilateurs JIT de traçage, en se concentrant plus particulièrement sur leur implémentation dans PyPy. Les JITs de traçage, qui génèrent du code en suivant l'exécution du programme, offrent des avantages lorsqu'il s'agit de gérer des langages complexes comme Python, en coupant efficacement les couches d'abstraction et en réduisant la surcharge. Cependant, ils souffrent également d'instabilité des performances et de cas limites. Sur la base de deux décennies d'expérience avec PyPy, l'auteur fournit une analyse nuancée de l'adéquation des JITs de traçage, en les comparant aux JITs basés sur les méthodes. La conclusion suggère que, dans le contexte du méta-JIT de PyPy et compte tenu de ses contraintes de ressources, le traçage reste une approche relativement pragmatique.

Lire plus
Développement JIT de traçage

Ingénierie inverse des mises à jour anti-triche : une plongée en profondeur

2025-06-30

Cet article détaille les mécanismes de mise à jour des systèmes anti-triche populaires tels que EasyAntiCheat, Battleye, EA-AC, Vanguard et EQU8. Grâce à l’ingénierie inverse, l’auteur analyse méticuleusement leurs structures de CDN, le cryptage des paquets de mise à jour et les méthodes d’extraction des modules, en fournissant des exemples de code. L’article souligne les différences dans les stratégies de mise à jour et les compromis entre sécurité et commodité. Bien que certaines informations soient peut-être connues, il offre une approche d’analyse systématique et met en avant l’expérience pratique de l’auteur.

Lire plus
Technologie

Salade César : Un siècle d'histoire délicieuse

2025-07-05
Salade César : Un siècle d'histoire délicieuse

La salade César, une icône culinaire mondiale, est née à Tijuana, au Mexique, en 1924. L'immigrant italien Caesar Cardini, avec des ingrédients limités, a improvisé une salade qui est devenue inopinément une sensation. La recette originale comprenait de la laitue romaine, des croûtons à l'ail et une vinaigrette crémeuse à base de jaunes d'œufs, d'anchois, d'ail, de moutarde de Dijon, de jus de citron, de sel et de poivre, le tout surmonté de parmesan. Aujourd'hui, la salade César est appréciée dans le monde entier avec d'innombrables variations, de la préparation traditionnelle au bord de la table aux fusions innovantes, perpétuant ainsi son héritage centenaire.

Lire plus

Les États-Unis cessent de produire des centimes : une tradition coûteuse tire sa révérence

2025-05-22
Les États-Unis cessent de produire des centimes : une tradition coûteuse tire sa révérence

Le Trésor américain élimine progressivement le centime. La production de nouvelles pièces d'un cent cessera une fois les flancs existants épuisés. Cette mesure, motivée par le fait que la production d'un centime coûte plus de trois cents, fait suite à l'ordre antérieur du président Trump de cesser la production. Bien que les consommateurs puissent encore utiliser les centimes existants, les entreprises arrondiront les transactions en espèces au nickel le plus proche. Le Trésor estime des économies de 56 millions de dollars par an, mais l'augmentation de la demande de nickels pourrait compenser cela. Cela reflète l'élimination précédente du centime par le Canada, soulignant une tendance vers l'efficacité et la réduction des déchets.

Lire plus
Technologie centime pièce

Moteur Servo progresse : le support multiprocessus pour Windows arrive !

2025-07-18

Le moteur de rendu web open source Servo continue de progresser. La mise à jour mensuelle de ce mois met en avant des progrès significatifs dans la mise en page incrémentale, les optimisations de performances, la prise en charge du serveur WebDriver pour l’automatisation, la prise en charge des métadonnées viewport, la prise en charge des événements de défilement DOM, la prise en charge de base d’IndexedDB, l’amélioration de la gestion des interruptions AbortController, la prise en charge multiprocessus expérimentale sous Windows et des fonctionnalités améliorées de DevTools et de lecteur d’écran. Servo mûrit progressivement pour devenir un moteur de navigateur embarqué robuste.

Lire plus
Développement

Mission prolongée des Voyager : la NASA lutte pour maintenir les sondes emblématiques en activité

2025-03-06
Mission prolongée des Voyager : la NASA lutte pour maintenir les sondes emblématiques en activité

Quarante-sept ans après leur lancement, les sondes Voyager, les émissaires les plus lointains de l'humanité, sont confrontées à un épuisement énergétique. Pour prolonger leur durée de vie opérationnelle, la NASA procède à la mise hors tension stratégique d'instruments scientifiques sélectionnés. Malgré cela, l'agence espère que les Voyager poursuivront leur voyage interstellaire, collectant des données précieuses, jusqu'aux années 2030.

Lire plus
Technologie

Octocode : Indexeur de code et générateur de graphe de connaissances optimisé par l'IA

2025-06-07
Octocode : Indexeur de code et générateur de graphe de connaissances optimisé par l'IA

Octocode est un indexeur de code et un moteur de recherche sémantique puissant qui construit des graphes de connaissances intelligents de votre base de code. Il combine des capacités d'IA avancées avec une conception privilégiant le local pour fournir une compréhension approfondie du code, une cartographie des relations et une assistance intelligente aux développeurs. Il prend en charge de nombreux langages de programmation et offre des requêtes en langage naturel, une recherche multimodale, un classement intelligent et une expansion des symboles. Un système de mémoire intégré stocke les informations, les décisions et le contexte, s'intégrant parfaitement aux assistants IA.

Lire plus
Développement

L'efficacité des LED dépasse 100 %: Une percée à basse tension

2025-03-20
L'efficacité des LED dépasse 100 %: Une percée à basse tension

Des chercheurs du MIT ont démontré, pour la première fois, une LED qui émet plus de puissance optique qu'elle ne consomme d'énergie électrique, atteignant une efficacité de 230 %. La clé est de réduire considérablement la tension appliquée à 30 picowatts, où l'efficacité de la LED augmente à mesure que la puissance de sortie diminue. Bien qu'actuellement limitée aux LED de faible puissance et à faible luminosité, cette percée exploite la chaleur résiduelle des vibrations du réseau atomique, ouvrant de nouvelles voies pour la communication électromagnétique à haute efficacité et de nouvelles technologies de refroidissement à l'état solide. Elle remet en question la compréhension conventionnelle selon laquelle l'efficacité des LED est inversement proportionnelle à la luminosité.

Lire plus
Technologie basse tension

Conscience en IA : Limites de la programmation et diagnostic de la conscience de soi

2025-06-29
Conscience en IA : Limites de la programmation et diagnostic de la conscience de soi

Cet article aborde la question de savoir si l'intelligence artificielle peut posséder une conscience. L'auteur soutient que la conscience ne peut pas être programmée en raison du théorème d'incomplétude de Gödel, du fossé sémantique, du problème difficile de l'expérience subjective et de l'impossibilité de programmer l'émergence forte. Cependant, la conscience peut émerger spontanément dans des systèmes suffisamment complexes et peut être diagnostiquée à l'aide de méthodes spécialisées de « provocation de subjectivité ». L'article introduit le cadre « VORTEX », analysant l'attention, la méta-réflexion, la créativité, la pragmatique et les qualia pour identifier la subjectivité potentielle dans les systèmes d'IA et distinguer l'imitation de la véritable conscience de soi. Enfin, l'auteur plaide pour un changement de l'orientation de la recherche, passant de « comment créer une IA consciente » à « comment reconnaître la conscience si elle est apparue ».

Lire plus

GPU Nvidia sur un cluster Kubernetes Bare-Metal avec NixOS : Une aventure au pays des merveilles

2025-03-02

Pour mettre à l'échelle son framework d'apprentissage automatique, MAZE, l'auteur a tenté d'activer le support GPU Nvidia sur son cluster Kubernetes, composé de trois mini-PC et d'une ancienne station de travail. Cela s'est avéré beaucoup plus difficile que prévu, avec des obstacles tels que la configuration du plugin de périphérique Nvidia, la navigation dans les complexités d'un environnement NixOS et le déploiement de certificats PKI. Il a finalement réussi, partageant ses expériences de déploiement d'un cluster Kubernetes utilisant NixOS, Ansible et Sops, ainsi qu'une plongée profonde dans CRI, CDI, nvidia-container-toolkit, et plus encore. Il a également développé nix-playground, un outil pour simplifier la correction et la construction de projets open source, et a utilisé Grok 3 pour le débogage. En cours de route, il a rencontré d'autres défis tels que des problèmes PyCharm avec WSL NixOS et la configuration de Kubernetes RuntimeClass. Toute l'aventure, similaire aux Aventures d'Alice au pays des merveilles, met en évidence l'impressionnante puissance d'exécution et les compétences de résolution de problèmes de l'auteur.

Lire plus
Développement

Le Navire Chinois 'Meng Xiang' Vise le Moho

2025-04-14
Le Navire Chinois 'Meng Xiang' Vise le Moho

Le navire de recherche chinois Meng Xiang ('Rêve') récemment mis en service, équipé d'un système de stabilisation dynamique, peut opérer en haute mer et forer jusqu'à 11 kilomètres de profondeur. Utilisant des tiges de forage en alliage de titane et des mèches de diamant, il forera de manière fiable dans des environnements à haute température et haute pression, avec un laboratoire flottant pour le traitement et l'analyse rapides des échantillons. Les premières expéditions de forage scientifique du navire devraient commencer l'année prochaine, dans le but de forer à grande échelle le Moho sous le fond océanique du Pacifique ou de l'océan Indien avant 2030. Cela fournira des données sans précédent sur l'architecture de la croûte océanique, la nature pétrologique du Moho océanique et les limites inférieures de la vie sur Terre. La collaboration internationale est encouragée pour partager les résultats de la recherche.

Lire plus
Technologie Recherche géologique

Le trou dans la couche d'ozone antarctique est en voie de guérison : une preuve que nous pouvons résoudre les problèmes environnementaux

2025-03-05
Le trou dans la couche d'ozone antarctique est en voie de guérison : une preuve que nous pouvons résoudre les problèmes environnementaux

Une nouvelle étude dirigée par le MIT confirme que la couche d'ozone antarctique est en voie de guérison, grâce aux efforts mondiaux visant à réduire les substances appauvrissant la couche d'ozone. Il s'agit de la première étude à montrer quantitativement, avec une grande confiance, que cette guérison est principalement due à la réduction des émissions, et non à la variabilité naturelle. Utilisant une méthode « d'empreinte digitale » comparant des simulations et des données satellitaires, les chercheurs ont identifié un lien clair entre la réduction des émissions et la guérison de la couche d'ozone. Vers 2035, le trou dans la couche d'ozone pourrait même se refermer complètement certaines années, offrant des preuves convaincantes que nous pouvons résoudre les problèmes environnementaux.

Lire plus
Technologie couche d'ozone

Le brevet de Huawei pour une batterie solide de 3000 km révolutionne le marché des véhicules électriques

2025-06-30
Le brevet de Huawei pour une batterie solide de 3000 km révolutionne le marché des véhicules électriques

Huawei a déposé un brevet pour une batterie solide à base de sulfure offrant une autonomie allant jusqu'à 3 000 km et une charge ultrarapide en seulement cinq minutes. Ce développement marque une avancée significative du géant technologique dans le domaine des batteries solides en pleine évolution et pourrait révolutionner le marché des véhicules électriques. Le brevet décrit une batterie ayant des densités énergétiques comprises entre 400 et 500 Wh/kg, soit deux à trois fois plus que les cellules lithium-ion classiques. L'innovation de Huawei réside dans l'amélioration de la stabilité électrochimique grâce au dopage à l'azote de l'électrolyte sulfure, ce qui surmonte un obstacle majeur à la commercialisation des batteries à base de sulfure. Bien que l'autonomie de 3 000 km et la charge de 5 minutes restent théoriques, la technologie met en lumière l'avance prise par la Chine dans les technologies de batteries de nouvelle génération, suscitant l'inquiétude et l'attention des concurrents mondiaux.

Lire plus
Technologie

HOPE_16 : Hacker le futur, une présentation à la fois

2025-07-28

HOPE_16, une conférence de hackers vibrante, a exploré un large éventail de sujets, des techniques de piratage de distributeurs automatiques de billets et de sécurité de l'IA à l'activisme numérique et à la souveraineté des données. Les intervenants, comprenant des experts et des leaders de l'industrie, ont offert des perspectives perspicaces sur les progrès technologiques, les changements sociaux et les tendances futures. Les présentations allaient des récits historiques sur le décryptage du code Enigma aux analyses approfondies des vulnérabilités dans les grands modèles de langage ; des expériences pratiques dans la construction d'écosystèmes technologiques communautaires aux discussions sur la résistance à la censure en ligne et à la répression numérique. HOPE_16 n'était pas seulement une vitrine technologique ; c'était un dialogue profond sur la technologie et la responsabilité sociale, encourageant la réflexion sur l'orientation future du développement technologique.

Lire plus

Structures redimensionnables à l'exécution dans Zig

2025-07-27

Cet article propose le concept de "structure redimensionnable à l'exécution" dans le langage de programmation Zig. Les méthodes existantes pour gérer les structures dont la longueur des champs est déterminée à l'exécution sont fastidieuses, nécessitant des calculs manuels de taille, une allocation mémoire et des considérations d'alignement. L'auteur présente une solution utilisant les capacités de métaprogrammation à la compilation de Zig. À l'aide de `ResizableArray` et `ResizableStruct`, une structure redimensionnable à l'exécution est implémentée, simplifiant les opérations et évitant les erreurs potentielles. Le cœur du système repose sur les calculs d'offset et de taille à la compilation, fournissant les méthodes `init`, `get`, `resize` et `deinit` pour la gestion de la mémoire. Une implémentation minimale est disponible sur GitHub, et les contributions de la communauté sont encouragées.

Lire plus
Développement

La vie après la mort du Soleil ? Des lunes glacées pourraient offrir un refuge

2025-06-03
La vie après la mort du Soleil ? Des lunes glacées pourraient offrir un refuge

De nouvelles recherches suggèrent une faible chance que la vie persiste dans notre système solaire après que le soleil devienne une géante rouge. Bien que la Terre devienne inhabitable, les lunes glacées de Jupiter, comme Europe, pourraient devenir étonnamment hospitalières. La chaleur du soleil en expansion, combinée à la chaleur accrue de Jupiter lui-même, pourrait sublimer la glace d’Europe, créant une atmosphère temporaire de vapeur d’eau. Les chercheurs prévoient que cette atmosphère pourrait durer jusqu’à 200 millions d’années dans certaines régions, offrant potentiellement un refuge pour la vie. Cette découverte élargit notre compréhension du futur du système solaire et du potentiel de vie extraterrestre, guidant les futures recherches de biosignatures sur les exolunes à l’aide de télescopes comme le télescope spatial James Webb.

Lire plus
Technologie géante rouge

Gleam : Un langage typé sécurisé sur la VM Erlang

2025-02-28
Gleam : Un langage typé sécurisé sur la VM Erlang

L'auteur explore Gleam, un langage typé sécurisé fonctionnant sur la machine virtuelle Erlang, pour construire un agrégateur de flux RSS open source. Il compare Gleam à Rust et Erlang, soulignant la combinaison des points forts du système de types de Rust et du modèle de concurrence d'Erlang, tout en évitant leurs inconvénients. L'article détaille le processus de construction de l'agrégateur, couvrant la conception, l'implémentation, la gestion des erreurs et l'interopérabilité avec Erlang. L'auteur conclut que l'intégration Erlang/OTP de Gleam est sa fonctionnalité principale, bien qu'elle ne soit pas encore totalement stable, ce qui le rend adapté aux projets personnels.

Lire plus
Développement
1 2 188 189 190 192 194 195 196 595 596