Le Frido 2018 est un livre libre de mathématique destiné à l’agrégation et plus. Il suppose connue la théorie des ensembles, puis fait tout en détail de la constructions des ensembles de nombres jusqu’aux statistiques en passant par les corps, les groupes, l’analyse, les probabilités et un peu de numérique.
Journal "Intelligence artificielle", vraiment?

"Le terme intelligence artificielle n'est pas bon" dixit Cédric Villani. Épaulé dans mes idées par un matheux d'une telle pointure, me voici rassuré… :)
https://twitter.com/twitter/statuses/977691165872087041
Et comme sciences et philosophies se rejoignent parfois, je ressors ce lien qui porte l'estocade:
"L'intelligence artificielle n'existe pas!"
https://www.lexpress.fr/actualite/sciences/l-intelligence-artificielle-n-existe-pas_1956669.html
Journal La recherche en langages de programmation au quotidien
Dans le cadre de mon travail j'ai été amené à écrire un petit texte qui explique mon quotidien fait de "recherche (scientifique) en langages de programmation". Je me permets de le diffuser ici au cas où ça intéresse des gens.
Ma recherche
Je travaille à l'INRIA, un institut public français de recherche en informatique. Je fais de la programmation et de la recherche sur les langages de programmation.
Mon rôle est d’étudier ces langages, de mieux les comprendre (…)
Journal [Humour] vers un monde différent
Le Frido : un livre, libre, de mathématiques pour l’agrégation
La version 2017 du Frido, ce bouquin de mathématiques dont un des intérêts est d’être libre, est publiée.
Fort d’environ 2 000 pages, il couvre la quasi entièreté du programme d’agrégation. Ce cours de mathématiques est libre au sens de la licence FDL et ses sources LaTeX sont sur GitHub depuis le début du projet.
MathMod 6.0 : Introduction du calcul en mode multitâche ou multiprocesseur
Je suis heureux d’annoncer la publication de la nouvelle version de MathMod, le logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques.
MathMod permet de manipuler les objets mathématiques 3D et 4D. Il permet aussi de changer leur propriétés visuelles (appliquer des textures 3D, une transparence…), calculer leurs intersections en temps réel et exporter le résultat final sous le format de fichiers OBJ. MathMod est développé avec Qt5/C++, il est disponible pour GNU/Linux, Windows et macOS, sous licence GPL v3.
Cette nouvelle version apporte une amélioration majeure sur la partie du logiciel dédiée au calcul mathématique : la prise en charge du calcul multitâche ou multiprocesseur.
Journal Bulle d'idée attrapée : une expérience collaborativo-informatico-scientifique

Cette nuit, une bulle d'idée planait aux environs de mon appartement, je l'ai attrapé et ça a illuminé ma nuit. Un spoiler, ou teaser, je sais pas :
On sait depuis longtemps (enfin, on, je veux dire eux, ou nous, ou ptete encore lui), par exemple depuis Alan Turing que les maths peuvent reproduire des structures du vivant.
On sait depuis encore plus longtemps que le vivant est un réservoir incroyable de structures différentes et toutes (…)
Le Frido, un livre de mathématique libre pour l’agrégation
Forum Programmation.autre Conseils pour améliorer mon niveau de maths
Bonjour,
Je suis développeur depuis bientôt un décennie et mon niveau de math ne s'est pas beaucoup amélioré depuis ma sortie de l'école (BTS). J'ai récemment fait l'acquisition de l'ouvrage "Conception d'algorithmes
Principes et 150 exercices corrigés" et je constate que mon niveau en math appliqué à la programmation me handicape vraiment pour sa lecture.
Comme un développeur se doit d'avoir un bon niveau de maths pour bien faire son travail, je me tourne vers vous afin d'obtenir (…)
Malinux Télé des ordinateurs éducatifs pour les enfants du Mali et d'ailleurs
Malinux Télé est un Raspberry Pi dans une boîte en bois, connecté à un écran de télévision. Ce petit ordinateur embarque de nombreux logiciels éducatifs libres, une encyclopédie pour enfants, des jeux interactifs pour l'apprentissage de la lecture dans la langue maternelle principale des enfants du Mali, le bambara. Il est construit pour rendre accessible l’informatique éducative aux enfants en difficulté accueillis par des associations au Mali. Bilou Toguna propose une aide technique aux associations qui voudraient adapter et traduire cet outil éducatif dans d'autres pays.
De nouvelles solutions techniques sont expérimentées : un portage sur linux-sunxi, pour installer Malinux Télé sur des tablettes ARM (processeurs Allwinner) à bas coût, une personnalisation de Xubuntu pour PC, construite sur ce modèle ainsi qu'un DVD avec des installeurs et manuel pour les salles informatiques sous Windows.
Dr. Geo 16.03
Dr. Geo est un environnement libre de géométrie interactive et de programmation. Il est aussi bien destiné à un public jeune de l'école primaire ou du secondaire I, qu'à des plus grands pour expérimenter la géométrie et/ou la programmation. Il est propulsé par l'environnement de développement dynamique Pharo, supporté par l'INRIA/RMOD.
MathMod 4.0 : nouveaux outils de manipulation des objets mathématiques
MathMod (anciennement K3DSurf) est un logiciel libre (sous licence GPL v3) de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. MathMod permet de manipuler les objets mathématiques 3D et 4D en les animant d’un mouvement de rotation ou de déformation. Il permet aussi de changer leur propriétés visuelles, calculer leurs intersections en temps réel et exporter le résultat final sous différents formats de fichiers. MathMod est développé avec Qt5/C++, il est disponible pour GNU/Linux, Windows et Mac OS X.
Forum général.général Un zoomer de fractal entierement en ligne en JavaScript.
Bonjour à tous !
Je souhaitais partager avec vous FractalJS, ce magnifique projet open source qui permet d'explorer à l'envi les fractals en deux dimension tels que le mandelbrot, le julia et d'autre, instantanément depuis votre navigateur.
C'est ultra simple d'utilisation, beau, et très bien réalisé.
FractalJS
Le dépôt Github pour ceux qui voudraient contribuer.
Bonne découverte !
Benoît
Dr. Geo 15.12
Dr. Geo 15.07
Dr. Geo est un logiciel libre de géométrie dynamique et de programmation. Il est utilisable de l'école primaire au lycée, voire au delà.
Ce qui est particulier avec Dr. Geo c'est sa dimension programmation utilisateur très présente : écriture de script comme objet de code intégré dans un canevas, description d'une figure euclidienne avec un code et enfin modification de Dr. Geo depuis lui-même.
À noter : l'ensemble de Dr. Geo est sous licence libre, y compris les fichiers de traductions et les icônes de l'interface utilisateur.