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

La mort de la curation à l'ère des médias sociaux

2025-05-17
La mort de la curation à l'ère des médias sociaux

La commodité des médias sociaux est une illusion. Bien qu'elle offre un vaste accès à l'information, elle crée un amas chaotique et non curaté. L'auteur contraste cela avec des temps plus simples où des sources curatées comme les radios universitaires, 120 Minutes de MTV et les magazines imprimés fournissaient un flux d'information gérable, lui permettant de découvrir des artistes et des films divers. La dépendance actuelle aux algorithmes piège les utilisateurs dans des bulles de filtre, empêchant la découverte. Bien que certains critiques persistent, ils sont submergés par le volume de contenu, reflétant l'épuisement ressenti par les consommateurs qui luttent pour naviguer dans le défilement infini. La solution de l'auteur est un système personnel de prise de notes, soulignant la lutte continue pour gérer l'information dans cette nouvelle réalité.

Lire plus
(tadaima.bearblog.dev)
Divers curation de contenu

Proton et NymVPN menacent de quitter la Suisse à cause d'une loi de surveillance controversée

2025-05-17
Proton et NymVPN menacent de quitter la Suisse à cause d'une loi de surveillance controversée

Un projet de loi sur la surveillance en Suisse, exigeant des VPN et des applications de messagerie qu'ils conservent les données des utilisateurs, a provoqué l'indignation d'entreprises comme Proton et NymVPN. Le PDG de Proton, Andy Yen, a qualifié l'amendement de violation majeure de la vie privée, incompatible avec les lois de l'UE et des États-Unis. Il a déclaré que si elle était adoptée, Proton quitterait la Suisse. NymVPN a fait écho à ce sentiment. Bien que le projet de loi se heurte à l'opposition de plusieurs partis politiques et cantons qui mettent l'accent sur le droit à l'intégrité numérique, le résultat reste incertain. Cette situation souligne la nécessité d'une approche équilibrée de la législation sur la cybersécurité qui respecte la vie privée.

Lire plus
(www.techradar.com)
Technologie

Assurance IA : un marché surestimé ?

2025-05-17
Assurance IA : un marché surestimé ?

Avec l’adoption généralisée de l’IA, l’assurance des risques liés à l’IA a émergé pour faire face aux pertes massives potentielles dues aux erreurs de l’IA. Cependant, l’auteur soutient que ce marché est peut-être surestimé. Historiquement, les erreurs de logiciel ont toujours existé, mais le marché de l’assurance Responsabilité Civile Professionnelle pour les erreurs technologiques (Tech E&O) reste petit. L’assurance IA fait face à des défis similaires à ceux du Tech E&O : difficulté à évaluer les risques, asymétrie de l’information et concentration des risques. L’auteur suggère que les assureurs IA doivent posséder des capacités supérieures d’évaluation des risques par rapport à leurs clients et doivent diversifier les risques pour survivre. Actuellement, la gestion des risques liés à l’IA est davantage axée sur le contrôle des risques des applications individuelles que sur les assurances.

Lire plus
(loeber.substack.com)
IA assurance IA taille du marché

Un ingrédient courant des boissons énergisantes pourrait favoriser la croissance des cellules leucémiques : Étude

2025-05-17
Un ingrédient courant des boissons énergisantes pourrait favoriser la croissance des cellules leucémiques : Étude

Une nouvelle étude publiée dans Nature révèle que la taurine, un ingrédient courant des boissons énergisantes comme Red Bull et Celsius, pourrait accélérer la croissance et la prolifération des cellules leucémiques. Les chercheurs ont découvert que la taurine agit comme une source d'énergie pour ces cellules, rendant la maladie plus agressive. Bien que la taurine soit produite naturellement dans le corps et parfois utilisée pour atténuer l'inflammation ou les effets secondaires de la chimiothérapie chez les patients atteints de cancer, l'étude met en garde contre les effets indésirables potentiels d'un excès de taurine. L'équipe de recherche explore actuellement des moyens de bloquer l'entrée de la taurine dans les cellules leucémiques et étudie son lien potentiel avec d'autres cancers, notamment le cancer colorectal. Les résultats soulignent la nécessité de prudence concernant la consommation de taurine, en particulier chez les personnes atteintes de leucémie ou celles qui envisagent des suppléments de taurine.

Lire plus
(thenightly.com.au)
Technologie leucémie boissons énergisantes

Fraude massif dans une étude économique du MIT : l’impact de l’IA sur la science des matériaux ?

2025-05-17
Fraude massif dans une étude économique du MIT : l’impact de l’IA sur la science des matériaux ?

Un article récent d’économie du MIT affirmant que l’IA augmente significativement l’efficacité de la recherche en science des matériaux a été révélé comme frauduleux. L’auteur, Aidan Toner-Rodgers, aurait utilisé des données d’un essai randomisé auprès de plus de 1 000 chercheurs pour montrer que les outils d’IA amélioraient considérablement des métriques telles que la découverte de matériaux, les dépôts de brevets et le développement de prototypes. Cependant, la source des données est douteuse, les résultats sont étrangement parfaits et l’article démontre un manque manifeste d’expertise en science des matériaux. Le MIT a confirmé la fraude, provoquant une onde de choc au sein de la communauté académique. Cet incident souligne le besoin crucial d’un examen rigoureux et d’un scepticisme à l’égard des résultats de recherche, et expose les failles du domaine en plein essor de l’IA où des recherches non vérifiées peuvent prendre de l’ampleur.

Lire plus
(thebsdetector.substack.com)
Technologie recherche sur l’IA

Rust 10 ans : Une histoire de communauté et d'infrastructure

2025-05-17
Rust 10 ans : Une histoire de communauté et d'infrastructure

À l'occasion du 10e anniversaire du langage de programmation Rust, l'auteur original, Graydon Hoare, revient sur son parcours. Il ne s'agit pas seulement d'une histoire de langage de programmation, mais d'une narration d'une vaste communauté construisant et maintenant une infrastructure technique partagée. Le succès de Rust provient de la nécessité d'une infrastructure robuste et de l'investissement à long terme d'organisations comme Mozilla, ainsi que de milliers de bénévoles. Rust a évolué d'un prototype simple à un langage puissant avec un écosystème énorme et de nombreuses applications. L'avenir nécessite une attraction continue de talents, le maintien de la stabilité et de la compatibilité, et l'amélioration supplémentaire de la qualité.

Lire plus
(rustfoundation.org)
Développement

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

2025-05-17
arXivLabs : Projets expérimentaux avec des 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 qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données utilisateur. arXiv s'engage envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui apportera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
(arxiv.org)
Développement

OBNC : Un Compilateur Oberon

2025-05-17

OBNC est un compilateur pour le langage de programmation Oberon de Niklaus Wirth, implémentant la version finale de 2016. Il traduit le code source écrit en Oberon vers le langage de programmation C de bas niveau. Le code traduit est ensuite compilé et lié à l'aide du compilateur et du lieur C du système d'exploitation hôte. La commande de compilation `obnc` effectue toutes ces tâches et garde une trace des fichiers qui doivent être compilés ou recompilés. Le compilateur est publié sous la Licence Publique Générale GNU, tandis que les bibliothèques sont publiées sous la Licence Publique Mozilla. Avec la licence Mozilla, un projet Oberon compilé avec OBNC peut être publié sous n'importe quelle licence. Le paquet source `obnc` contient le compilateur avec un outil de construction, un générateur de documentation et une petite bibliothèque de base de sept modules définis dans les Lignes directrices d'Oakwood pour les développeurs de compilateurs Oberon-2. Il contient également une bibliothèque (non standard) appelée `ext` qui étend la bibliothèque de base avec des modules pour accéder aux arguments de ligne de commande et aux variables d'environnement, imprimer sur le flux d'erreur standard, convertir les nombres en chaînes et vice-versa, et pour personnaliser le gestionnaire de pièges. La bibliothèque `ext` était auparavant distribuée sous forme de paquet séparé, mais elle est maintenant incluse dans le paquet principal pour plus de commodité. OBNC est implémenté en C et devrait compiler sur n'importe quel système d'exploitation compatible POSIX. Pour construire OBNC, vous avez également besoin du garbage collector Boehm-Demers-Weiser GC. Des instructions supplémentaires sont incluses dans le fichier README situé dans le répertoire racine du paquet. Pour les utilisateurs de MS Windows, il existe également une version précompilée d'OBNC avec toutes les dépendances incluses (GC, SDL, Gawk et TCC). Remarque : Les fichiers de sortie générés par la version 0.15 ou antérieure d'OBNC ne sont pas compatibles avec OBNC 0.17. Si vous avez utilisé une version antérieure, vos modules doivent être recompilés ; supprimez simplement le répertoire .obnc généré dans vos répertoires de modules avant d'utiliser la nouvelle version.

Lire plus
(miasap.se)
Développement

Illumination et mappage normal en temps réel sur N64 : un exploit d’ingénierie inverse époustouflant

2025-05-17

Cet article détaille une technique impressionnante pour obtenir un éclairage et un mappage normal en temps réel sur Nintendo 64. En utilisant intelligemment les textures de palettes et le shading côté CPU, l’auteur contourne les limites matérielles de la N64 pour obtenir des visuels étonnamment impressionnants. La technique consiste à compresser les informations de diffusion et les normales dans une palette partagée et à mettre à jour la palette en temps réel via le CPU pour simuler les effets d’éclairage. Bien que la méthode présente quelques limites, telles que l’absence de prise en charge des lumières ponctuelles et des ombres, son caractère innovant est remarquable, ouvrant de nouvelles possibilités pour le rendu graphique sur la plateforme N64.

Lire plus
(30fps.net)
Développement

Meta open source Pyrefly : un vérificateur de types Python en Rust

2025-05-17
Meta open source Pyrefly : un vérificateur de types Python en Rust

Meta a publié une version alpha de Pyrefly, un vérificateur de types Python open source et une extension IDE développée en Rust. Pyrefly vise à améliorer la cohérence des types dans le code Python, aidant à détecter les erreurs avant l'exécution. Il prend en charge l'intégration IDE et l'utilisation en ligne de commande, en priorisant les performances et l'inférence de types, fonctionnant efficacement même sur du code non annoté. Évoluant à partir de Pyre de Meta, Pyrefly vise à être un vérificateur de types plus puissant et extensible, collaborant avec la communauté Python pour améliorer le système de types Python.

Lire plus
(engineering.fb.com)
Développement

La méthode Miyawaki lutte contre l'effet d'îlot de chaleur urbain dans une ville mexicaine

2025-05-17
La méthode Miyawaki lutte contre l'effet d'îlot de chaleur urbain dans une ville mexicaine

Nezahualcóyotl, une municipalité de l'État du Mexique, combat son grave effet d'îlot de chaleur urbain en utilisant la méthode Miyawaki. Un terrain de 600 mètres carrés à l'Université technologique abrite désormais une nouvelle forêt comprenant 1 500 plantes de 25 espèces indigènes. Cette technique de plantation à haute densité crée rapidement des forêts biodiversifiées, améliorant l'environnement urbain en réduisant les températures et en augmentant l'infiltration des eaux de pluie. Bien qu'il ne s'agisse pas d'une solution complète, cette initiative symbolise l'engagement de la communauté et des étudiants à relever les défis environnementaux, représentant un pas significatif en avant.

Lire plus
(english.elpais.com)
Technologie Méthode Miyawaki Effet d'îlot de chaleur urbain Restauration environnementale

NixOS : La distribution Linux parfaite ? Mon année de douleur et leçons apprises

2025-05-17
NixOS : La distribution Linux parfaite ? Mon année de douleur et leçons apprises

J'ai été séduit par la promesse de NixOS d'une parfaite reproductibilité du système grâce à une seule configuration de code. Après un an, j'ai abandonné. La courbe d'apprentissage est raide, la documentation est insuffisante, les messages d'erreur sont opaques et il existe d'innombrables façons de faire la même chose. Bien qu'il crée un système stable, j'ai passé d'innombrables heures à lutter contre des problèmes tels que la compatibilité avec la station d'accueil Thunderbolt et la configuration d'environnements de développement sur plusieurs piles technologiques. Je suis passé à Bazzite et Bluefin (basés sur Fedora Silverblue), qui offrent une expérience plus conviviale grâce à Flatpak, Homebrew et Distrobox, tout en conservant les avantages de l'immutabilité. NixOS excelle dans les environnements serveur où la reproductibilité est primordiale, mais pour l'utilisateur de bureau moyen, le coût d'apprentissage élevé et la complexité ne valent pas la peine. La principale conclusion : parfois, "je ne veux pas m'en soucier" est une approche parfaitement valable pour l'administration système.

Lire plus
(aruarian.dance)
Développement reproductibilité du système

Deux règles empiriques pour un code efficace

2025-05-17

Cet article présente deux conseils pratiques pour améliorer l'efficacité du code : déplacer les conditions `if` vers le haut et les boucles `for` vers le bas. Déplacer les conditions `if` vers la fonction appelante réduit les branchements, simplifie le flux de contrôle et améliore la lisibilité. Déplacer les boucles `for` là où les données par lots sont traitées tire parti des avantages du traitement par lots, améliore les performances et débloque potentiellement la vectorisation. Ces deux conseils se complètent, améliorant efficacement l'efficacité du code, en particulier lors du traitement de grandes quantités de données.

Lire plus
(matklad.github.io)
Développement

L'atterrisseur lunaire IM-2 d'Intuitive Machines se couche sur le flanc : Leçons tirées d'un atterrissage au pôle Sud

2025-05-17

Le deuxième atterrisseur lunaire d'Intuitive Machines, IM-2, s'est posé sur le flanc près du pôle Sud de la Lune en raison d'interférences d'altimètre et de conditions d'éclairage difficiles. Le PDG Steve Altemus a déclaré que, bien que les missions IM-1 et IM-2 aient toutes deux connu des atterrissages qui ont abouti à la chute du module, la NASA considère chaque mission CLPS comme un succès, car les leçons apprises contribuent à l'objectif d'établir une économie lunaire. L'incident survenu avec IM-2 a été attribué au bruit du signal de l'altimètre laser, aux longues ombres et à la lumière solaire à angle bas dues au terrain unique du pôle Sud, et à une résolution insuffisante à basse altitude dans les images du LRO de la NASA. IM améliore le système d'atterrissage pour IM-3, notamment en ajoutant des altimètres redondants, un capteur indépendant de la lumière et des algorithmes de navigation améliorés, ciblant Reiner Gamma près de l'équateur lunaire.

Lire plus
(spacepolicyonline.com)
Technologie exploration robotique

Les États-Unis pourraient lever l'interdiction des vols supersoniques après 52 ans

2025-05-17
Les États-Unis pourraient lever l'interdiction des vols supersoniques après 52 ans

Un projet de loi bipartite vise à lever l'interdiction de plusieurs décennies concernant les vols supersoniques au-dessus des États-Unis continentaux, à condition d'éliminer les bangs soniques au niveau du sol. Soutenue par des personnalités comme Elon Musk et grâce aux progrès technologiques de la NASA, ce projet de loi vise à autoriser une nouvelle génération d'avions supersoniques plus silencieux. La législation souligne une compétition renouvelée avec la Chine, qui poursuit activement ses propres objectifs en matière d'aviation supersonique. L'histoire des tests de bang sonique et l'interdiction qui en a résulté sont également explorées, ce qui suscite un nouvel espoir pour des voyages aériens plus rapides et le leadership américain dans l'aviation.

Lire plus
(www.theregister.com)
Technologie bang sonique

Plus de 75 problèmes ouverts en géométrie computationnelle

2025-05-17

Le projet des problèmes ouverts est un site web qui rassemble plus de 75 problèmes non résolus en géométrie computationnelle et dans les domaines connexes. Lancé en 2001 avec 30 problèmes initiaux, il est maintenant une ressource complète catégorisée par thèmes tels que les enveloppes convexes, la théorie des graphes et les diagrammes de Voronoi. Bien qu'il n'accepte plus de nouvelles soumissions, le site encourage les mises à jour des problèmes existants, en particulier ceux résolus (totalement ou partiellement), favorisant ainsi la collaboration et le progrès dans le domaine.

Lire plus
(topp.openproblem.net)
Développement problèmes ouverts

MinorMiner : miner le Bitcoin avec les devoirs de mathématiques des enfants ?

2025-05-17
MinorMiner : miner le Bitcoin avec les devoirs de mathématiques des enfants ?

Hobert Reaton présente une opportunité d'investissement révolutionnaire : MinorMiner, une plateforme qui mine du Bitcoin en utilisant les devoirs de mathématiques des enfants. En décomposant l'algorithme de hachage SHA-256 en problèmes arithmétiques simples, la plateforme transforme les devoirs des enfants en ressources de calcul. Ils ont également développé la bibliothèque CUDAAAAGH, distribuant les calculs sur un vaste pool de « partenaires de calcul » (élèves). Les projets futurs incluent l'application de cette technologie à l'entraînement de l'IA et même la construction d'un système informatique entièrement alimenté par des enfants. Une entreprise controversée mais imaginative.

Lire plus
(robertheaton.com)
Startup

Vulnérabilité d'échappement de VM VirtualBox : un dépassement de capacité entière entraîne la compromission de l'hôte

2025-05-17
Vulnérabilité d'échappement de VM VirtualBox : un dépassement de capacité entière entraîne la compromission de l'hôte

Une vulnérabilité de dépassement de capacité entière de haute gravité dans la fonction vmsvga3dSurfaceMipBufferSize de VirtualBox permet aux attaquants de manipuler un appel malloc, en allouant 0 octet tandis que VirtualBox suit une taille de tampon plus grande. Cela conduit à des primitives de lecture/écriture linéaires, qui évoluent vers un accès en lecture/écriture arbitraire à la mémoire de l'hôte. Une preuve de concept montre une évasion complète de la machine virtuelle. L'exploitation implique de déclencher une allocation de surface défectueuse, d'exploiter la lecture/écriture hors limites, l'allocation de tas arbitraire et, enfin, d'obtenir le contrôle de RIP pour l'exécution de code arbitraire. Un correctif est disponible ; les utilisateurs doivent mettre à jour immédiatement.

Lire plus
(github.com)
Technologie échappement VM

Un Transformer simple résout le Jeu de la Vie de Conway

2025-05-17

Des chercheurs ont montré qu'un réseau neuronal Transformer hautement simplifié peut calculer parfaitement le Jeu de la Vie de Conway simplement en étant entraîné sur des exemples du jeu. Le modèle utilise son mécanisme d'attention pour calculer efficacement des convolutions 3x3, reflétant le comptage des voisins crucial pour les règles du Jeu de la Vie. Nommé SingleAttentionNet, sa structure simple permet l'observation de ses calculs internes, démontrant qu'il ne s'agit pas d'un simple prédicteur statistique. L'étude révèle que le modèle peut exécuter parfaitement 100 jeux pendant 100 étapes, même lorsqu'il est entraîné uniquement sur les première et deuxième itérations d'instances aléatoires du Jeu de la Vie.

Lire plus
(sidsite.com)
IA Mécanisme d'Attention

Lancement d'une fusée australienne retardé en raison d'un dysfonctionnement de la coiffe

2025-05-17
Lancement d'une fusée australienne retardé en raison d'un dysfonctionnement de la coiffe

Le lancement inaugural de la fusée Eris de Gilmour Space Technologies a été retardé en raison d'un déploiement prématuré de la coiffe. La société mènera une enquête complète et remplacera la coiffe avant de tenter un nouveau lancement. Ce revers fait suite à plus d'un an de retards imputables aux approbations réglementaires. Malgré cela, Gilmour reste confiante dans son système de propulsion hybride, visant seulement 10 à 20 secondes de vol stable lors du lancement initial pour collecter des données cruciales. Eris vise à être le premier lanceur orbital australien.

Lire plus
(arstechnica.com)
Technologie Fusée Eris Dysfonctionnement de la coiffe Espace australien

Construction d'un hyperviseur RISC-V dans le système d'exploitation Starina : de Hello World au démarrage de Linux

2025-05-17
Construction d'un hyperviseur RISC-V dans le système d'exploitation Starina : de Hello World au démarrage de Linux

Cet article documente le parcours de l'auteur dans la construction d'un hyperviseur léger basé sur l'extension RISC-V H au sein du système d'exploitation Starina. En utilisant l'émulation de l'extension RISC-V H de QEMU, l'auteur a implémenté progressivement l'entrée en mode invité, la gestion des appels système, un simple programme Hello World et, enfin, le démarrage du noyau Linux. Des défis tels que la gestion des tables de pages, la configuration de l'arbre des périphériques, la prise en charge du temporisateur et le MMIO ont été surmontés, avec des étapes et des solutions détaillées. L'article se termine par un démarrage réussi de Linux sur l'hyperviseur Starina.

Lire plus
(seiya.me)
Développement

Publisher : Serveur de modèle sémantique open source pour Malloy

2025-05-17
Publisher : Serveur de modèle sémantique open source pour Malloy

Publisher est un serveur de modèle sémantique open source basé sur le langage de données Malloy. Il vous permet de créer des modèles de données sémantiques riches — en définissant la signification, les relations et le contexte de vos données — et les expose via une interface serveur. Les applications, les agents d'IA et les utilisateurs peuvent interroger les données de manière cohérente et fiable, en tirant parti de la compréhension partagée définie dans le modèle Malloy. Publisher résout le problème des réponses non fiables lorsque la signification des données n'est pas claire. Il utilise les requêtes Malloy, les compilant en SQL en arrière-plan pour fournir des réponses fiables sans redéfinir la signification des données dans chaque outil. Il se compose de trois composants principaux : un serveur, un SDK et une application de référence, prenant en charge diverses bases de données et applications d'IA.

Lire plus
(github.com)
Développement modèle sémantique

Popcorn : Exécuter Elixir dans le navigateur

2025-05-17

Popcorn est une bibliothèque novatrice permettant l'exécution de code Elixir dans les navigateurs web. Utilisant le runtime AtomVM, elle exécute le code Elixir compilé côté client, offrant des API pour l'interaction Elixir-JavaScript, la sérialisation et la communication, tout en assurant la réactivité du navigateur. Actuellement en développement, avec une API instable, elle présente trois exemples en direct : un simple REPL Elixir, des tutoriels interactifs et une implémentation du Jeu de la vie. Les développeurs peuvent commencer à utiliser Popcorn en l'ajoutant comme dépendance dans leur `mix.exs` et en configurant les points d'entrée JS et Elixir WASM. Elle connecte JS et Elixir via l'échange de messages et permet l'exécution directe de JS depuis Elixir. Le côté Elixir utilise le module `Popcorn.Wasm`, tandis que le côté JS utilise la classe `Popcorn`.

Lire plus
(popcorn.swmansion.com)
Développement

MCP : Adoption rapide, problèmes de croissance et appel à l’action

2025-05-17
MCP : Adoption rapide, problèmes de croissance et appel à l’action

Cet article répond à une critique du protocole MCP, un standard pour appeler des outils depuis des LLMs. L’auteur soutient que la critique se concentre trop sur les mécanismes de transport (par exemple, WebSockets) tout en négligeant la valeur principale du MCP : l’authentification OAuth 2.0 et la capacité des LLMs à interagir avec le monde réel. Tout en reconnaissant des problèmes tels que la sécurité des outils et la compatibilité des serveurs multi-tenants, l’auteur souligne l’adoption rapide du MCP et les efforts de la communauté pour relever ces défis. L’auteur conclut par un appel à l’action pour que les développeurs participent à la construction d’un avenir sûr et fiable pour le MCP.

Lire plus
(docs.mcp.run)
Développement protocole MCP

Un catalogue de nouveaux systèmes d'exploitation : réinventer l'avenir de l'informatique

2025-05-17
Un catalogue de nouveaux systèmes d'exploitation : réinventer l'avenir de l'informatique

Après l'engouement pour les LLM, une vague de création de nouveaux systèmes d'exploitation a émergé. Cet article recense plusieurs de ces projets, notamment la pile informatique personnelle UXN/Varvara, le système d'exploitation Nette.io orienté recherche web et des systèmes basés sur Lisp comme Interim et ChrysaLisp. Ces projets démontrent des approches innovantes de la conception de systèmes d'exploitation, telles que la réinvention de l'interface de bureau de DesktopNeo et la conception de systèmes d'exploitation basés sur les intentions de MercuryOS. Ces efforts représentent des explorations audacieuses de l'avenir de l'informatique, ravivant la passion pour l'innovation en matière de systèmes d'exploitation.

Lire plus
(github.com)
Développement

Les cartes de transport japonaises : la vitesse impressionnante de FeliCa

2025-05-17
Les cartes de transport japonaises : la vitesse impressionnante de FeliCa

Le système de transport public japonais est réputé pour son efficacité, et une partie essentielle de cela réside dans la rapidité incroyable de ses portiques d'entrée/sortie. Cette vitesse est due à FeliCa, une technologie NFC développée par Sony qui surpasse les alternatives occidentales comme MIFARE. Le traitement hors ligne des transactions de FeliCa, qui stocke la valeur et l'historique des transactions directement sur la carte, accélère considérablement le processus. L'article explore les détails techniques de FeliCa, le système de paiement mobile Osaifu-Keitai, son impressionnante sécurité et les axes de recherche futurs possibles, notamment une simulation de réseau de gare miniature et l'étude de la physique derrière la vitesse de FeliCa.

Lire plus
(aruarian.dance)
Technologie Transport Public

Les propulseurs de secours de Voyager 1 miraculeusement remis en service

2025-05-17
Les propulseurs de secours de Voyager 1 miraculeusement remis en service

Les ingénieurs de la NASA ont accompli l'impensable : remettre en service les propulseurs de secours de Voyager 1, inactifs depuis 2004. Les propulseurs principaux se dégradent, menaçant la communication avec la Terre. Une échéance imminente – la mise à niveau prévue de l’antenne terrestre – a ajouté de l’urgence. Un alignement précis du suivi d’étoiles et une attente angoissante de 23 heures pour confirmation étaient nécessaires avant que les propulseurs de secours ne fonctionnent correctement. Cet exploit remarquable prolonge la durée de vie de cette sonde interstellaire pionnière, témoignage de l’ingéniosité humaine et de l’héritage durable de l’exploration spatiale.

Lire plus
(www.space.com)
Technologie

Intraterrestres : À la découverte de la vie la plus étrange sur Terre

2025-05-17
Intraterrestres : À la découverte de la vie la plus étrange sur Terre

Dans 'Intraterrestres', Karen Lloyd emmène les lecteurs dans un voyage palpitant à la découverte des micro-organismes extraordinaires qui prospèrent dans des environnements extrêmes sur Terre. Des sédiments des profondeurs océaniques et des fumerolles volcaniques au pergélisol, Lloyd, une géomicrobiologiste chevronnée, détaille ses aventures de collecte d'échantillons dans des endroits difficiles et parfois dangereux. Le livre décrit avec vivacité les difficultés et l'excitation de ses expéditions, notamment une mission audacieuse de prélèvement d'échantillons dans un lac de cratère hautement acide du volcan Poás au Costa Rica (qui est entré en éruption 54 jours plus tard !). À travers ces histoires captivantes, Lloyd révèle la diversité et la résilience surprenantes des 'intraterrestres', soulignant leurs adaptations uniques et offrant des informations sur l'évolution de la vie sur Terre et le potentiel de vie au-delà.

Lire plus
(www.nature.com)
Technologie microbes extrêmes géomicrobiologie

Fahmatrix : Une alternative légère à Pandas pour Java

2025-05-17
Fahmatrix : Une alternative légère à Pandas pour Java

Fahmatrix est une bibliothèque Java moderne et légère pour travailler avec des données tabulaires, inspirée de Pandas en Python et conçue pour simplifier la compréhension des données sur la JVM. Elle offre une API intuitive pour la lecture et la prévisualisation de fichiers CSV, le filtrage des lignes et la sélection des colonnes, et des fonctionnalités à venir telles que les agrégations, le regroupement et le tri. Fahmatrix n'a actuellement aucune dépendance externe et peut être téléchargée sous forme de fichier JAR depuis GitHub ou utilisée via Maven/Gradle (à ajouter dans les futures versions). Ses principales fonctionnalités incluent le chargement de fichiers CSV dans des DataFrames, l'affichage des données, les fonctions head()/tail(), diverses fonctions d'agrégation, le filtrage des lignes et la sélection des colonnes, groupBy et les tableaux croisés dynamiques, l'exportation de données et l'inférence et la conversion de types. Fahmatrix permet aux développeurs Java de travailler efficacement avec les données tabulaires sans quitter la JVM.

Lire plus
(github.com)
Développement

Home Assistant : L'expérience d'un développeur kernel en matière d'automatisation domestique

2025-05-17

Un développeur kernel partage son expérience d'un an avec Home Assistant, un système d'automatisation domestique open source. L'article examine la santé du projet Home Assistant, en équilibrant son modèle économique avec sa communauté open source, en soulignant sa base active de développeurs et sa transition vers la Open Home Foundation. L'installation, bien qu'officiellement recommandée avec un système d'exploitation dédié, est relativement simple sur les systèmes Linux standard, bien qu'elle exige certaines connaissances techniques. Home Assistant connecte divers appareils domestiques via des intégrations, de qualité variable, mais offrant une fonctionnalité puissante dans l'ensemble. Les questions de sécurité sont abordées, en reconnaissant les risques potentiels, mais en observant la politique de sécurité du projet et les mécanismes d'audit qui atténuent certaines vulnérabilités. En fin de compte, Home Assistant permet aux utilisateurs de contrôler leur réseau domestique et leurs appareils, offrant une alternative convaincante aux services cloud.

Lire plus
(lwn.net)
Développement Automatisation Domestique
1 2 … 230 231 232 234 236 237 238 … 595 596