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

Craftax : Un benchmark ultrarapide basé sur JAX pour l'apprentissage par renforcement ouvert

2025-02-11
Craftax : Un benchmark ultrarapide basé sur JAX pour l'apprentissage par renforcement ouvert

Craftax est un environnement RL entièrement écrit en JAX, qui réimplémente et étend considérablement la mécanique de jeu de Crafter, s'inspirant de jeux roguelike comme NetHack. Compatible avec l'interface gymnax, il s'intègre facilement aux frameworks JAX tels que PureJaxRL et JaxUED. Accepté comme article vedette à ICML 2024, Craftax offre une prise en charge de la CPU et du GPU/TPU, ainsi que des tutoriels et des lignes de base. Des instructions d'installation et des exemples d'utilisation sont fournis.

Lire plus
(github.com)
Développement Environnement de jeu

Rivulet : Un langage de programmation inspiré de la calligraphie

2025-06-23
Rivulet : Un langage de programmation inspiré de la calligraphie

Rivulet est un langage de programmation unique qui abandonne les mots clés traditionnels, adoptant à la place un style visuel rappelant la calligraphie. Le code est écrit en lignes fluides, sa logique différente de celle de la plupart des langages de programmation, plus proche de l'évolution d'une langue naturelle. L'orateur présentera Rivulet ainsi que d'autres langages de programmation ésotériques s'inspirant d'aspects moins connus des langues naturelles et construites, en montrant leur ambiguïté et leur pouvoir expressif. Le code Rivulet représente le nombre zéro de sept manières différentes à l'aide de 'brins', dont les combinaisons forment des 'glyphes'. Son style visuel est inspiré des labyrinthes, du travail d'Anni Albers et des algorithmes de remplissage d'espace.

Lire plus
(media.ccc.de)
Développement calligraphie

L'IA dans l'enseignement supérieur : gadget ou révolution ?

2025-05-22
L'IA dans l'enseignement supérieur : gadget ou révolution ?

Cet article explore l'application de l'intelligence artificielle dans l'enseignement supérieur. L'auteur assiste à un atelier d'enseignement sur l'IA et observe différents points de vue universitaires sur l'IA, remettant finalement en question le statut révolutionnaire de l'IA dans l'éducation. De nombreux défenseurs de l'IA, soutient l'auteur, survendent les capacités de l'IA, la présentant comme une panacée, tout en ignorant ses coûts environnementaux et son impact négatif sur les habitudes d'apprentissage des étudiants. L'auteur conclut que l'IA est actuellement plus un gadget, incapable de remplacer l'interaction en face à face et la réflexion approfondie entre les enseignants et les étudiants. La véritable éducation exige les conseils des enseignants et l'engagement des étudiants — des choses que l'IA ne peut pas reproduire.

Lire plus
(hedgehogreview.com)
Divers

Quantification des mensonges politiques : Étude de cas des discours de RFK Jr. et Buttigieg

2025-07-18

Cet article quantifie le pourcentage de mensonges dans les discours de RFK Jr. et Pete Buttigieg grâce à une vérification des faits phrase par phrase. L'auteur a découvert que les discours de RFK Jr. contenaient un taux étonnant de 60 % d'affirmations fausses, soit plus de huit mensonges toutes les cinq minutes en moyenne, tandis que le taux de Buttigieg était significativement inférieur. Cette méthodologie s'attaque à la « loi de Brandolini » (l'énergie nécessaire pour réfuter des âneries est d'un ordre de grandeur supérieur à celle nécessaire pour les produire) en vérifiant exhaustivement un discours échantillon pour établir un taux de mensonges, éliminant ainsi le besoin de vérification constante. Bien que chronophage, cette approche offre un moyen novateur d'évaluer la crédibilité des figures politiques.

Lire plus
(brady.fyi)
Divers mensonges politiques

Morgan Stanley quitte l'Alliance bancaire Net-Zéro

2025-01-02
Morgan Stanley quitte l'Alliance bancaire Net-Zéro

Morgan Stanley a suivi Citigroup et Bank of America en se retirant de l'Alliance bancaire Net-Zéro, une initiative mondiale visant à réduire les émissions de gaz à effet de serre. Cette décision soulève des questions sur l'engagement de Wall Street envers l'action climatique. Bien que Morgan Stanley affirme continuer à soutenir les efforts de transition de ses clients, son départ jette le doute sur l'avenir de la participation des institutions financières aux initiatives climatiques et suscite des inquiétudes quant à l'efficacité de l'alliance.

Lire plus
(www.bloomberg.com)
Technologie

Telegram ferme les chaînes Z-Library et Anna's Archive

2025-01-15

Telegram a fermé les chaînes des populaires bibliothèques shadow Z-Library et Anna's Archive en raison de violations de droits d'auteur. Ces deux chaînes, qui comptaient un nombre important d'abonnés, ont pris soin d'éviter de publier des liens directs vers des contenus illicites, mais ont néanmoins été supprimées. Telegram n'a pas révélé les raisons spécifiques, mais on suppose qu'il s'agit de plaintes pour violation de droits d'auteur ou d'une ordonnance d'un tribunal indien. Z-Library a lancé une nouvelle chaîne Telegram.

Lire plus
(torrentfreak.com)
Technologie violation de droits d'auteur bibliothèques shadow

Facture Vercel de 7 000 $ pour une startup : une histoire de grattage par des robots d’IA

2025-04-15
Facture Vercel de 7 000 $ pour une startup : une histoire de grattage par des robots d’IA

Metacast, une startup de podcast, a reçu une facture de près de 7 000 $ de Vercel en raison d’une augmentation du trafic de robots d’IA. Amazonbot, Claudebot et d’autres robots ont envoyé 665 000 requêtes en une seule journée, grattant des milliers d’images de leurs 1,4 million de pages d’épisodes de podcast. L’API d’optimisation d’images de Vercel, bien qu’elle ait rendu l’application rapide, s’est avérée coûteuse. La startup a réagi rapidement en bloquant les robots et en désactivant l’optimisation d’images pour les URL externes, évitant ainsi un désastre. Cet incident sert d’avertissement aux startups concernant les coûts et les risques potentiels de l’activité inattendue des robots d’IA.

Lire plus
(metacast.app)
Startup

Hiroshima : Les récits inédits de l'équipage de l'Enola Gay

2025-08-11
Hiroshima : Les récits inédits de l'équipage de l'Enola Gay

Cet article relate les expériences et les réflexions de l'équipage de l'Enola Gay, le bombardier B-29 qui a largué la bombe atomique sur Hiroshima le 6 août 1945. Du navigateur au bombardier, des opérateurs radar aux ingénieurs de vol, chaque membre d'équipage partage son point de vue sur l'événement et ses conséquences. Leurs témoignages révèlent une tapisserie complexe de justifications, de regrets et d'un espoir durable de paix, offrant un regard nuancé sur un moment crucial de l'histoire.

Lire plus
(www.mentalfloss.com)
Divers Bombe Atomique

Le système d'IA Robin fait sa première découverte scientifique

2025-05-27
Le système d'IA Robin fait sa première découverte scientifique

Le système multi-agents de FutureHouse, Robin, a réalisé une percée majeure dans la recherche scientifique automatisée. En intégrant trois agents d'IA – Crow, Falcon et Finch – Robin a accompli de manière autonome l'ensemble du processus scientifique, de la génération d'hypothèses et de la conception expérimentale à l'analyse des données, découvrant le ripasudil comme traitement potentiel de la dégénérescence maculaire sèche liée à l'âge (DMLA). Cette découverte, réalisée en seulement 2,5 mois, met en évidence un nouveau paradigme pour la découverte scientifique pilotée par l'IA et laisse présager l'automatisation future de la recherche scientifique. Robin sera open-source le 27 mai, offrant de nouvelles possibilités de recherche dans divers domaines.

Lire plus
(www.futurehouse.org)
IA découverte scientifique IA recherche automatisée

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

2025-05-23
arXivLabs : Projets expérimentaux avec des collaborateurs de la communauté

arXivLabs est un framework qui permet 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 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 apportera une valeur ajoutée à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
(arxiv.org)
Développement

Chasse au Higgs-Bugson : Débogage d’un problème NFS/Kerberos au niveau du noyau

2025-07-03
Chasse au Higgs-Bugson : Débogage d’un problème NFS/Kerberos au niveau du noyau

Des ingénieurs ont rencontré un bug difficile à reproduire qui provoquait des échecs de copie de fichiers (-EACCES) dans Gord, un système critique de données de trading. La désactivation de Kerberos a résolu le problème, indiquant des problèmes d’authentification. L’enquête a révélé que le noyau obtient les informations d’identification Kerberos via le démon rpc_gssd, mais les journaux n’ont montré aucune anomalie. Des tests approfondis, notamment la création d’un système de fichiers factice en mémoire et l’utilisation de bpftrace pour le suivi du noyau, ont finalement permis d’identifier le problème : une charge élevée du serveur NFS a entraîné des retransmissions de requêtes. Le noyau a mal géré les requêtes/réponses avec des XID identiques mais des numéros de séquence GSS différents, ce qui a entraîné des incohérences de somme de contrôle et des erreurs. L’ingénieur a corrigé le noyau pour éviter la retransmission immédiate en raison d’incohérences de numéro de séquence.

Lire plus
(blog.janestreet.com)
Développement bug du noyau

Benchmark de qualité de traduction linguistique peu coûteux et efficace

2025-05-20
Benchmark de qualité de traduction linguistique peu coûteux et efficace

Un développeur a tenté de construire un benchmark de qualité de traduction linguistique plus rigoureux scientifiquement en utilisant des évaluations par paires et un modèle Bradley-Terry. Les tentatives initiales ont échoué en raison des coûts élevés, chaque expérience nécessitant des centaines, voire des milliers de dollars. Un système de compromis a été conçu, combinant l'ancien système de notation avec des évaluations par paires. En traitant les phrases de manière itérative, en utilisant plusieurs systèmes d'évaluation de traduction pour attribuer des notes et en combinant l'analyse statistique, les coûts ont été considérablement réduits, produisant des résultats fiables avec de bonnes valeurs p. Bien que sacrifiant une certaine rigueur dans l'aveuglement, le nouveau système a amélioré significativement l'efficacité, complétant un test en allemand pour environ 6 dollars.

Lire plus
(nuenki.app)
Développement traduction linguistique

C++26 : Un bond considérable pour les fonctionnalités de la bibliothèque standard en temps de compilation

2025-05-01

C++26 s'apprête à révolutionner la programmation en temps de compilation grâce à une amélioration massive du support constexpr dans la bibliothèque standard. Plusieurs propositions (P2562R1, P1383R2, P3074R7, P3372R2, P3508R0, P3369R0) intègrent des algorithmes de tri stables, des fonctions et , des règles d'union améliorées, presque tous les conteneurs et adaptateurs, et des algorithmes de mémoire spécialisés dans la catégorie constexpr. Cela améliore considérablement les capacités de temps de compilation, permettant, par exemple, le tri en temps de compilation des conteneurs constexpr. Bien que std::hive et std::hash restent exclus en raison de limitations, C++26 promet une expansion spectaculaire des possibilités de programmation en temps de compilation.

Lire plus
(www.sandordargo.com)
Développement bibliothèque standard

Titan : L'implosion, la négligence et le prix de l'arrogance

2025-06-17
Titan : L'implosion, la négligence et le prix de l'arrogance

Le documentaire Netflix, *Titan : Le désastre du submersible OceanGate*, révèle la vérité derrière l'implosion tragique du submersible Titan. Le film se concentre sur Stockton Rush, PDG d'OceanGate, dont l'ambition de commercialiser l'exploration des grands fonds marins s'est heurtée à un manque de considération pour les questions de sécurité, aboutissant à un accident dévastateur. Des interviews exclusives, des enregistrements et des images révèlent des problèmes de sécurité internes et des décisions étonnamment mauvaises qui ont conduit à l'implosion du submersible lors d'une expédition au Titanic, tuant les cinq personnes à bord. Le documentaire sert d'avertissement sur l'équilibre entre l'innovation technologique et la responsabilité, et les conséquences mortelles de l'arrogance.

Lire plus
(www.netflix.com)
Technologie Exploration sous-marine

Le problème de coordination de l'open source : leçons du bureau Linux et du LSP

2025-06-20

L'auteur utilise son expérience avec NixOS et une application KDE comme point de départ pour discuter des défis de la coordination des logiciels open source dans l'environnement de bureau Linux. Il souligne l'absence de norme API unifiée sur le bureau Linux, ce qui conduit à un écosystème logiciel fragmenté, décrit comme une "machine à mouvement perpétuel à la Escher". Cela contraste avec le lancement du protocole de serveur de langage (LSP) par Microsoft il y a dix ans. Bien que l'implémentation ait été médiocre, sa simple existence a résolu le problème de coordination des fonctionnalités IDE, stimulant le progrès de l'industrie. L'auteur soutient que le manque de coordination de la communauté open source a conduit à une occasion manquée de créer un protocole IDE unifié avant le LSP. Le succès de Linux, cependant, est attribué à la norme API prédéfinie fournie par POSIX, réduisant les difficultés de coordination. Cet article incite à la réflexion sur les mécanismes de coordination de la communauté open source et les modèles de développement des écosystèmes logiciels. Catégorie : Technologie

Lire plus
(matklad.github.io)
Technologie

Starfish Space vise le premier amarrage commercial de satellites en orbite terrestre basse

2025-05-21
Starfish Space vise le premier amarrage commercial de satellites en orbite terrestre basse

La mission Otter Pup 2 de Starfish Space vise à réaliser le premier amarrage commercial de satellites en orbite terrestre basse (LEO). Contrairement aux tentatives précédentes, la cible, un vaisseau spatial D-Orbit ION, ne possède pas d'adaptateur d'amarrage traditionnel. Starfish Space utilisera son mécanisme de capture Nautilus, utilisant l'adhésion électrostatique et un électroaimant de secours, pour l'amarrage. La mission testera les logiciels autonomes de rendez-vous et d'amarrage de l'entreprise (CETACEAN et CEPHALOPOD) et la propulsion électrique à faible poussée. Le succès ouvrira la voie à des services de maintenance de satellites plus abordables et efficaces, avec des plans pour desservir des clients tels que la NASA, la Force spatiale américaine et Intelsat dès 2026.

Lire plus
(www.nasaspaceflight.com)
Technologie Amarrage de satellites Services spatiaux Propulsion électrique

Le programmeur en tant qu'artiste : l'art génératif par le code

2025-04-23
Le programmeur en tant qu'artiste : l'art génératif par le code

Un artiste programmeur partage son approche de la création d'art génératif à l'aide de langages de programmation. Il privilégie les langages interactifs tels que Lisp et Smalltalk, modifiant le code en temps réel pendant l'exécution du programme et inspectant son état pour l'exploration créative. Son inspiration provient de systèmes naturels et de l'histoire de l'art ; par exemple, il a reproduit le style de Kandinsky pour générer d'innombrables images similaires grâce au code. Il considère l'art et la recherche scientifique comme similaires, toutes deux reposant sur la résolution créative de problèmes, tout en notant que l'IA, bien qu'elle soit capable de générer des images, manque de l'autotransformation et de la perception améliorée inhérentes à la création artistique humaine.

Lire plus
(thecreativeindependent.com)
Design Art génératif Codage artistique

L'ascension et la chute de Flash : Une rétrospective du Web

2025-05-29
L'ascension et la chute de Flash : Une rétrospective du Web

Cet article retrace l'ascension et la chute de la technologie Flash. Flash, autrefois une force dominante sur Internet, a prospéré à l'ère du cadran téléphonique grâce à sa légèreté et à ses puissantes capacités multimédias, alimentant d'innombrables animations, jeux et œuvres créatives. Cependant, les failles de sécurité, les problèmes de performance et sa nature fermée ont finalement conduit à sa disparition. Bien que Flash ait disparu, son impact sur la culture Internet et la création indépendante reste profond, les technologies Web actuelles s'appuyant sur son héritage.

Lire plus
(goodinternetmagazine.com)
Technologie technologie web

Taxer la publicité : une alternative plus viable que l’interdiction ?

2025-04-08

Cet article explore la taxation de la publicité comme alternative plus viable à son interdiction pure et simple. L’auteur soutient que la publicité, à l’instar de la pollution, a une utilité négative et nuit à la société. Au lieu d’une interdiction, un système d’imposition à plusieurs niveaux pourrait être mis en place, basé sur des facteurs tels que l’intrusivité et la manipulation. Un système de « feebate », récompensant les comportements bénéfiques, pourrait encourager un paysage publicitaire plus sain. Cela incite à réfléchir aux modèles publicitaires actuels, aux économies de plateforme et au financement alternatif des contenus.

Lire plus
(matthewsinclair.com)
Divers taxe sur la publicité économie de plateforme économie de l’attention

Génériques typés en C : une utilisation astucieuse des unions

2025-07-01
Génériques typés en C : une utilisation astucieuse des unions

Cet article présente une technique pour implémenter des structures de données génériques typées en C, en utilisant des unions pour associer des informations de type à une structure de données générique. L’auteur illustre l’approche avec une liste chaînée, montrant comment les macros et les unions permettent la vérification de type à la compilation, évitant l’insécurité de type et le gonflement du code des méthodes génériques traditionnelles. Des comparaisons sont faites avec les approches `void*` et les membres de tableau flexibles, aboutissant à une solution qui fournit une sécurité de type à la compilation, ce qui entraîne des erreurs de compilation lorsque des types incorrects sont ajoutés.

Lire plus
(danielchasehooper.com)
Développement

L'IA revitalise 100 classiques du Kung Fu : Une révolution du cinéma chinois

2025-06-19
L'IA revitalise 100 classiques du Kung Fu : Une révolution du cinéma chinois

L'industrie cinématographique chinoise connaît une révolution de l'IA. Un projet ambitieux vise à utiliser l'IA pour restaurer et remasteriser environ 100 films classiques de kung fu, notamment des titres emblématiques tels que *Le Poing de la fureur* de Bruce Lee, *Le Maître ivre* de Jackie Chan et *Une fois en Chine* de Jet Li. L'initiative va au-delà d'une simple mise à l'échelle, visant à améliorer l'esthétique visuelle et à moderniser l'expérience de visionnage pour le public contemporain. Soutenu par le gouvernement chinois avec un financement important (100 millions de yuans), ce projet représente un pas audacieux dans l'intégration de l'IA dans la production cinématographique chinoise.

Lire plus
(www.hollywoodreporter.com)
Technologie

Faute critique dans l'outil AWS : vulnérabilité d'escalade des privilèges

2025-05-05
Faute critique dans l'outil AWS : vulnérabilité d'escalade des privilèges

La société de sécurité Token Security a découvert une vulnérabilité critique dans l'outil Account Assessment d'AWS. Conçu pour auditer l'accès inter-comptes, ses instructions de déploiement ont involontairement encouragé les utilisateurs à déployer le rôle central dans des comptes moins sécurisés (comme le développement), créant des chemins de confiance dangereux des environnements non sécurisés vers des environnements hautement sensibles (comme la production). Cela a permis une escalade des privilèges, permettant potentiellement aux attaquants de contrôler l'ensemble de l'organisation AWS. AWS a corrigé le problème le 28 janvier 2025, en mettant à jour la documentation pour recommander le déploiement du rôle central dans un compte aussi sécurisé que le compte de gestion. Les organisations affectées doivent vérifier leurs déploiements et y remédier en conséquence.

Lire plus
(www.token.security)
Technologie Sécurité AWS Escalade des privilèges Accès inter-comptes

Solution DATV QO-100 open source : Lancement de SDR Television v1.0

2025-04-26
Solution DATV QO-100 open source : Lancement de SDR Television v1.0

La première version publique de SDR Television est désormais disponible. Il s’agit d’un programme DVB-S2/AAC/H264/H265 pour le satellite QO-100, utilisant de nombreuses DLL de SDR Console pour contrôler Pluto/LibreSDR. Il démontre une solution DATV full-duplex sur un ordinateur x86 moderne. Cette version v1.0 est une preuve de concept ; les versions futures ajouteront H266/AV1/Opus et une interface utilisateur inter-bandes améliorée. Nécessite Windows 10/11 64 bits, 8 cœurs ou plus recommandés.

Lire plus
(www.sdr-radio.com)
Technologie Communication par Satellite

Les secrets commerciaux dans l'usine de chocolat de Willy Wonka : une fantaisie juridique ?

2025-05-22
Les secrets commerciaux dans l'usine de chocolat de Willy Wonka : une fantaisie juridique ?

Cet article utilise le roman de Roald Dahl, "Charlie et la chocolaterie", comme point de départ pour discuter de l'importance du secret commercial dans l'industrie des confiseries et de sa relation avec la loi sur les brevets. L'article souligne que le secret extrême entourant les procédés de l'usine dans le roman n'est pas fictif, mais reflète une réalité répandue dans l'industrie confiserie du monde réel. En analysant cela, l'auteur soulève des questions fondamentales sur la protection juridique des secrets détournés, en particulier lorsque le secret est primordial, et sur la relation entre le secret commercial et la loi sur les brevets.

Lire plus
(papers.ssrn.com)
Divers secrets commerciaux loi sur les brevets

XenevaOS : Un système d'exploitation open source créé de zéro

2025-06-10
XenevaOS : Un système d'exploitation open source créé de zéro

XenevaOS est un nouveau système d'exploitation créé de toutes pièces, prenant en charge les architectures x86_64 et ARM64. Son noyau, 'Aurora', possède une conception hybride. Ce projet open source accepte les contributions des développeurs. Les fonctionnalités actuelles incluent : prise en charge ACPI, noyaux x64 et arm64, mémoire complète de la moitié supérieure, chargement de pilotes DLL, USB3, audio haute définition, prise en charge multiprocesseur (le planificateur multiprocesseur n'est pas encore prêt), bibliothèque graphique Chitralekha, gestionnaire de fenêtres Deodhai, environnement de bureau Namdapha, divers supports de stockage, prise en charge réseau (IPv4, UDP/IP, TCP/IP, ICMP) et applications de base (lecteur audio, navigateur de fichiers, etc.). Le projet est actuellement construit sous Windows.

Lire plus
(github.com)
Développement

Les modifications controversées de l'édition communautaire de MinIO suscitent l'indignation

2025-05-30
Les modifications controversées de l'édition communautaire de MinIO suscitent l'indignation

MinIO, une solution populaire de stockage d'objets open source, a supprimé des fonctionnalités clés de gestion basées sur le web de son édition communautaire, provoquant une réaction négative des utilisateurs. La version gratuite nécessite désormais que les utilisateurs utilisent des outils en ligne de commande ou passent à un plan payant. Cette décision, comparée par certains à « enshittification », a conduit de nombreux utilisateurs à explorer des alternatives telles que SeaweedFS, Garage et Zenko. MinIO soutient que ces modifications sont nécessaires pour maintenir le développement du projet.

Lire plus
(biggo.com)
Développement

Un piège du cycle de vie des threads du noyau Linux : le cas du processus Chromium qui se termine aléatoirement

2025-04-10
Un piège du cycle de vie des threads du noyau Linux : le cas du processus Chromium qui se termine aléatoirement

Lors de l'optimisation de la latence de démarrage d'Output Media de Recall.ai, un ingénieur a rencontré un bogue déroutant : le processus Chromium se terminait aléatoirement après le démarrage. La cause racine a été attribuée à l'indicateur `--die-with-parent` de Bubblewrap et à la gestion de PR_SET_PDEATHSIG par le noyau Linux. Cet indicateur fait en sorte que les processus enfants reçoivent un signal SIGKILL lorsque le thread parent, et non le processus parent, se termine. La gestion des threads de Tokio a interagi avec ce comportement, entraînant la terminaison inattendue de Chromium lorsque le thread parent était récupéré. La suppression de l'indicateur a résolu le problème, mais a révélé une particularité peu connue du noyau Linux, soulignant la nécessité de prudence lors de la gestion de l'interaction entre les cycles de vie des threads et l'isolement des processus.

Lire plus
(www.recall.ai)
Développement Isolement des processus

Le Mystère de l'Évolution du Cerveau des Oiseaux : Structures Similaires, Évolution Indépendante

2025-04-08
Le Mystère de l'Évolution du Cerveau des Oiseaux : Structures Similaires, Évolution Indépendante

Une nouvelle étude, utilisant le séquençage ARN unicellulaire, révèle des similitudes surprenantes dans les structures cérébrales des oiseaux et des mammifères, malgré leurs trajectoires évolutives distinctes. Les scientifiques se sont longtemps interrogés sur la manière dont les oiseaux, dépourvus de néocortex, possèdent des capacités cognitives complexes. L'étude a découvert que la crête ventriculaire dorsale (DVR) aviaire reflète fonctionnellement le néocortex des mammifères, mais son développement, ses types de cellules et son calendrier de génération diffèrent de manière significative, suggérant une évolution indépendante plutôt qu'une héritage d'un ancêtre commun. Cela remet en question les idées reçues sur l'évolution du cerveau et suggère que notre compréhension de l'« intelligence optimale » pourrait être trop étroite.

Lire plus
(www.quantamagazine.org)
Technologie Biologie Évolutive Cerveau d'Oiseaux

Défi TLA+ accéléré par l'IA générative : une course vers l'avenir de la vérification formelle

2025-05-06

La fondation TLA+ et NVIDIA ont lancé un défi encourageant l'utilisation de l'IA générative pour améliorer le langage de spécification TLA+. Les participants peuvent utiliser l'IA pour la refactorisation de code, la création d'outils de développement, la génération de visualisations et même la synthèse de spécifications. Le jury évaluera les soumissions en fonction de leur fonctionnalité, de leur pertinence pour l'écosystème TLA+ et de l'utilisation innovante de l'IA. Toutes les soumissions doivent être open source, reproductibles, et un prototype suffit. Ce défi vise à explorer le potentiel de l'IA générative au sein de TLA+ et à revitaliser la communauté.

Lire plus
(foundation.tlapl.us)
Développement
1 2 … 233 234 235 237 239 240 241 … 595 596