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.

05/06/2018 - Programmation de jeux vidéos avec SDL2 - Raymond Namyst
Planches(pdf) Raymond Namyst

Programmation d'un jeu avec défilement : manipulations de «sprites», gestion du son, etc...

03/05/2018 - Jenkins Pipelines - Brice Goglin
exemple fichier groovy lien vers les fichiers groovy d'hwloc Brice Goglin

Mise-en-œuvre des pipelines Jenkins sur la plate-forme d'intégration continue de l'INRIA

24/04/2018 - openmp avancé (tâches) - pierre-andré wacrenier
sujet et sources pierre-andré wacrenier

utilisation avancée d'openmp avec notamment les tâches, illustration sur le problème du voyageur de commerce

03/04/2018 - openmp, un paradigme pour le multi-cœurs - pierre-andré wacrenier
sujet et sources pierre-andré wacrenier

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

20/03/2018 - le logiciel de chiffrement gnupg - andreas enge
transparents(pdf) commandes gnupg pour mutt andreas enge

utilisation de gnupg : création de clefs, signature, chiffrement, déchiffrement

15/03/2018 - le gestionnaire de paquets guix - ludovic courtès
org ludovic courtès

utilisation du gestionnaire de paquets guix sur la plate-forme plafrim

6/02/2018 - julia, langage de programmation numérique - issam tahiri>
lien vers github issam tahiri

le langage de programmation numérique julia

23/01/2018 - utilisation avancée de git - ludovic courtès
org html ludovic courtès

utilisation avancée de git : rebase

09/01/2018 - introduction à gnu gdb - marc fuentes
org html marc fuentes

utilisation basique du dévermineur gnu gdb : points d'arrêt, examen des variables, etc...

23/11/2017 - découvrez mpi avec python - marc fuentes
org html marc fuentes

on passe en revue les fonctions de base de l'api mpi a l'aide de python

23/11/2017 - introduction à cmake - marc fuentes
org html marc fuentes

introduction à cmake

23/11/2017 - gitlab-ci - florent pruvost
org florent pruvost

présentation de gitlab-ci, le système d'intégration continue de la plateforme nationale inria gitlab

xx/04/2017 - sonarqube florent pruvost, hervé mathieu
org florent pruvost, hervé mathieu

introduction au tableau de bord sonarqube pour améliorer la qualité du code

23/05/2017 - docker louise-amélie schmitt, david sherman
présentation david commandes amélie louise-amélie schmitt, david sherman

présentation de l'application de deploiement d'images systèmes fondée sur des conteneurs logiciels

23/03/2017 - intéractions gitlab/jenkins - florent pruvost , marc fuentes
(org) florent pruvost, marc fuentes

utilisation conjointe des plate-formes gitlab et ci /jenkins

16/03/2017 - gitlab - françois rué
(org) - françois rué

présentation de la plate-forme nationale gitlab : projets, utilisateurs, permissions, demandes de fusion (mr), etc...

09/02/2017 - bonnes pratiques collaboratives avec git - ludovic courtès
(org) - ludovic courtès

présentation des méthodes collaboratives de travail avec git.

26/01/2017 - zsh - cyril bordage
(org)(archive config + org) - cyril bordage

présentation du shell zsh : complétion, expansion de noms de fichiers et greffons externes

15/12/2016 - vim pour la programmation - marc fuentes
(présentation) - marc fuentes

on présente divers outils (ctags, fugitive, grep) pour utiliser vim commenvironnement de développement intégré

10/10/2016 - openstreetmap - vincent bergeot
(présentation) - vincent bergeot

présentation de la base de données openstreetmap, des divers outils que l'on peut utiliser avec et de comment contribuer ?

14/06/2016 - inkscape ii - cyril bordage
- cyril bordage

quelques fonctions avancées dans inkscape

24/05/2016 - inkscape - cyril bordage
- cyril bordage

introduction aux fonctions de base de inkscape

11/02/2016 - tmux - marc fuentes
(org) - marc fuentes

on présente l'utilisation basique de tmux, un multiplexeur de terminal.

14/01/2016 - raspberry pi (ii) - thibault lainé
(archive orgmode+images) (html) - thibault lainé

raspberry pi : les raspberry pi sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés

05/11/2015 - raspberry pi - thibault lainé
(archive orgmode+images) (html) - thibault lainé

raspberry pi : les raspberry pi sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés

14/09/2015 - git avancé (ii) - brice goglin
(org) - brice goglin

brice a présenté les points non abordés dans l'édition précédente.

20/08/2015 - présentation de slurm - redouane bouchouirbat
(archive tp) - redouane bouchouirbat

présentation de slurm : slurm est l'ordonnanceur actuellement utilisé sur la nouvelle plate-forme plafrim ii.

11/06/2015 - introduction à openmp - pierre-andré wacrenier
(archive tp) - pierre-andré wacrenier

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.

20/03/2015 - présentation d'orgmode - ludovic courtès
(org) - ludovic courtès

présentation d'orgmode : une extension de gnu emacs permettant de gérer des listes, des agendas ou de planifier des projets.

03/02/2015 - utilisation de ssh - guillaume cassonnet
(org) - guillaume cassonnet

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

16/01/2015 - déverminage parallèle - cédric lachat
(org) - cédric lachat

une introduction au déverminage parallèle (mpi) en utilisant des outils tels que valgrind et gnu gdb.

05/12/2014 - git avancé - brice goglin
(org) - brice goglin

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,

7/11/2014 - utilisation de awk - nathalie furmento
(org) - nathalie furmento
16/10/2014 - utilisation de gnu emacs pour le développement - ludovic courtès
(org) - ludovic courtès
02/10/2014 - outils shell de base - cédric lachat
-cédric lachat