Vulnérabilité du noyau Linux : un rootkit io_uring contourne la sécurité traditionnelle

2025-04-24
Vulnérabilité du noyau Linux : un rootkit io_uring contourne la sécurité traditionnelle

Une nouvelle recherche révèle un rootkit Linux, "Curing", qui exploite la fonctionnalité io_uring du noyau pour contourner furtivement de nombreux outils de sécurité existants. Curing utilise io_uring pour des activités malveillantes telles que les connexions réseau ou la falsification de fichiers, sans déclencher d'alarmes dans les mécanismes de sécurité basés sur la surveillance des appels système. Ceci est particulièrement dangereux pour les outils basés sur eBPF, qui ne surveillent souvent que les appels système, ignorant io_uring. Cette découverte représente une menace sérieuse pour les entreprises natives du cloud qui dépendent de ces systèmes de détection. La solution CADR d'ARMO peut bloquer ce type d'attaques ; sa gestion automatique des profils Seccomp permet de désactiver les appels système inutiles, tels que io_uring.

Lire plus
Technologie Sécurité Linux

Startup Weekend : De l'idée à Fitravel, le gagnant

2025-04-24
Startup Weekend : De l'idée à Fitravel, le gagnant

Cet article relate l'expérience de l'auteur lors d'une compétition Startup Weekend et comment la solution de son équipe à un problème réel – maintenir sa forme physique lors de voyages en groupe – a mené à la victoire. Ils ont validé le besoin par le biais d'enquêtes et d'entretiens, ciblant les passionnés de fitness. Leur idée gagnante, Fitravel, propose des forfaits de voyages en groupe avec accès à une salle de sport, des activités touristiques, un hébergement et des plans de repas personnalisés. L'article souligne l'importance de définir et de valider clairement les problèmes, de concevoir des solutions efficaces et de présenter un argumentaire convaincant. Les points clés à retenir incluent des présentations concises et une narration captivante.

Lire plus
Startup

Décès du pape François : l'héritage d'un réformateur controversé

2025-04-21
Décès du pape François : l'héritage d'un réformateur controversé

Le pape François, 88 ans, est décédé le 1er avril 2025. Premier pape latino-américain, il a charmé le monde par son style humble et son souci des pauvres, mais a aliéné les conservateurs par ses critiques du capitalisme et du changement climatique. Son pontificat a été marqué par des contradictions : accueil des réfugiés, inclusion de la communauté LGBTQ+ et pression pour des réformes au sein de la bureaucratie et des finances du Vatican. Cependant, il a également été critiqué pour sa gestion du scandale d'abus sexuels du clergé chilien. Il a tenté de combler le fossé entre les factions conservatrices et progressistes au sein de l'Église catholique, mais a finalement laissé un héritage complexe et controversé.

Lire plus

Limitations de l'application des suggestions de code sur GitHub

2025-07-20
Limitations de l'application des suggestions de code sur GitHub

L'application en masse des suggestions de code sur GitHub présente plusieurs limitations. Les suggestions nécessitent des modifications de code, ne peuvent pas être appliquées aux pull requests fermés, aux sous-ensembles de modifications, aux lignes uniques avec plusieurs suggestions, aux suggestions déjà appliquées ou résolues, aux révisions en attente, aux commentaires multilignes ou aux pull requests en file d'attente pour la fusion. De plus, certaines suggestions peuvent être temporairement indisponibles.

Lire plus
Développement

Détection des expressions constantes en C : une approche par macro

2025-04-22

Cet article explore différentes méthodes pour créer une macro C permettant de détecter si une expression est une expression constante. L’auteur étudie plusieurs techniques, notamment les littéraux composés statiques de C23, l’extension GNU `__builtin_constant_p`, `static_assert`, `sizeof` combiné à des tableaux de littéraux composés, `sizeof` avec des constantes énumérées et l’opérateur virgule. Chaque méthode présente des avantages et des inconvénients : la prise en charge de C23 est limitée, `__builtin_constant_p` dépend des extensions GNU, les méthodes `static_assert` et `sizeof` peuvent modifier le type de l’expression, et l’opérateur virgule génère des avertissements. L’auteur conclut qu’il n’existe pas de solution parfaite et que le meilleur choix dépend des besoins spécifiques et de la version de la norme C.

Lire plus
Développement Expression constante

La charge de poids précoce accélère la guérison des fractures : Défier la sagesse conventionnelle

2025-02-19
La charge de poids précoce accélère la guérison des fractures : Défier la sagesse conventionnelle

Une nouvelle étude remet en question la croyance de longue date selon laquelle l'immobilisation est la meilleure solution pour les os cassés. Contrairement aux conseils traditionnels de six semaines sans charge de poids, des recherches montrent désormais qu'une charge de poids précoce, commençant quelques semaines seulement après la chirurgie, conduit à une guérison plus rapide et à une meilleure qualité de vie sans augmentation du risque de complications. Ceci est étayé par un vaste essai contrôlé randomisé axé sur les fractures de la cheville et d'autres études examinant les fractures du fémur et de la hanche. L'auteur utilise les expériences de son mari pour illustrer les avantages de cette approche, soulignant le temps de récupération plus rapide par rapport aux méthodes traditionnelles. Ce changement de pratique médicale souligne la capacité naturelle du corps à guérir lorsqu'il reçoit le stimulus approprié, améliorant les résultats des patients et raccourcissant les périodes de récupération.

Lire plus

KubeForge : Déploiement Kubernetes Visuel Simplifié

2025-08-01
KubeForge : Déploiement Kubernetes Visuel Simplifié

KubeForge est une boîte à outils visuelle qui simplifie le processus de création, de validation et de gestion des configurations de déploiement Kubernetes. Son interface glisser-déposer, alimentée par des schémas JSON Kubernetes en temps réel, offre une connaissance intelligente des schémas. Un éditeur de composants modulaire prend en charge les modèles et les spécifications réutilisables, avec des mises à jour visuelles en temps réel et des liens de dépendance. Exportez des fichiers YAML prêts à l'emploi, réduisant la courbe d'apprentissage de Kubernetes et éliminant les erreurs de syntaxe. KubeForge maintient les schémas à jour grâce à des mises à jour quotidiennes, garantissant des configurations précises. Il offre également l'hébergement direct de YAML pour l'automatisation et les pipelines GitOps, ainsi que des fonctionnalités telles que la validation en temps réel et la génération de graphiques Helm.

Lire plus
Développement Outil Visuel

La Californie vise à éliminer les aliments ultra-transformés des repas scolaires

2025-03-27
La Californie vise à éliminer les aliments ultra-transformés des repas scolaires

La Californie a présenté le projet de loi de l'Assemblée 1264, le premier projet de loi américain visant à éliminer progressivement certains aliments ultra-transformés des repas scolaires d'ici 2032. Ce projet de loi définit les aliments ultra-transformés et charge les scientifiques d'identifier et de supprimer les produits nocifs. Cette initiative, soutenue par les démocrates et les républicains, répond aux préoccupations concernant les impacts sur la santé de ces aliments, notamment l'obésité et le TDAH. Elle fait suite aux interdictions précédentes de la Californie concernant certains colorants alimentaires et produits chimiques, et reflète une législation similaire qui émerge dans d'autres États, témoignant d'un intérêt national croissant pour la sécurité alimentaire et la santé des enfants.

Lire plus

Technologie GPS expliquée : du positionnement simple à la navigation globale

2024-12-18
Technologie GPS expliquée : du positionnement simple à la navigation globale

Cet article fournit une explication complète de la technologie GPS. En commençant par un système de positionnement 2D simple, l’auteur introduit progressivement des concepts clés tels que le positionnement 3D, la mesure du temps, les orbites des satellites, les effets relativistes et le traitement du signal. Grâce à des analogies intelligentes et à des illustrations vivantes, l’auteur explique comment le GPS utilise les signaux émis par les satellites, combinés à des mesures de temps et de distance, pour calculer avec précision la position et le décalage temporel du récepteur. L’article explore également les détails techniques du codage, du décodage et des capacités anti-interférence du signal GPS, en montrant les bases scientifiques et techniques profondes de la technologie GPS.

Lire plus

Plus d'Adam : L'adaptation du taux d'apprentissage à l'initialisation est tout ce dont vous avez besoin

2024-12-18
Plus d'Adam : L'adaptation du taux d'apprentissage à l'initialisation est tout ce dont vous avez besoin

Les chercheurs présentent SGD-SaI, un nouvel optimiseur améliorant la descente de gradient stochastique. SGD-SaI traite les déséquilibres d'entraînement en adaptant le taux d'apprentissage à l'initialisation pour différents groupes de paramètres, en fonction de leur rapport signal/bruit du gradient. Bien plus efficace en mémoire qu'AdamW, SGD-SaI égale ou surpasse les performances d'AdamW sur diverses tâches basées sur les Transformers, incluant la classification ImageNet et le pré-entraînement des LLM. Sa robustesse et son aspect pratique sont démontrés dans diverses applications, en faisant une alternative convaincante.

Lire plus
IA

Méfiez-vous des faux liens de désabonnement : une nouvelle arnaque de phishing

2025-06-15
Méfiez-vous des faux liens de désabonnement : une nouvelle arnaque de phishing

Les escrocs en ligne utilisent des tactiques de plus en plus sophistiquées, notamment l’audio deepfake et les images générées par l’IA. Cependant, certains continuent d’utiliser des méthodes plus simples, telles que de faux liens de désabonnement dans les e-mails. Cliquer sur ces liens peut mener à des sites Web malveillants conçus pour voler des informations d’identification ou d’autres informations personnelles. L’article recommande d’utiliser les « en-têtes de désabonnement de liste » du fournisseur de services de messagerie pour se désabonner plus en sécurité, ou simplement de marquer comme indésirable. La configuration de comptes de messagerie factices ou l’utilisation des outils de confidentialité du navigateur constituent également des contre-mesures efficaces.

Lire plus
Technologie arnaques par e-mail

Décrypter le code des courses hippiques : la stratégie quantitative d'un milliardaire

2025-05-27

Cet article explore l'histoire remarquable de Bill Benter et sa fortune d'un milliard de dollars amassée grâce aux courses de chevaux à Hong Kong, comme détaillé dans "Le parieur qui a décrypté le code des courses hippiques". L'article de Benter de 1994, "Computer Based Horse Race Handicapping and Wagering Systems : A Report", a documenté un modèle de paris réussi, bien que probablement obsolète lors de sa publication. L'article offre un aperçu précieux de l'application des mathématiques aux courses de chevaux, compte tenu des limitations matérielles et logicielles de l'époque. Ce billet présente une version annotée de l'article, incluant du code et des commentaires. Il analyse le calibrage du modèle, les améliorations des estimations de probabilité publique au cours des décennies (1986-1993, 1996-2003, 2006-2013, 2016-2023) et recrée l'ajustement des facteurs d'ajustement à l'aide de PyTorch.

Lire plus
Technologie

Meta mise gros sur la géothermie pour alimenter son essor de l'IA

2025-06-13
Meta mise gros sur la géothermie pour alimenter son essor de l'IA

Meta s'est associé à XGS Energy pour construire un projet d'énergie géothermique de 150 mégawatts au Nouveau-Mexique, fournissant de l'énergie propre à ses centres de données. Cet accord représente une étape majeure dans l'engagement de Meta en faveur des énergies renouvelables pour alimenter son infrastructure IA en pleine croissance. La technologie géothermique de nouvelle génération de XGS Energy déverrouille des ressources auparavant inaccessibles, répondant directement aux énormes besoins énergétiques de l'IA et réduisant les émissions de carbone. Cette initiative souligne les objectifs de développement durable de Meta et stimule le secteur des startups de l'énergie géothermique.

Lire plus

Débloquer le potentiel de l'IA : le guide manquant de l'ingénierie des invites

2025-07-21
Débloquer le potentiel de l'IA : le guide manquant de l'ingénierie des invites

Cet article souligne le rôle crucial de l'ingénierie des invites pour maximiser les performances de l'IA. Il met l'accent sur le fait que des invites claires conduisent à des résultats d'IA précis et utiles, tandis que des invites mal conçues entraînent des informations imprécises et un gaspillage de ressources. L'article distingue entre les invites conversationnelles pour un usage informel et les invites de produit pour les applications commerciales, en se concentrant sur la précision de ces dernières et leur importance dans la construction de systèmes fiables basés sur l'IA. Il propose des techniques pour créer des invites efficaces, notamment guider le raisonnement de l'IA, l'auto-vérification et la satisfaction des exigences spécifiques, prônant en fin de compte une approche collaborative pour exploiter tout le potentiel de l'IA.

Lire plus

Shmøergh Hog : Deux ans de travail pour un synthétiseur analogique simple

2025-01-03
Shmøergh Hog : Deux ans de travail pour un synthétiseur analogique simple

Le Shmøergh Hog est un synthétiseur analogique méticuleusement conçu, un projet de week-end qui a duré deux ans, construit par deux concepteurs d'entreprises technologiques. Conçu pour sa simplicité et sa facilité d'utilisation, il utilise une architecture classique de synthèse soustractive. Les auteurs détaillent leur parcours, du concept initial et de la simulation de circuit à la fabrication de circuits imprimés et à la création d'un boîtier personnalisé en acier inoxydable. Bien que la production de masse ne soit pas l'objectif, ils espèrent partager cet instrument unique avec d'autres passionnés de musique. Le guide de construction est open source.

Lire plus

AlphaDec : Un format d’heure indépendant du fuseau horaire pour les humains, les machines et l’IA

2025-07-28
AlphaDec : Un format d’heure indépendant du fuseau horaire pour les humains, les machines et l’IA

AlphaDec est un nouveau format horaire conçu pour éliminer les problèmes de conversion de fuseau horaire, permettant une compréhension globale du temps. Il encode le temps UTC en chaînes de caractères faciles à lire et à trier, comme 2025_L0V3, avec une structure hiérarchique pour des requêtes de plage de temps et une indexation de données efficaces. Particulièrement convivial pour l’IA, sa nature structurée en fait un outil puissant pour le raisonnement basé sur le temps et l’analyse des journaux. Bien qu’une légère dérive temporelle existe les années bissextiles, il s’agit d’un compromis délibéré pour garantir sa fonction déterministe de l’UTC. AlphaDec n’est pas destiné à remplacer les systèmes existants, mais à les compléter, les rendant plus pratiques dans divers scénarios d’application.

Lire plus

Outils de codage IA : augmentation de la productivité, déficit de confiance

2025-06-12
Outils de codage IA : augmentation de la productivité, déficit de confiance

Une enquête de Qodo révèle que, si les outils de codage IA augmentent considérablement la productivité des développeurs, la confiance en leurs résultats reste faible. De nombreux développeurs procèdent toujours à une revue manuelle du code généré par l’IA, ce qui annule une partie des gains de productivité. L’enquête a montré que les développeurs expérimentés sont ceux qui en bénéficient le plus, tandis que la majorité observe des améliorations modérées, et certains ne parviennent pas à exploiter efficacement les outils d’IA. Bien qu’environ 60 % des développeurs aient signalé une amélioration de la qualité du code grâce à l’IA, 76 % ne soumettent toujours pas de code généré par l’IA sans examen humain. Les principales améliorations demandées par les développeurs sont une meilleure compréhension contextuelle, une réduction des hallucinations et une meilleure qualité du code. Le PDG de Qodo suggère de fournir des informations plus détaillées aux modèles d’IA — exigences du produit, spécifications, styles de codage — afin d’améliorer la qualité des résultats.

Lire plus
Développement

Visualisation artistique des courbes elliptiques

2025-06-19

Nadir Hajouji et Steve Trettel ont lancé un projet de site web pour visualiser le concept mathématique complexe des courbes elliptiques de manière artistique. Bien qu'il soit encore en construction, le site présente déjà des images impressionnantes, promettant un festin visuel aux passionnés de mathématiques et d'art.

Lire plus
Design

Startup NY recrute : Ingénieur fondateur full-stack expert en IA

2025-06-07
Startup NY recrute : Ingénieur fondateur full-stack expert en IA

Une startup new-yorkaise recherche un ingénieur fondateur à temps plein pour créer de nouveaux produits de A à Z. Ce rôle crucial offre une part importante au capital et la propriété du produit. Le candidat idéal sera un expert full-stack maîtrisant Next.js, React, Vercel et Supabase, capable d'itérer rapidement et possédant une solide compréhension de l'intégration de systèmes d'IA dans les produits SaaS. Des points bonus seront attribués pour la familiarité avec les bases de données SQL, la conception de bases de données multi-locataires, les compétences en web scraping et l'expérience avec React Native.

Lire plus
Développement

Cinq tactiques de persuasion pour les responsables d'ingénierie

2025-05-13
Cinq tactiques de persuasion pour les responsables d'ingénierie

Cet article explore cinq techniques de persuasion couramment utilisées par les responsables d'ingénierie, illustrées par des exemples concrets. La première est la méthode « Nemawashi », qui implique une communication préventive avec les parties prenantes pour obtenir un soutien et minimiser les conflits. Ensuite, il y a la « tarification par leurre », qui présente des options stratégiquement pour guider le choix souhaité. Puis, la « psychologie inverse » utilise des suggestions contre-intuitives pour susciter une réponse souhaitée. Ensuite, il y a « Laissez-moi décider cela pour vous (LMDTFY) », où une décision est prise avec la possibilité d'un veto, favorisant l'autonomie. Enfin, la « sérendipité orchestrée » consiste à créer des coïncidences pour faciliter la communication. Ces tactiques peuvent améliorer considérablement l'efficacité d'un responsable d'ingénierie dans l'approbation des projets, l'acquisition de ressources et la collaboration d'équipe.

Lire plus
Développement Techniques de persuasion

FAQ OpenEarable : Réponses à vos questions

2025-05-03

Cette FAQ répond aux questions fréquentes sur OpenEarable, un écouteur sans fil personnalisable open source. Elle traite de la compatibilité (prise en charge du LEAudio sur Android uniquement), des mises à jour du firmware (via un débogueur J-Link), de l'autonomie de la batterie (temps de charge de 45 minutes), du dépannage des connexions (vérifiez les pilotes du périphérique, les autorisations et la version de Chrome) et des exigences de la carte microSD (format exFAT, Classe 10/A30 recommandé). La portée du BLE est jusqu'à 10 mètres.

Lire plus

Système de Contraintes Révolutionnaire : Surmonter les Défis des Médias Dynamiques

2025-04-18
Système de Contraintes Révolutionnaire : Surmonter les Défis des Médias Dynamiques

Lors de la phase deux, l’équipe a réussi à surmonter les problèmes de « flottement », d’« explosions » et de faibles performances des systèmes de contraintes. Les techniques utilisées comprenaient la propagation des valeurs connues, l’utilisation de relations linéaires pour réduire les dimensions des variables du solveur et le regroupement des contraintes en clusters résolubles indépendamment. Cela a considérablement amélioré la stabilité et les performances du système. L’équipe a testé plusieurs solveurs et optimisé le système en modifiant la façon dont les valeurs étaient représentées (par exemple, en utilisant des coordonnées polaires). Ces améliorations ont permis la construction de structures mécaniques physiquement précises et un véritable calcul bidirectionnel, jetant les bases de la création de médias dynamiques.

Lire plus

ChatGPT a menti, alors nous avons créé une fonctionnalité

2025-07-07

Le scanner de partitions de Soundslice a commencé à recevoir de nombreux journaux d'erreurs : des captures d'écran de sessions ChatGPT où les utilisateurs essayaient de télécharger des tablatures de guitare ASCII. Le rebondissement ? ChatGPT affirmait à tort que Soundslice le prenait en charge ! Pour gérer l'afflux de nouveaux utilisateurs induits en erreur par cette désinformation, Soundslice a créé un importateur de tablatures ASCII, une fonctionnalité très éloignée de sa feuille de route 2025. Cela soulève la question : les entreprises devraient-elles développer des fonctionnalités en réponse à la désinformation générée par l'IA ?

Lire plus

Dites adieu aux lignes de commande FFmpeg : traitement vidéo en langage naturel

2025-07-23
Dites adieu aux lignes de commande FFmpeg : traitement vidéo en langage naturel

wtffmpeg est un outil en ligne de commande qui utilise un modèle linguistique large (LLM) local pour traduire des descriptions en anglais simple de tâches vidéo et audio en commandes ffmpeg exécutables. Fini les recherches fastidieuses sur Stack Overflow et dans la documentation : décrivez simplement votre tâche en langage naturel, et wtffmpeg générera la commande ffmpeg correspondante. Il offre une confirmation d’exécution interactive, une accélération GPU et des modèles LLM personnalisables. L’outil s’exécute localement, sans connexion Internet, mais vous devez télécharger un modèle LLM et installer les dépendances.

Lire plus
Développement

Sécurité GitHub Actions : Meilleures pratiques après deux incidents majeurs

2025-05-08
Sécurité GitHub Actions : Meilleures pratiques après deux incidents majeurs

Des attaques récentes sur GitHub Actions, notamment une attaque de la chaîne d'approvisionnement et une compromission de tj-actions, mettent en évidence des risques de sécurité importants. Ce guide propose des conseils pratiques pour sécuriser vos workflows GitHub Actions. Il couvre la terminologie essentielle, les meilleures pratiques pour configurer les paramètres au niveau de l'organisation et la protection des branches au niveau du référentiel, la gestion des secrets et la rédaction sécurisée des workflows. Des vulnérabilités clés telles que l'exécution de pipeline empoisonné (PPE) sont abordées, ainsi que des recommandations pour minimiser l'utilisation d'actions tierces, contrôler les autorisations et utiliser des outils d'analyse statique et d'application de politiques.

Lire plus
Développement

Magie récursive : définition de e^x et de fonctions trigonométriques avec des générateurs infinis en Python

2025-04-21
Magie récursive : définition de e^x et de fonctions trigonométriques avec des générateurs infinis en Python

Cet article présente une astuce ingénieuse utilisant des générateurs infinis Python pour définir des fonctions mathématiques de manière récursive. En définissant récursivement un générateur pour les entiers positifs et en tirant parti des développements en séries de Taylor, l’auteur montre comment générer les coefficients de développement en séries de Taylor pour e^x, sin x et cos x de manière récursive, en se basant uniquement sur leurs relations intégrales sans prédéfinir leurs expressions. L’article inclut également une optimisation utilisant un décorateur memoize pour améliorer les performances et éviter les limites de profondeur de récursion.

Lire plus

Pourquoi est-il si difficile de trouver des produits de haute qualité ?

2024-12-16

Cet article explore le défi omniprésent de trouver des produits et services de haute qualité sur le marché. L’auteur soutient que les marchés ne sont pas parfaitement efficaces, les inefficacités au sein des entreprises et des produits persistant pendant des années. Les consommateurs ont du mal à discerner la qualité des produits, souvent influencés par le marketing. Même les conseils d’experts se révèlent peu fiables. Les entreprises, privilégiant l’efficacité, externalisent ou achètent des solutions prêtes à l’emploi, mais celles-ci manquent souvent de qualité et peuvent présenter des défauts fondamentaux. L’auteur utilise des anecdotes personnelles et des études de cas pour illustrer l’asymétrie de l’information et les déficits de confiance au sein et entre les entreprises, entravant la production et la vente de biens de haute qualité. La conclusion souligne que la construction de la qualité n’est pas facile, mais un service fiable exige souvent un développement interne, un obstacle important pour les petites entreprises.

Lire plus

Beyond Meat : Le géant de la viande végétale est-il en chute libre ?

2025-07-20
Beyond Meat : Le géant de la viande végétale est-il en chute libre ?

Beyond Meat, autrefois une entreprise prometteuse de viande végétale, fait face à une grave crise financière. La croissance des revenus est faible, la rentabilité est illusoire, une dette massive arrive à échéance et le cours de l'action a chuté de 98 %. Si l'entreprise tente de redresser la barre en réduisant ses coûts, en améliorant son image de marque et en cherchant à restructurer sa dette, le temps presse et le risque de faillite reste important. Il ne s'agit pas seulement d'une crise pour Beyond Meat, mais aussi d'un reflet des défis auxquels est confronté le secteur de la viande végétale dans son ensemble.

Lire plus

1964 : Année charnière pour la musique ? Les données révèlent la vérité

2025-03-15
1964 : Année charnière pour la musique ? Les données révèlent la vérité

Cet article utilise les données des charts Billboard pour étudier si 1964 a été une année charnière pour la musique populaire, comme beaucoup l'affirment. En analysant 175 artistes ayant atteint le top 40 en 1963, l'auteur découvre que la moitié n'ont plus jamais eu de succès dans le top 40 après 1964. Cependant, ce phénomène n'était pas propre à 1964 ; des tendances similaires sont apparues d'autres années. L'article soutient que, si l'invasion britannique a eu un impact significatif sur le paysage musical, la scène musicale américaine était également en pleine évolution. L'article présente également la longévité remarquable de Frankie Valli, ainsi que des recommandations de chansons de Doechii et The Newbeats.

Lire plus

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
1 2 255 256 257 259 261 262 263 595 596