PlanetMath : Une encyclopédie de mathématiques collaborative

2025-04-21

PlanetMath est une communauté en ligne dédiée à rendre les connaissances mathématiques plus accessibles. Son cœur est une encyclopédie de mathématiques écrite et revue collaborativement, utilisant LaTeX pour l'écriture et LaTeXML pour le rendu web. Depuis 2018, son code source est hébergé sur GitHub, et les canaux Gitter facilitent les discussions en temps réel, remplaçant les anciens forums. PlanetMath est hébergé par la faculté de mathématiques de l'Université de Waterloo et exploité par PlanetMath.org, Ltd., une organisation à but non lucratif 501(c)3.

Lire plus
Divers Encyclopédie

Recherche IA Google : Les réponses fausses plus convaincantes que les faits ?

2025-05-31

L'auteur a essayé d'utiliser la recherche IA de Google pour trouver un ancien modèle de serveur IBM PS/2, pour découvrir que l'IA donnait à plusieurs reprises des réponses fabriquées et contradictoires, inventant même un modèle inexistant, "PS/2 Modèle 280", et ses spécifications. Bien que l'IA donne parfois la bonne réponse, les réponses incorrectes sont plus convaincantes car détaillées et réalistes. Ceci souligne le potentiel d'erreurs importantes dans les résultats de recherche IA ; même si une réponse semble convaincante, elle peut ne pas correspondre à la réalité. Les utilisateurs doivent faire preuve de prudence.

Lire plus

La période sèche de la marine et l'ascension inattendue de la glace

2025-05-28
La période sèche de la marine et l'ascension inattendue de la glace

En 1914, la marine américaine a publié l'ordre général 99, interdisant l'alcool à bord des navires et des bases. Cela a reflété la prohibition nationale de 1920. Étonnamment, la prohibition a stimulé la croissance de l'industrie de la crème glacée, les brasseries se convertissant à la production de crème glacée et de boissons gazeuses. Pendant la Seconde Guerre mondiale, la marine a même construit une barge à crème glacée massive pour remonter le moral, produisant et distribuant des gallons de crème glacée. La crème glacée est devenue un système de récompense unique ; le sauvetage de pilotes abattus signifiait un énorme paiement de crème glacée pour le navire de sauvetage, créant une tradition mémorable en temps de guerre.

Lire plus
Divers Glace

RIP Skype : Microsoft met officiellement fin à son application de messagerie héritée

2025-02-28
RIP Skype : Microsoft met officiellement fin à son application de messagerie héritée

Après deux décennies, Microsoft met finalement fin à Skype en mai. Les utilisateurs sont invités à migrer vers Microsoft Teams pour leurs besoins de communication. Bien que Skype ait reçu des mises à jour au fil des ans, la fin était proche depuis le lancement de Teams, la plateforme de collaboration de Microsoft conçue pour concurrencer Slack. Cette mesure consolide l'engagement de Microsoft envers Teams comme son principal service de communication.

Lire plus
Technologie

lsof démystifié : révélation des fichiers ouverts d’un processus

2025-06-06

Cet extrait de code utilise la commande `lsof -p $(echo $$)` pour lister tous les fichiers ouverts du processus zsh actuel. La sortie affiche des détails tels que l’ID du processus, l’utilisateur, le type de descripteur de fichier, le périphérique, la taille et le chemin, offrant une image claire des interactions du processus avec le système de fichiers. Ceci est inestimable pour comprendre le comportement du processus et déboguer les fuites de descripteurs de fichiers.

Lire plus
Développement descripteurs de fichiers

La prophétie de Douglas Adams pour l'ère de l'IA : humour et perspicacité

2025-06-08
La prophétie de Douglas Adams pour l'ère de l'IA : humour et perspicacité

Cet essai commence par un débat sur la question de savoir si Douglas Adams a inventé le livre électronique, puis explore ses prédictions sur les technologies futures dans la science-fiction. L'auteur soutient que la prévoyance d'Adams dépasse celle de William Gibson, prédisant avec précision les assistants informatiques irritants (comme Clippy) et les appareils intelligents remplis d'IA. Plus important encore, Adams a anticipé le défi central de l'interaction humain-IA : formuler les bonnes questions, et non pas seulement posséder de puissantes capacités de calcul. L'auteur utilise des expériences personnelles avec des appareils intelligents pour illustrer avec humour la réalité des prédictions d'Adams, soulignant l'humour comme un indicateur clé de la perspicacité.

Lire plus

Kelp : Une alternative à Homebrew pour MacOS, écrite en Go

2025-05-19
Kelp : Une alternative à Homebrew pour MacOS, écrite en Go

Kelp est un installeur de paquets binaires pour MacOS écrit en Go, conçu comme une alternative à Homebrew. Il résout plusieurs problèmes de Homebrew, tels que l'attente de la disponibilité d'une formule et la mise à jour de plusieurs ordinateurs avec un seul manifeste. Kelp prend en charge l'installation de plusieurs paquets à la fois (bientôt disponible), les chemins de configuration personnalisés et gère les limites de débit de l'API Github. Les utilisateurs gèrent les paquets via des instructions simples en ligne de commande, notamment l'ajout, l'installation, la mise à jour et la spécification de noms de binaires personnalisés, ainsi que l'installation à partir de sources autres que les versions Github.

Lire plus
Développement

AMD dévoile l'architecture RDNA 4 et les GPU Radeon RX 9070 Series

2025-03-01
AMD dévoile l'architecture RDNA 4 et les GPU Radeon RX 9070 Series

AMD a officiellement dévoilé son architecture GPU RDNA 4 et la série Radeon RX 9070, basée sur cette architecture. La RDNA 4 offre des améliorations significatives en termes d'efficacité, de ray tracing et de performances de l'IA. Avec un design monocristal, elle intègre un Infinity Cache amélioré et une bande passante mémoire plus élevée. Ciblant le marché milieu de gamme, la série RX 9070 offre des performances comparables à celles du RTX 4070 Ti ou du RTX 5070 Ti, associées à des technologies telles que FSR 4 et HYPR-RX. AMD a également introduit de nouvelles fonctionnalités logicielles, notamment un gestionnaire d'applications IA et le chatbot AMD Chat basé sur LLM, améliorant ainsi l'expérience utilisateur.

Lire plus
Matériel

Lux : Un gestionnaire de paquets moderne pour Lua, enfin !

2025-04-07

Lux est un nouveau gestionnaire de paquets pour Lua conçu pour résoudre les lacunes de Luarocks, offrant une expérience moderne et intuitive. Il dispose d'une CLI simple, d'un support robuste pour les fichiers lock, de builds parallèles et d'une intégration transparente avec Neovim et Nix. Lux utilise la configuration TOML, impose SemVer et conserve la compatibilité avec l'écosystème luarocks existant. Il promet des améliorations significatives en termes de vitesse de compilation, de gestion des dépendances et de reproductibilité pour les projets Lua, bénéficiant particulièrement aux développeurs de plugins Neovim avec une augmentation de vitesse et de stabilité.

Lire plus
Développement

Project DIGITS de NVIDIA : la supercomputation IA à portée de tous

2025-01-07
Project DIGITS de NVIDIA : la supercomputation IA à portée de tous

NVIDIA a dévoilé Project DIGITS, un superordinateur IA personnel alimenté par la plateforme Grace Blackwell. Cet appareil, à partir de 3000 $, démocratise l'accès à la puissance de calcul IA pour les chercheurs, les data scientists et les étudiants. Le superchip GB10 offre jusqu'à 1 petaflop de performances IA, permettant d'exécuter des modèles de langage de grande taille avec 200 milliards de paramètres. Les utilisateurs peuvent développer et exécuter l'inférence sur leurs ordinateurs de bureau, puis déployer les modèles de manière transparente sur une infrastructure cloud ou de centre de données. Project DIGITS vise à rendre la supercomputation IA accessible à des millions de personnes, accélérant ainsi l'innovation en IA.

Lire plus

Propulsion au lithium : le battage médiatique contre la réalité dans l'aviation et le maritime

2025-04-18
Propulsion au lithium : le battage médiatique contre la réalité dans l'aviation et le maritime

Cet article démonte le battage médiatique autour des systèmes de propulsion à batterie lithium-ion pour les aéronefs et les bateaux. L'auteur soutient que la densité énergétique de la technologie est significativement inférieure à celle des carburants traditionnels, ce qui entraîne une consommation d'énergie massive tout au long de son cycle de vie, des temps de charge excessivement longs et des périodes de retour sur investissement impraticables. Dans de nombreuses régions, l'empreinte carbone est même supérieure à celle des systèmes conventionnels. La rentabilité reste difficile à atteindre à moins que la densité énergétique des batteries n'augmente considérablement, que l'intensité carbone du réseau ne diminue significativement et que la technologie de charge rapide ne fasse une percée.

Lire plus
Technologie aviation maritime

Piratage de la chaudière de mon propriétaire : une attaque par relecture

2025-04-22
Piratage de la chaudière de mon propriétaire : une attaque par relecture

Frustré par le système de chauffage inefficace et inégal de son appartement, l'auteur a mis au point une solution intelligente utilisant une attaque par relecture. À l'aide de SDR bon marché (un RTL-SDR et un clone de HackRF), il a intercepté et reproduit les signaux radio de 868 MHz entre le thermostat existant et la chaudière. Cela lui a permis de contrôler à distance l'état marche/arrêt de la chaudière. Malgré des difficultés considérables, il a réussi à intégrer cela à Home Assistant, créant des automatismes personnalisés et utilisant des capteurs pour obtenir un contrôle de température confortable.

Lire plus
Matériel IdO

Wise bloque son compte, plus de 60 000 AUD inaccessibles

2025-05-14
Wise bloque son compte, plus de 60 000 AUD inaccessibles

Le compte Wise d'une entreprise, utilisé depuis cinq ans, a été soudainement bloqué, empêchant toute transaction. Plus de 60 000 AUD restent inaccessibles. Malgré la fourniture de tous les documents demandés, y compris les informations sur les actionnaires et les identifiants des propriétaires, le support Wise n'a pas réussi à résoudre le problème, demandant à plusieurs reprises des documents déjà soumis. De nombreux tickets de support et appels n'ont donné aucun résultat, laissant l'entreprise avec une somme importante bloquée.

Lire plus

L'échec hilarant de GitHub Copilot : l'IA est-elle prête à remplacer les développeurs ?

2025-05-24
L'échec hilarant de GitHub Copilot : l'IA est-elle prête à remplacer les développeurs ?

Reddit a mis au jour l'histoire technologique la plus drôle de la semaine, soulignant les failles du récit sur l'IA. GitHub Copilot, autorisé à faire des pull requests sur l'environnement d'exécution .NET de Microsoft, a soumis à plusieurs reprises du code défaillant, obligeant les développeurs humains à corriger constamment ses erreurs. Cette situation comique met en évidence le fait que, bien que l'IA augmente la productivité, elle est loin d'être parfaite. L'auteur soutient que certaines entreprises utilisent l'IA comme prétexte pour des licenciements suite aux embauches excessives pendant la pandémie, plutôt que d'admettre une mauvaise planification. L'article conseille aux développeurs de devenir des experts en IA, de documenter les limites de l'IA et de partager publiquement leurs expériences pour démontrer la puissance de la collaboration homme-IA.

Lire plus
(nmn.gl)
Développement

Raven : le nouvel écosystème d'apprentissage automatique d'OCaml

2025-04-30
Raven : le nouvel écosystème d'apprentissage automatique d'OCaml

Raven est un écosystème complet qui apporte l'apprentissage automatique et la science des données à OCaml. Il offre des bibliothèques qui reflètent les outils populaires de Python, tels que NumPy (avec Ndarray), Jupyter (avec Quill) et JAX (avec Rune), en visant la facilité d'utilisation de Python tout en tirant parti de la sécurité des types et des performances d'OCaml. Actuellement en pré-alpha, Raven dispose d'un ensemble croissant d'outils pour le calcul numérique, la visualisation (Hugin) et plus encore, promettant une alternative convaincante pour les scientifiques des données à la recherche d'un langage plus sûr et plus rapide.

Lire plus
Développement

Phosphure de niobium : un nouveau conducteur ultratin surpassant le cuivre

2025-03-27
Phosphure de niobium : un nouveau conducteur ultratin surpassant le cuivre

Des chercheurs de Stanford ont découvert un nouveau film de phosphure de niobium (NbP) d'une épaisseur de 1,5 nanomètre présentant une conductivité supérieure à celle du cuivre. Contrairement aux métaux traditionnels dont la résistance augmente à l'échelle nanométrique, la résistance du NbP diminue avec l'épaisseur, grâce à une surface plus conductrice que son volume. Ce comportement de « semi-métal topologique » promet des circuits intégrés plus économes en énergie. Cependant, des défis persistent pour la commercialisation, notamment le contrôle précis de l'épaisseur du film.

Lire plus
Technologie circuits intégrés

Multiplication de matrices FP32 optimisée sur GPU AMD RDNA3 : Surpasse rocBLAS de 60 %

2025-03-28
Multiplication de matrices FP32 optimisée sur GPU AMD RDNA3 : Surpasse rocBLAS de 60 %

Cet article détaille le processus d’optimisation de la création d’un noyau de multiplication de matrices FP32 pour les GPU AMD RDNA3, surpassant rocBLAS de 60 %. L’auteur affine itérativement huit noyaux, en commençant par une implémentation naïve et en progressant vers des optimisations au niveau de l’ISA. Les techniques incluent le pavage LDS, le pavage des registres, la double mise en mémoire tampon de la mémoire globale, l’optimisation de l’utilisation de LDS et, enfin, l’optimisation de l’utilisation de VALU au niveau de l’ISA et le déroulement des boucles. Le noyau final surpasse rocBLAS, atteignant près de 50 TFLOPS.

Lire plus

Le goulot d'étranglement de l'exploration dans les LLM : la prochaine frontière de la collecte d'expériences

2025-07-07

Le succès des grands modèles de langage (LLM) repose sur un pré-entraînement massif sur de grandes quantités de données textuelles, une ressource qui finira par s'épuiser. L'avenir de l'IA évoluera vers une « ère de l'expérience », où la collecte efficace du bon type d'expérience bénéfique pour l'apprentissage sera cruciale, plutôt que de simplement empiler des paramètres. Cet article explore comment le pré-entraînement résout implicitement une partie du problème de l'exploration et comment une meilleure exploration conduit à une meilleure généralisation. L'auteur propose que l'exploration se compose de deux axes : « échantillonnage du monde » (choix des environnements d'apprentissage) et « échantillonnage de trajectoire » (collecte de données au sein des environnements). La future mise à l'échelle de l'IA doit optimiser la densité d'information sur ces deux axes, en allouant efficacement les ressources de calcul au lieu de simplement rechercher l'échelle des paramètres ou le volume des données.

Lire plus

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

Avatar : Sept Havres – Un Nouveau Chapitre de l'Avatarverse

2025-02-23
Avatar : Sept Havres – Un Nouveau Chapitre de l'Avatarverse

Les créateurs d'Avatar, le dernier maître de l'air et La légende de Korra proposent une nouvelle série animée de 26 épisodes sur Nickelodeon : Avatar : Sept Havres. Dans un monde ravagé par un cataclysme, une jeune Maîtresse de la Terre découvre qu'elle est le nouveau Avatar, mais en cette époque dangereuse, elle est chassée par des ennemis humains et spirituels. Elle et son jumeau perdu depuis longtemps doivent découvrir leurs origines et sauver les Sept Havres avant l'effondrement de la civilisation. Ceci marque une expansion significative de l'univers Avatar, produite par Avatar Studios.

Lire plus
Jeux

WD et Microsoft lancent un programme massif de recyclage de disques durs pour réduire la dépendance à la Chine pour les terres rares

2025-04-21
WD et Microsoft lancent un programme massif de recyclage de disques durs pour réduire la dépendance à la Chine pour les terres rares

Western Digital, en collaboration avec Microsoft et les partenaires de recyclage CMR et PedalPoint Recycling, a lancé un programme de recyclage à grande échelle pour les disques durs afin de répondre au problème croissant des déchets électroniques et à la pénurie d'éléments de terres rares. Le programme utilise la technologie de recyclage par dissolution sans acide (ADR) pour récupérer les oxydes de terres rares (REO), notamment le dysprosium, le néodyme et le praséodyme, ainsi que l'aluminium, l'acier, l'or, le palladium et le cuivre. Le REO récupéré présente une pureté de 99,5 % et réduit les émissions de gaz à effet de serre de 95 % par rapport à l'extraction minière primaire. Cette initiative vise à réduire la dépendance de l'industrie technologique américaine à la Chine pour les terres rares et à promouvoir une économie circulaire. Le programme a déjà recyclé avec succès 47 000 livres de disques durs, avec un taux de récupération supérieur à 90 %.

Lire plus

Tour Blanche Imprimée en 3D : Un Saut Révolutionnaire dans la Technologie du Bâtiment

2025-05-26
Tour Blanche Imprimée en 3D : Un Saut Révolutionnaire dans la Technologie du Bâtiment

Des chercheurs de l'ETH Zurich, en collaboration avec des partenaires industriels, ont construit une impressionnante tour en béton blanc à l'aide de la technologie d'impression 3D. La conception de la tour, basée sur des algorithmes complexes, a été réalisée par un robot industriel couche par couche, sans coffrage traditionnel. Un nouveau mélange de béton et des techniques de renforcement innovantes ont permis, pour la première fois, au béton imprimé en 3D d'être porteur. Ce projet met non seulement en évidence les progrès de la technologie du bâtiment, mais symbolise également une collaboration fructueuse entre le monde académique et l'industrie, offrant de nouvelles opportunités pour le secteur de la construction et le tourisme rural.

Lire plus

arXivLabs : Projets expérimentaux en collaboration avec la communauté

2025-03-23
arXivLabs : Projets expérimentaux en collaboration avec la communauté

arXivLabs est un framework 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 à respecter ces valeurs et ne travaille qu'avec des partenaires qui les partagent. Vous avez une idée de projet qui apportera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
Développement

RIP Urban Dead : Un jeu de navigateur d’apocalypse zombie ferme ses portes après près de deux décennies

2025-03-16

Urban Dead, un jeu de navigateur multijoueur en ligne gratuit dépeignant une apocalypse zombie dans la ville en quarantaine de Malton, a fermé ses portes après près de 20 ans. Lancé en juillet 2005, le jeu a réuni plus de 1,7 million de joueurs combattant des zombies, reconstruisant la société au milieu des ruines et affrontant des factions militaires et scientifiques. Sa fermeture, due aux changements à venir de la législation britannique sur les sites web, marque la fin d’une ère pour cette expérience unique et longue durée basée sur navigateur.

Lire plus
Jeux

Un programmeur mystère utilise l'IA pour réécrire les réglementations du HUD, suscitant la controverse

2025-04-30
Un programmeur mystère utilise l'IA pour réécrire les réglementations du HUD, suscitant la controverse

Chris Sweet, un étudiant de l'Université de Chicago en congé, a rejoint la société DOGE d'Elon Musk et a utilisé l'IA pour examiner et réviser les réglementations du Département du logement et du développement urbain (HUD). L'application de Sweet analyse les réglementations et propose des révisions, ce qui soulève des questions de la part des employés du HUD concernant son rôle et sa méthodologie. Certains considèrent cet effort comme redondant, tandis que d'autres remettent en question ses qualifications. Les antécédents de Sweet sont mystérieux, avec une vaste expérience en finance et en investissement, mais une faible présence en ligne. L'incident soulève également des inquiétudes concernant les activités de DOGE au sein du HUD, la représentante Maxine Waters accusant DOGE de vol de fonds, de licenciements illégaux et d'accès à des données confidentielles.

Lire plus

Des instructions concises provoquent des hallucinations chez l'IA

2025-05-13
Des instructions concises provoquent des hallucinations chez l'IA

Une nouvelle étude de Giskard révèle qu'informer les chatbots d'IA d'être concis peut paradoxalement augmenter les hallucinations, notamment sur des sujets ambigus. Les chercheurs ont découvert que des instructions concises limitent la capacité du modèle à identifier et à corriger les erreurs, privilégiant la concision à la précision. Même des modèles avancés comme GPT-4 sont affectés. Cela souligne la tension entre l'expérience utilisateur et la précision factuelle, incitant les développeurs à concevoir soigneusement les instructions du système.

Lire plus

EMP nucléaire : vos appareils électroniques survivront-ils ?

2025-06-06

Cet article explore les effets destructeurs des impulsions électromagnétiques (IEM) générées par les explosions nucléaires sur les appareils électroniques. Les explosions nucléaires à haute altitude produisent des IEM à large portée, capables de causer des dommages importants aux appareils électroniques, même à des dizaines ou des centaines de kilomètres de l’explosion. Les IEM sont divisées en trois phases : E1, la plus destructrice et la plus courte, qui grille instantanément les appareils électroniques non protégés ; E2, plus longue mais moins destructrice ; et E3, la plus longue, qui affecte principalement les longs conducteurs et les infrastructures énergétiques. L’article suggère d’utiliser des cages de Faraday et des méthodes similaires pour protéger les appareils électroniques et souligne que les appareils modernes sont beaucoup plus vulnérables aux dommages causés par les IEM que les technologies plus anciennes.

Lire plus

Des validateurs de crédentials de contenu C2PA arrivent : un pas vers la lutte contre la désinformation

2025-06-19
Des validateurs de crédentials de contenu C2PA arrivent : un pas vers la lutte contre la désinformation

La technologie C2PA de la Content Authenticity Initiative progresse. De nouvelles extensions Chrome permettent désormais de valider la provenance des images, en vérifiant les signatures d'émetteurs de confiance comme Adobe et en remontant jusqu'aux créateurs via LinkedIn, Clear, etc. Ceci est crucial pour lutter contre la désinformation, surtout sur les réseaux sociaux. Cependant, des défis persistent : un support plus large des navigateurs, une vérification d'identité décentralisée et une intégration avec les plateformes de médias sociaux sont nécessaires pour une efficacité généralisée.

Lire plus

L'ex-PDG et le directeur financier d'Intel visés par un procès pour rémunération

2024-12-24
L'ex-PDG et le directeur financier d'Intel visés par un procès pour rémunération

L'ancien PDG d'Intel, Pat Gelsinger, et l'actuel directeur financier et co-PDG par intérim, David Zinsner, font l'objet d'un procès intenté par des actionnaires qui les accusent d'avoir induit en erreur les actionnaires concernant les performances financières de l'unité de fonderie d'Intel. Le procès allègue des violations du devoir fiduciaire et des obligations contractuelles, demandant le remboursement de tous les bénéfices, avantages et compensations. Cela fait suite à l'échec du plan de redressement de Gelsinger et à la perte trimestrielle record d'Intel, l'activité de fonderie étant identifiée comme une source majeure de pertes. Le procès souligne les défis d'Intel pour regagner la confiance des actionnaires et reconstruire son image.

Lire plus

Michael Larabel : 20 ans de benchmarking matériel Linux

2025-04-19

Michael Larabel, fondateur et principal auteur de Phoronix.com, a dédié plus de deux décennies à l'amélioration de l'expérience du matériel Linux depuis la création du site en 2004. Il a écrit plus de 20 000 articles couvrant le support matériel Linux, les performances, les pilotes graphiques, et plus encore. Il est également le développeur principal du Phoronix Test Suite, Phoromatic et du logiciel de benchmarking automatisé OpenBenchmarking.org. Un véritable vétéran de la communauté open-source Linux.

Lire plus
Technologie
1 2 256 257 258 260 262 263 264 595 596