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.

16/11/2021- CMake: tour d'horizon des fonctionnalités à partir d'exemples, trucs et astuces Florent Pruvost
html - Sources Gitlab - Florent Pruvost et Marc Fuentes
31/03/2020- Introduction à Pandas et Scikit Learn Rémi Duclos
lien gitlab - Rémi Duclos
14/02/2020 - Modules (tcl) pour les grappes de calcul Nathalie Furmento et Brice Goglin
org - pdf - Nathalie Furmento et Brice Goglin
28/01/2020 - Inkscape (Pau) Mathieu Haefele
html - Document pdf - Mathieu Haefele
21/01/2020 - Modèle «Roofline» Matthieu Haefele
html - Document pdf - Matthieu Haefele
14/01/2020 - Vim pour la programmation (Pau) Marc Fuentes
html - Marc Fuentes
03/12/2019 - Javascript et NodeJs Thibault Lainé
projet Gitlab - Thibault Lainé
15/11/2019 - Impression 3D avec OpenSCAD Brice Goglin
org - html Brice Goglin
18/10/2019 - Impression 3D : modèles STL Brice Goglin et David Sherman
Brice Goglin et David Sherman

A partir d'un modèle STL (récupéré en ligne [1] ou conçu soi-même [2]), nous verrons comment un logiciel de découpe (comme Slic3r [3]) traduit ce modèle en couches plus ou moins denses avant de l'envoyer à l'imprimante. On abordera les notions de support et de jupe qui peuvent être nécessaires selon la forme du modèle.

09/09/2019 - Interfaces C-Python-Fortran Marc Fuentes>
13/06/2019 - Introduction au Langage R Dan Dutartre
24/05/2019 - Visualisation avec Kibana Hervé Mathieu
markdown html Hervé Mathieu
11/04/2019 - Notebooks JupyterMarc Fuentes
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
org - html - fichier test.c 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
org - html Ludovic Courtès
05/11/2018 - Introduction à Git - Ludovic Courtès
org - html 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 - html 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
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 - html Florent Pruvost, Marc Fuentes

utilisation conjointe des plate-formes gitlab et ci /jenkins

16/03/2017 - gitlab - François Rué
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 - html - Ludovic Courtès

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

26/01/2017 - zsh - Cyril Bordage
org - html - 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
org html - 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 - html - 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) (html) - 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) (html) - 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) (html) - 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) (html) - 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) (html) - 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) (html) - Nathalie Furmento
16/10/2014 - utilisation de gnu emacs pour le développement - Ludovic Courtès
org - html - Ludovic Courtès
02/10/2014 - outils shell de base - Cédric Lachat
-Cédric Lachat