What for?

Programming: highly satisfying activity as you think it works, after having spent days when it was almost working, and before you realize it does not actually work that well… — Gérard Berry

Sounds familiar? Let’s talk about it at the Developer meetup!

Developer meetups

For everybody, once a month, for one hour at 4pm, building C 5th floor, cakes and coffee provided!

  • Build a local community of coders with all kinds of skills and backgrounds,
  • Share our favourite tricks and tools, success and horror stories, etc…
  • Gather good coding habits and practices

Send propositions, wishes and remarks to dev-meetup-paris@inria.fr.

It’s also a mailing-list, to announce next meetups, to discuss what talks will happen there, and to debrief previous meetups. Feel free to subscribe if you wish: https://sympa.inria.fr/sympa/subscribe/dev-meetup-paris.

Session #7: 19 February 2019


  • Switching Coq’s bug tracker (from Bugzilla to GitHub) and measuring the effect, Théo Zimmermann (PI.R2), slides.
  • Manage plugins in python with importlib, Yoann Dupont (ALMANACH), slides.
  • The WireGuard VPN, Benjamin Lipp (PROSECCO)
  • MyPy, or how to make your buggy simulation crash now instead of after 24 hours of computation, Denis Merigoux (PROSECCO), slides.

Session #6: 22 January 2019


  • Eel: Get (simple) GUI for your Python with no hassle, Yasuyuki Tanaka (EVA), slides. Dash was mentioned during the discussion.
  • PWA, from Web to mobile in 5 minutes, Pierre-Guillaume Raverdy (SED), slides
  • vc-annotate: exploring git logs with emacs, Thierry Martinez (SED), Old-Revisions page in Emacs Manual. github blame functionality, git-time-machine (Atom plugin), tig were mentioned during the discussion. Check your favourite editor or IDE, there may be a plugin to do similar things.
  • Make your examples live with binder, Loïc Estève (SED), slides

Session #3: 18 September 2018


  • Using dask for the rioc cluster, Loïc Estève (SED). Slides, demo Jupyter notebook.
  • tmux, Vivien Mallet (CLIME). tmux stands for terminal multiplexer, an alternative to the command-line tool called “screen”, enabling users to launch long-standing processes without fearing about closing the window from where these processes have been launched. Here is a good starting point for a .tmux.conf configuration file.
  • Continuous Integration: Jenkins Pipelines, Thierry Martinez (SED). Pipelines are the modern way to setup continuous integration jobs, in a Jenkinsfile that is stored directly in the versioned repository of your project.

Session #2: 19 June 2018


  • Python 2 vs Python 3, Loïc Estève (SED). Slides
  • Versioning: gitlab.inria.fr, Clémentine Fourrier (SED). Slides
  • Visual Studio Code, Simon Legrand (SED). Visual Studio Code (not related to Visual Studio despite the name …) is a cross-platform, open-source and lightweight editor with a very rich ecosystem of plugins. It can be seen as an alternative to Atom or Sublime Text.
  • Pijul, Pierre-Étienne Meunier (TAPDANCE). A version control system, quite similar to Git, but well-founded mathematically. Pierre-Étienne Meunier is one of its conceptors. Slides More about it.

Session #1: 15 May 2018

Given talks:

  • Introductory talk, Loïc Estève (SED)
  • Magit (Git GUI in Emacs) and Tramp (open remote files via SSH in Emacs), Thierry Martinez (SED)
  • Docker, Clémentine Fourrier (SED)
  • NixOS, Pierre-Étienne Meunier (TAPDANCE). NixOS is a Linux distribution based on Nix, a purely fonctionnal package manager, which means it’s stateless. More about it.