Le Frido est un livre de mathématique monolithique qui va de la construction des naturels (axiomatique non comprise) jusqu’aux derniers retranchements de l’agrégation : analyse, algèbre, probabilités, statistiques. Licence FDL.
Lien Les études statistiques sont-elles hors de contrôle ?

Forum Programmation.autre Algèbre de Bool, cherche cours/doc/mooc/tuto whatever
Coucou !
Je suis nul en algèbre Bool, les 3 cours que j'ai pu avoir sur son introduction sont bien loin aujourd'hui, et j'ai besoin d'en connaitre plus.
Donc si quelqu'un à des conseils à me donner pour passer de gros noob à guru méditant dans des délais raisonnables, je lui construit une table de vérité en bois d'arbre pour sa salle à manger, aves ses rallonges =D
Par avance tous mes remerciements distingués.
MathMod 11.0, modélisation et manipulation d'objets mathématiques
Je suis heureux d’annoncer la sortie de la version 11.0 de MathMod (anciennement connu sous le nom K3DSurf), le logiciel libre de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. Cette version contient le développement le plus excitant depuis le support des processeurs multi-cœurs : compatibilité avec OpenGLES. MathMod peut maintenant tirer pleinement parti des CPU et GPU modernes !
Lien La présentation du plan quantique ne s'est pas faite sans heurts parmi les universitaires...

Journal Un ouvrage sur Julia
Bonjour,
Je me permets de faire un peu de publicité pour mon livre d’introduction au langage de programmation Julia, le premier livre en français à ma connaissance. Le livre est destiné en priorité (mais pas exclusivement) à un public de mathématiciens généralistes, pas forcément spécialistes du calcul scientifique. Les trucs très matheux représentent à peu près le tiers du livre.
On peut le lire gratuitement en ligne, ou acheter une version papier (en couleurs !) pour 19 € .
http://www.iecl.univ-lorraine.fr/~Olivier.Garet/livre_julia/
Sortie de MathMod 9.1
Je suis heureux d’annoncer la publication de la nouvelle version (9.1) de MathMod. MathMod est un 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 fichier OBJ. MathMod est développé en C++ avec Qt5, il est disponible pour GNU/Linux, Windows et macOS, sous licence GPL v3.
Aussi, MathMod peut être configuré pour exploiter au mieux les ressources matérielles : répartition du calcul sur plusieurs cœurs, accélération graphique OpenGL, allocation de mémoire…
Lien Joyeuse journée de π !

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
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.