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

Compilation d'un petit langage fonctionnel vers LLVM : exemple de calculatrice simple

2025-09-23

Cet article détaille le processus de compilation d'un petit langage fonctionnel vers LLVM. En commençant par un langage de calculatrice basique, l'auteur construit progressivement un analyseur lexical, un analyseur syntaxique et un générateur de code LLVM. L'article explique minutieusement chaque étape, notamment l'analyse avec la bibliothèque megaparsec, la génération de code LLVM IR à l'aide des bibliothèques llvm-hs-pure et llvm-hs-pretty, et enfin la compilation et l'exécution du résultat. Grâce à cet exemple, les lecteurs peuvent apprendre à traduire les caractéristiques des langages fonctionnels (comme la correspondance de motifs) en LLVM IR et à utiliser LLVM pour la génération et la compilation de code.

(danieljharvey.github.io)

Développement Langage fonctionnel

Siri échoue à "Quel mois est-ce ?", mais réussit avec "ChatGPT, quel mois est-ce ?"

2025-03-21

Siri échoue à

Un fil de discussion sur Reddit met en évidence l'incapacité de Siri à répondre à la simple question "Quel mois est-ce ?", répondant par "Je suis désolé, je ne comprends pas". Cependant, reformuler la question en "Quel mois est-ce actuellement ?" a donné la réponse incorrecte "C'est 2025". Étonnamment, demander à Siri "ChatGPT, quel mois est-ce ?" fournit la bonne réponse, suggérant que Siri pourrait avoir besoin de l'assistance de l'IA pour des requêtes apparemment basiques. Cela soulève des questions sur les capacités de Siri et la complexité qu'elle peut gérer de manière indépendante.

(daringfireball.net)

Technologie

Houseplant : Simplifier les migrations de base de données ClickHouse

2024-12-27

Houseplant est un outil en ligne de commande conçu pour simplifier la gestion des migrations de bases de données ClickHouse. Il permet aux développeurs d'écrire des migrations dans un format YAML convivial, les rendant faciles à lire et à maintenir. Des commandes simples comme `houseplant init`, `houseplant generate` et `houseplant migrate` permettent l'initialisation, la génération de migrations, l'exécution et la restauration. Houseplant prend en charge différentes configurations d'environnement et offre une interface en ligne de commande intuitive pour une gestion transparente du schéma ClickHouse.

(houseplant.readthedocs.io)

Développement Migrations de base de données

Le battage médiatique contre la réalité des vols spatiaux commerciaux : un regard lucide sur les récents échecs

2025-07-01

Le battage médiatique contre la réalité des vols spatiaux commerciaux : un regard lucide sur les récents échecs

Les récents revers de la conquête spatiale, notamment les deux tentatives infructueuses d'atterrissage lunaire d'iSpace et les difficultés du programme Starship de SpaceX, mettent en lumière un problème crucial : le décalage entre l'engouement autour des vols spatiaux commerciaux et la dure réalité de leurs défis techniques. L'auteur soutient que ce n'est pas simplement une série d'incidents isolés, mais plutôt un problème systémique résultant d'attentes irréalistes, de structures de coûts opaques et d'une culture qui privilégie le marketing à une ingénierie solide. En traçant des parallèles avec l'approche méticuleuse de l'ère Apollo, l'article critique les entreprises qui présentent les échecs comme des « opportunités d'apprentissage » tout en ignorant les défauts fondamentaux. Il conclut par un appel à une plus grande responsabilité et à un accent sur les progrès vérifiables, exhortant l'industrie à aller au-delà des déclarations tapageuses et à produire des résultats tangibles.

(spacenews.com)

Technologie vols spatiaux commerciaux

Une étude génomique indique que notre capacité linguistique est apparue il y a 135 000 ans

2025-03-17

Une étude génomique indique que notre capacité linguistique est apparue il y a 135 000 ans

Une nouvelle étude génomique suggère que notre capacité unique au langage était présente il y a au moins 135 000 ans. Les chercheurs ont analysé 15 études génétiques et ont découvert que les premières populations humaines ont commencé à diverger géographiquement il y a environ 135 000 ans, indiquant la présence de la capacité linguistique à cette époque. Il y a environ 100 000 ans, le langage est entré dans un usage social généralisé, coïncidant avec des preuves archéologiques d'activité symbolique, telles que des marques sur des objets et l'utilisation d'ocre. Cette recherche fournit une nouvelle perspective sur les origines du langage humain et encourage une exploration plus approfondie de la relation entre le langage, la cognition humaine et le développement social.

(phys.org)

Technologie origines du langage

La FCC rejette les propositions de taxes réglementaires ciblant les grandes entreprises technologiques

2025-08-30

La FCC rejette les propositions de taxes réglementaires ciblant les grandes entreprises technologiques

La Federal Communications Commission (FCC) a rejeté les propositions visant à imposer des taxes réglementaires de type câble aux services de streaming, aux entreprises technologiques et aux fournisseurs de bande large. Des groupes comme le NAB ont fait valoir que ces entreprises bénéficient des ressources de la FCC et devraient contribuer financièrement. Cependant, la FCC a invoqué des difficultés administratives et l'absence de preuves démontrant une augmentation des charges réglementaires imposées par les entreprises technologiques. Les associations commerciales des télécommunications et de la technologie se sont opposées aux propositions, arguant que les taxes ne devraient couvrir que les industries directement réglementées. La décision de la FCC maintient le cadre de taxes existant, les radiodiffuseurs, les opérateurs satellites et les titulaires de licence supportant la charge jusqu'à l'exercice 2025.

(thedesk.net)

Technologie Taxes Réglementaires Grandes Entreprises Technologiques

Programmation littérale : rendre le code plus lisible

2025-06-19

Programmation littérale : rendre le code plus lisible

La programmation littérale, un paradigme inventé par Donald Knuth, privilégie la lisibilité du code pour les humains plutôt que l'exécution immédiate par la machine. Cela permet aux programmeurs de développer des programmes dans un ordre plus naturel, guidé par la pensée. Les programmes littéraux entrelacent des explications en langage naturel avec des extraits de code, améliorant la compréhension et la collaboration. L'outil Literate, décrit ici, vise à simplifier et étendre le système CWEB original de Knuth et Levy. Il prend en charge plusieurs langages, la mise en évidence de la syntaxe, l'impression en HTML, la création basée sur Markdown et offre une interface en ligne de commande pour compiler le code et générer de la documentation HTML. Le projet est open source et accepte les contributions.

(github.com)

Développement Programmation littérale

Arrêtez de blâmer l'IA pour les tirets longs !

2025-09-15

Arrêtez de blâmer l'IA pour les tirets longs !

Cet article réfute avec véhémence l'idée que l'utilisation fréquente de tirets longs indique un texte généré par l'IA. L'auteur soutient que les tirets longs sont un signe de ponctuation élégant et flexible qui reflète la fluidité et la complexité de la pensée humaine. Assimiler les tirets longs à l'écriture de l'IA ne fait pas seulement mal interpréter leur fonction, mais aussi étouffe la diversité et la créativité de l'écriture humaine. L'auteur souligne que la présence de tirets longs dans les textes générés par l'IA met en évidence la dépendance de l'IA à l'écriture humaine. Protéger l'utilisation de tirets longs, c'est aussi protéger le charme unique de l'écriture humaine.

(www.theringer.com)

Divers

Quatre raisons pour lesquelles les réunions Zoom sont si exténuantes (et comment y remédier)

2025-01-09

Quatre raisons pour lesquelles les réunions Zoom sont si exténuantes (et comment y remédier)

Des chercheurs de Stanford ont identifié quatre causes principales de la « fatigue Zoom » : un contact visuel excessif en gros plan, se voir constamment à la caméra, une mobilité restreinte et une charge cognitive accrue. Un contact visuel excessif et des visages de grande taille créent du stress ; se voir constamment conduit à l’autocritique ; une mobilité limitée et une charge cognitive plus importante exacerbent la fatigue. Les solutions consistent à réduire la taille de la fenêtre Zoom, à masquer l’aperçu de soi, à augmenter les mouvements et à prendre des pauses « audio uniquement ». Une échelle d’épuisement et de fatigue Zoom (ZEF) est également en cours de développement pour mesurer le degré de fatigue Zoom.

(news.stanford.edu)

Technologie fatigue Zoom vidéoconférence

Une décision de la Cour suprême menace l'indépendance des agences américaines

2025-09-23

Une décision de la Cour suprême menace l'indépendance des agences américaines

Une ordonnance d'urgence de la Cour suprême a autorisé le président Trump à licencier Rebecca Slaughter, dernière membre démocrate de la Federal Trade Commission (FTC). Cela pourrait inverser un précédent vieux de près d'un siècle, permettant aux présidents de licencier des membres d'agences indépendantes à volonté, affaiblissant ainsi leur indépendance et leur nature bipartite. La décision repose sur le concept d'« exécutif unitaire », qui confère au président un contrôle absolu sur le pouvoir exécutif. Les juges libéraux expriment de fortes dissidences, arguant que cela viole la séparation des pouvoirs et transfère l'autorité du Congrès au président. La composition future des agences dépendra entièrement de la volonté du président, ce qui pourrait entraîner une plus grande polarisation politique. La Réserve fédérale pourrait constituer une exception, mais son avenir reste incertain.

(www.npr.org)

Technologie Agences indépendantes Séparation des pouvoirs

Couche d'interface GNU (GIL) pour g++

2025-09-23

Couche d'interface GNU (GIL) pour g++

Ce dépôt fournit une implémentation de la couche d'interface GNU (GIL) et de la bibliothèque standard pour g++. Il inclut un exemple simple de "Bonjour le monde !" en C++, ainsi que d'autres exemples tels qu'une calculatrice et un tri fusion. L'exécution du code nécessite le compilateur g++ et une attention particulière à la configuration des chemins. Le projet présente une approche non traditionnelle de la programmation C++ utilisant une bibliothèque standard personnalisée.

(github.com)

Développement

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

2025-09-22

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

(arxiv.org)

Développement

AMD met en garde contre une attaque par canal auxiliaire critique affectant une large gamme de puces

2025-07-10

AMD met en garde contre une attaque par canal auxiliaire critique affectant une large gamme de puces

AMD avertit les utilisateurs d'une nouvelle attaque par canal auxiliaire découverte, l'attaque de planificateur transitoire (TSA), qui affecte une large gamme de ses puces et pourrait entraîner la divulgation d'informations. Le TSA comprend quatre vulnérabilités, classées de faible à moyenne gravité, mais les entreprises de sécurité évaluent la menace comme critique. L'exploitation nécessite une grande complexité, nécessitant un attaquant capable d'exécuter du code arbitraire sur la machine cible et de multiples exécutions pour une exfiltration fiable des données. Dans le pire des cas, cela pourrait entraîner des fuites de données du noyau du système d'exploitation. AMD a publié des correctifs, mais certaines mesures d'atténuation peuvent avoir un impact sur les performances.

(www.theregister.com)

Technologie attaque par canal auxiliaire

Plan de licenciements de Microsoft pour 2025 : rationalisation de la gestion et amélioration de l'efficacité

2025-04-13

Plan de licenciements de Microsoft pour 2025 : rationalisation de la gestion et amélioration de l'efficacité

Microsoft prévoit apparemment une nouvelle vague de licenciements en mai 2025, visant à rationaliser sa structure organisationnelle en réduisant les postes de cadres intermédiaires et les fonctions non techniques. L'objectif est d'améliorer l'efficacité et d'augmenter le ratio ingénieurs/non-ingénieurs au sein des équipes de projet, suivant ainsi la tendance observée chez les géants de la tech comme Google et Amazon.

(www.thebridgechronicle.com)

Technologie restructuration organisationnelle tendances du secteur technologique

Pelures d'oignon rouge : un allié inattendu dans la lutte pour une énergie solaire durable

2025-09-21

Pelures d'oignon rouge : un allié inattendu dans la lutte pour une énergie solaire durable

Des chercheurs de l'université de Turku ont mis au point un film de protection UV bio-sourcé pour les cellules solaires à partir d'un extrait de pelures d'oignon rouge. Ce film surpasse les films plastiques commerciaux, bloquant presque toute la lumière UV nocive tout en conservant une forte transmittance de la lumière visible. La clé réside dans les anthocyanes et autres composés de la pelure d'oignon qui assurent à la fois l'absorption des UV et la stabilité. Cette alternative durable pourrait révolutionner la protection des cellules solaires, notamment pour des applications telles que les emballages intelligents et les dispositifs portables où le recyclage est difficile.

(www.zmescience.com)

Technologie cellules solaires

PlanetScale pour Postgres est désormais disponible

2025-09-22

PlanetScale pour Postgres est désormais disponible

Le service Postgres géré par PlanetScale est désormais disponible publiquement, après une période d'accès anticipé. Les utilisateurs peuvent facilement créer des bases de données Postgres et utiliser les guides de migration pour passer d'autres fournisseurs. Fort de cinq années d'expérience avec son produit Vitess, PlanetScale a aidé des entreprises comme Cursor, Intercom et Block à faire évoluer leurs bases de données. Cette nouvelle offre combine la maturité de PlanetScale avec les performances du métal nu et inclut une solution de sharding Postgres appelée Neki, prévue pour une sortie open source future.

(planetscale.com)

Technologie

L'IA résout un défi de longue date en dynamique des fluides

2025-09-22

L'IA résout un défi de longue date en dynamique des fluides

Des chercheurs ont utilisé l'IA pour réaliser une percée en dynamique des fluides. Grâce à des réseaux neuronaux informés par la physique (PINNs), ils ont découvert de nouvelles familles de singularités instables avec une précision sans précédent – suffisamment précise pour prédire le diamètre de la Terre à quelques centimètres près. Cette avancée marque une nouvelle ère de mathématiques assistées par ordinateur, combinant des intuitions mathématiques profondes avec l'IA de pointe pour relever les défis de longue date en mathématiques, physique et ingénierie.

(deepmind.google)

Technologie

Microsoft Teams révolutionné par l'arrivée massive d'agents IA Copilot

2025-09-19

Microsoft Teams révolutionné par l'arrivée massive d'agents IA Copilot

Microsoft ajoute une multitude d'agents IA à Teams, promettant des assistants Copilot pour chaque canal, réunion et communauté. Ces nouveaux agents fonctionneront également sur SharePoint et Viva Engage, et sont déployés pour les utilisateurs de Microsoft 365 Copilot. Les nouvelles fonctionnalités incluent des agents facilitateurs de réunion qui créent des ordres du jour, prennent des notes et répondent aux questions ; des agents de canal qui répondent aux questions basées sur les conversations et réunions précédentes ; des agents communautaires dans Viva Engage qui aident les administrateurs ; et des agents de connaissance dans SharePoint qui organisent et résument les fichiers. Les agents facilitateurs de réunion sont disponibles dès maintenant, mais la création de documents et de tâches, ainsi que les autres agents, sont en prévisualisation publique, parallèlement à un outil Workflows remanié pour l'automatisation des tâches basée sur l'IA et un générateur de récapitulatifs audio.

(www.theverge.com)

Technologie

Psychédéliques et respiration : une nouvelle ère pour le traitement des maladies mentales ?

2025-04-17

Psychédéliques et respiration : une nouvelle ère pour le traitement des maladies mentales ?

Des études récentes ont montré des résultats prometteurs pour les thérapies assistées par des psychédéliques, tels que la psilocybine et la MDMA, dans le traitement de la dépression résistante au traitement et du trouble de stress post-traumatique (TSPT). De nombreux essais cliniques indiquent des améliorations substantielles et durables. Simultanément, les thérapies respiratoires, y compris le Holotropic Breathwork, gagnent du terrain, la recherche suggérant une efficacité dans la réduction du stress, de l'anxiété et de la dépression. Ces thérapies semblent agir en modifiant l'activité cérébrale et les niveaux de neurotransmetteurs, impactant ainsi l'humeur et l'état mental. Bien que des recherches supplémentaires soient nécessaires pour confirmer l'efficacité et la sécurité, ces résultats offrent un nouvel espoir pour le traitement des maladies mentales et ouvrent des voies intéressantes pour explorer les mystères du cerveau et de la conscience.

(www.nature.com)

IA thérapie psychédélique thérapie respiratoire traitement des maladies mentales

Le comité C++ abandonne une proposition de sous-ensemble sécurisé au milieu d'un débat sur la sécurité mémoire

2025-09-20

Le comité C++ abandonne une proposition de sous-ensemble sécurisé au milieu d'un débat sur la sécurité mémoire

Le comité de normalisation C++ a rejeté une proposition détaillée pour un sous-ensemble rigoureusement sécurisé du langage, malgré les préoccupations persistantes concernant la sécurité mémoire. Le co-auteur Sean Baxter attribue ce rejet à l'impopularité du modèle de sécurité de Rust au sein du comité, qui privilégie l'approche des « profils ». Bien que les profils soient soutenus par des personnalités comme Bjarne Stroustrup, leur viabilité est remise en question, et leur inclusion dans C++26 n'est pas garantie. Cette décision suscite la controverse, certains développeurs suggérant qu'il serait préférable de passer à Rust ou à d'autres langages plus sûrs, comme le projet expérimental « Carbon » de Google.

(www.theregister.com)

Développement

Le vent terrestre rouille la Lune

2025-09-23

Le vent terrestre rouille la Lune

Une nouvelle recherche suggère qu'un flux de particules chargées provenant de la Terre pourrait être responsable de la rouille trouvée sur la Lune. Des scientifiques ont découvert que des particules d'oxygène projetées de la Terre vers la Lune peuvent transformer les minéraux lunaires en hématite, également connue sous le nom de rouille. Cette découverte améliore notre compréhension de l'interconnexion profonde entre la Terre et la Lune, montrant que la Lune conserve un enregistrement géologique de ces interactions. Lorsque la Terre se trouve entre le Soleil et la Lune, la Lune est exposée au «vent terrestre», contenant des ions de divers éléments, dont l'oxygène. Ces particules chargées, en impactant la Lune, s'incorporent dans les couches supérieures du sol lunaire et déclenchent des réactions chimiques conduisant à la formation d'hématite. Cette recherche fournit un soutien expérimental à l'origine de l'hématite lunaire, confirmant le vent terrestre comme facteur contributif à la rouille de la Lune.

(www.nature.com)

Technologie Rouille Vent Terrestre

La lutte pour un logiciel fiscal libre aux États-Unis : pourquoi Direct File ne suffit pas

2025-04-13

Les contribuables américains ont longtemps dépendu de logiciels fiscaux propriétaires comme TurboTax, compromettant leur liberté. Bien que l'IRS propose Direct File, un service gratuit de dépôt électronique, il ne s'agit pas d'un logiciel libre, manquant de transparence, de sécurité et de réparabilité. L'article exhorte l'IRS à faire de Direct File un logiciel libre pour protéger les droits des contribuables, garantir la sécurité des données et améliorer la durabilité et l'inclusion du système. Il encourage à écrire au commissaire de l'IRS pour plaider en faveur de changements.

(www.fsf.org)

Technologie gouvernement américain

La triche à l'IA : comment la technologie a simplifié l'école, mais rendu plus difficile d'en sortir

2025-09-05

La triche à l'IA : comment la technologie a simplifié l'école, mais rendu plus difficile d'en sortir

Un lycéen de New York décrit comment les outils d'IA ont transformé l'éducation, en détaillant comment les élèves utilisent ChatGPT et des outils d'IA similaires pour tricher aux devoirs, aux discussions en classe et même aux compétitions de débat. Bien que les écoles mettent en œuvre des mesures anti-triche, les élèves trouvent constamment des moyens de les contourner. L'article soutient que l'IA non seulement permet la triche, mais sape également le sentiment d'urgence de l'apprentissage et l'initiative des élèves, favorisant la dépendance à la validation externe plutôt qu'à la croissance interne, produisant finalement une génération dépourvue de pensée indépendante et de compétences en résolution de problèmes. L'auteur suggère de réformer les méthodes d'évaluation : examens oraux, travaux d'écriture personnalisés et notation basée sur des projets, pour cultiver la pensée critique et les compétences en résolution de problèmes.

(www.theatlantic.com)

Divers IA et Éducation Apprentissage des Élèves

arXivLabs : Création de nouvelles fonctionnalités arXiv avec des collaborateurs communautaires

2025-09-23

arXivLabs est un cadre collaboratif permettant aux développeurs de créer et de partager de nouvelles fonctionnalités arXiv directement sur le site web. Les participants, individus et organisations, adhèrent aux valeurs d'arXiv : ouverture, communauté, excellence et confidentialité des données utilisateur. arXiv s'engage envers ces valeurs et ne collabore qu'avec des partenaires qui les partagent. Vous avez une idée pour une contribution communautaire précieuse ? Explorez arXivLabs !

(arxiv.org)

Développement

Le pêcheur et sa femme : une fable sur l'avarice

2025-09-19

Un pêcheur attrape un flet parlant qui exauce les vœux de sa femme. Devenant de plus en plus gourmande, elle passe d'une humble chaumière à un palais, puis à la royauté, la papauté et enfin, la divinité ! Chaque souhait accordé ne fait qu'alimenter son avarice insatiable. Finalement, ils perdent tout et retournent à leur cabane sordide. Ce conte de fées classique met en garde contre l'ambition démesurée et l'importance du contentement.

(sites.pitt.edu)

Divers conte de fées avarice

Le gouvernement américain impose le partage de code source pour économiser des milliards

2024-12-27

Le président Biden a promulgué la loi SHARE IT Act, exigeant que les agences fédérales américaines partagent le code source personnalisé afin de réduire les coûts de développement logiciel redondants. La loi vise à économiser environ 12 milliards de dollars par an en listant publiquement et en partageant le code personnalisé, empêchant ainsi les agences de payer involontairement pour des travaux en double. La loi exclut le code classifié, les systèmes de sécurité nationale et le code présentant des risques de confidentialité s'il est partagé. L'initiative a reçu le soutien de sociétés de logiciels telles qu'Atlassian et GitLab, qui estiment que le partage de code favorise l'efficacité et l'innovation.

(fedscoop.com)

Technologie partage de code logiciel gouvernemental économies de coûts

Construire un serveur de sauvegarde imbattable : FreeBSD, ZFS et sécurité multicouche

2025-08-02

Construire un serveur de sauvegarde imbattable : FreeBSD, ZFS et sécurité multicouche

Cet article détaille la construction d’un serveur de sauvegarde sécurisé et fiable à l’aide de FreeBSD, ZFS et BastilleBSD. L’auteur souligne l’importance de la redondance des données et du chiffrement multicouche, en décrivant des stratégies de sauvegarde pour les serveurs FreeBSD ZFS (à l’aide de zfs-autobackup), d’autres systèmes (à l’aide de BorgBackup) et les serveurs Proxmox (à l’aide de Proxmox Backup Server et Minio). L’article aborde également les VPN, l’isolement du réseau, les snapshots et le renforcement de la sécurité, dans le but d’aider les lecteurs à créer un système de sauvegarde robuste et résilient à diverses menaces.

(it-notes.dragas.net)

Développement serveur de sauvegarde

Percée en téléportation quantique : fidélité de 70 % atteinte pour les opérations de portes quantiques

2025-02-08

Percée en téléportation quantique : fidélité de 70 % atteinte pour les opérations de portes quantiques

Des chercheurs ont réussi à téléporter des portes quantiques à l'aide de photons, atteignant une fidélité de 70 %. L'expérience reposait sur une opération de porte contrôlée-Z, servant d'élément constitutif pour d'autres portes à deux qubits. Bien que la fidélité ait été limitée par des opérations locales plutôt que par le processus de téléportation lui-même, les chercheurs pensent que l'utilisation de matériel commercial présentant des taux d'erreur plus faibles améliorerait considérablement les performances. De plus, ils ont exécuté avec succès l'algorithme de Grover à l'aide de cette méthode, validant ainsi le potentiel de la technologie. Cette recherche est agnostique du matériel et promet de faire progresser la construction de réseaux quantiques tolérants aux pannes à grande échelle.

(arstechnica.com)

Technologie portes quantiques

Le compagnon secret de la Terre depuis 60 ans : découverte d’une nouvelle quasi-lune

2025-09-22

Le compagnon secret de la Terre depuis 60 ans : découverte d’une nouvelle quasi-lune

Des astronomes ont découvert un astéroïde proche de la Terre nommé 2025 PN7, une quasi-lune qui orbite la Terre inaperçue depuis environ 60 ans. Cet objet spatial d’environ 30 mètres de diamètre est plus petit que toutes les quasi-lunes connues jusqu’à présent, et son orbite oscille entre une orbite proche de la Terre et une orbite en fer à cheval. Les chercheurs émettent l’hypothèse qu’il pourrait provenir de la ceinture d’astéroïdes Arjuna, ou même être un fragment de la Lune. Bien qu’il soit très proche de la Terre, il ne représente aucune menace et offre des opportunités précieuses pour la recherche sur le système solaire et les tests de technologies d’exploration planétaire.

(www.cnn.com)

Technologie Astéroïde proche de la Terre

Un OS minuscule en moins de 1000 lignes de Zig : OS-1000-lines-zig

2025-09-21

Un OS minuscule en moins de 1000 lignes de Zig : OS-1000-lines-zig

OS-1000-lines-zig est un projet impressionnant qui implémente un système d'exploitation léger en moins de 1000 lignes de code Zig. Ce système d'exploitation à noyau monolithique prend en charge la gestion de base des processus et de la mémoire, et dispose d'une interface en ligne de commande simple. Avec seulement un compilateur Zig, les développeurs peuvent facilement cloner, compiler et exécuter l'OS. Le projet possède une structure de code propre avec des composants tels que l'implémentation du noyau, les fonctions communes et un script de compilation, et inclut des tests et des directives de contribution. Les plans de développement futurs incluent l'extension de la gestion des processus, de la gestion de la mémoire, de l'interface en ligne de commande, du réseau et des systèmes de fichiers.

(github.com)

Développement

← Previous 1 2 3 4 5 6 7 8 9 10 11 12 … 595 596 Next →