Les Midis de la bidouille
Les Midis de la bidouille sont des rendez-vous informels organisés environ tous les mois par le SED dans le but de sensibiliser les développeurs à différentes technologies ou logiciels. Les participants viennent avec leur ordinateur portable, et l'orateur leur propose des exercices pratiques pendant une heure pour pouvoir appréhender un outil ou une technologie.
Programmation d'un jeu avec défilement : manipulations de «sprites», gestion du son, etc...
Mise-en-œuvre des pipelines Jenkins sur la plate-forme d'intégration continue de l'INRIA
utilisation avancée d'openmp avec notamment les tâches, illustration sur le problème du voyageur de commerce
découverte d'openmp pour le parallèlisme à mémoire distribuée : création de fils d'exécution, sections critiques, opérations atomiques, réductions
utilisation de gnupg : création de clefs, signature, chiffrement, déchiffrement
utilisation du gestionnaire de paquets guix sur la plate-forme plafrim
le langage de programmation numérique julia
présentation de gitlab-ci, le système d'intégration continue de la plateforme nationale inria gitlab
introduction au tableau de bord sonarqube pour améliorer la qualité du code
présentation de l'application de deploiement d'images systèmes fondée sur des conteneurs logiciels
utilisation conjointe des plate-formes gitlab et ci /jenkins
présentation de la plate-forme nationale gitlab : projets, utilisateurs, permissions, demandes de fusion (mr), etc...
présentation des méthodes collaboratives de travail avec git.
présentation du shell zsh : complétion, expansion de noms de fichiers et greffons externes
on présente divers outils (ctags, fugitive, grep) pour utiliser vim commenvironnement de développement intégré
présentation de la base de données openstreetmap, des divers outils que l'on peut utiliser avec et de comment contribuer ?
quelques fonctions avancées dans inkscape
introduction aux fonctions de base de inkscape
on présente l'utilisation basique de tmux, un multiplexeur de terminal.
raspberry pi : les raspberry pi sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés
raspberry pi : les raspberry pi sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés
brice a présenté les points non abordés dans l'édition précédente.
présentation de slurm : slurm est l'ordonnanceur actuellement utilisé sur la nouvelle plate-forme plafrim ii.
introduction à openmp: le cadriciel openmp permet de faire du parallèlisme à mémoire distribuée d'une façon accesible en ajoutant des #pragmas à un code séquentiel.
présentation d'orgmode : une extension de gnu emacs permettant de gérer des listes, des agendas ou de planifier des projets.
une présentation par un membre du service informatique du centre, de l'outil ssh, avec notamment les tunnels avant, arrière, le transfert de fichier et les agents ssh
une introduction au déverminage parallèle (mpi) en utilisant des outils tels que valgrind et gnu gdb.
une utilisation avancée de git avec notamment :
- commandes de bases: show, status, log, commit, add, pull, push, merge, branch.
- les bases des branches locales et distantes.
- résoudre les conflits dans pull ou merge.
- connaître la différence entre les changements staged ou non.
- les descripteurs de commits head^^, head~5, etc.
- commandes avancées : rebase, cherry-pick, reset, stash, reflog, clean, blame,