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.
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 (...)
Bonjour,
Je vends plusieurs livres ainsi que du matériel informatique. Ils sont en excellent état. Si je vois des défauts, je le note dans les descriptions. Je peux vous fournir davantage d'informations ainsi que des prises de vue si vous le souhaitez.
Matériel :
C'est un PC Gamer intégralement monté en 2012 avec une configuration cohérente. J'ai longtemps étudié les composants pour choisir un PC puissant, pas trop cher et qui pourrait rester utile au (...)
Bonjour,
Je vends plusieurs livres ainsi que du matériel informatique. Ils sont en excellent état. Je peux vous fournir davantage d'informations ainsi que des prises de vue si vous le souhaitez.
Informatique :
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.
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.
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 est un livre de mathématique libre du niveau de l’agrégation. Fort d’un peu plus de 1 600 pages, il couvre la quasi entièreté du programme. Ce cours de mathématique est libre au sens de la licence FDL, et ses sources LaTeX sont sur GitHub depuis le début du projet.
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 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 (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.
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 est un environnement entièrement libre de géométrie interactive et de programmation. Il est développé avec Pharo, environnement et langage de programmation porté par l'INRIA.
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.
Le 29 mai dernier, GNU a sorti une nouvelle version de son logiciel Octave, près de 8 ans après la précédente v3. GNU Octave est un logiciel libre de calcul numérique, dont le langage accepte de nombreuses constructions de la bibliothèque standard du C, qui peuvent être étendues sur Unix, et propose l'usage de fonctions écrites en C++. Il peut fonctionner avec les nombres réels et les nombres complexes. Des fonctionnalités de tracés graphiques sont directement intégrées au langage.
La version 4.0, version majeure, apporte une liste impressionnante de nouveautés : interface graphique, programmation orientée-objet, meilleure compatibilité avec Matlab, nouvelles fonctionnalités, ré-écriture de fonctions, …
GNU Octave est comparable à MATLAB, et dispose d'une syntaxe très proche. Il présente une sérieuse alternative, largement utilisée. Octave est écrit en C++, et dispose d’un moteur intégré de rendu graphique (basé sur OpenGL).