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.

28/03/2019 - Outil de programmation libre pour déboguer, effectuer du profilage de code et mettre en évidence des fuites mémoires - Cyril Bordage
28/02/2019 - Bonnes pratiques CMake moderne - Florent Pruvost
fichier org fichier html Florent Pruvost
17/01/2019 - Déverminage avec GDB- Fuentes Marc
fichier org fichier html Fuentes Marc
06/12/2018 - Git, le retour - Ludovic Courtès
fichier org Ludovic Courtès
05/11/2018 - Introduction à Git - Ludovic Courtès
fichier org Ludovic Courtès
28/09/2018 - Astuces shell - Cyril Bordage
22/06/2018 - Présentation du Langage Rust - Olivier Saut
fichier pdf Olivier Saut
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 partagé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 html 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 π (ii) - Thibault Lainé
(archive orgmode+images) (html) - Thibault Lainé

Raspberry π : les Raspberry π sont des ordinateurs miniaturisés qui permettent facilement de faire des objets connectés

05/11/2015 - Raspberry π - Thibault Lainé
(archive orgmode+images) (html) - Thibault Lainé

Raspberry π : les Raspberry π 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