Session #14: 19 November 2019


  • My workflow with PyCharm: scientific mode, remote editing, debugging, and other tips, Bruno Lecouat (WILLOW/THOTH). Scientific mode tutorial. Note you need the PyCharm professional edition but can get it for free with your Inria email address. During the discussion, Vistual Studio Code has a similar feature, see this for more details.
  • Cryptographic protocol implementations in F*, Benjamin Beurdouche (PROSECCO)
  • Enable HTTPS on your website with Let’s Encrypt, Pierre-Guillaume Raverdy (SED), slides

Session #13: 29 October 2019

Talks: Interactive Slides for Teaching Python, Gaël Guibon (ALMANACH), git repo. Note: binder was presented in the January 2019 developer meetup, see slides for more details Ease access to Jupyter and other web services with nginx, Pierre-Louis Guhur (WILLOW/THOTH), slides Jean Zay IA cluster (1000+ GPUs) announcement and early feed-back, Mauricio Diaz (SED/ARAMIS) & Loïc Estève (SED/SIERRA) slides, small doc for Jean Zay access procedure (comments and improvements more than welcome! [Read More]

Session #12: 24 September 2019

Talks: Parsing for dummies in Python with SLY, Hadrien Titeux (COML). slides, code examples from the talk, SLY github, SLY doc whichpr: quickly navigate to a github Pull Request Page from a git commit, Sébastien Hinderer (SED), more details Building a website with Hugo, Pedro Ortiz-Suarez (ALMANACH). Quick Start, Hugo Academic theme for your personal website, Pedro’s website using the Academic theme and its code using Hugo. Another website that Pedro created for providing datasets related to its research with its code. [Read More]

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

Talks: 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. [Read More]

Session #2: 19 June 2018

Talks: Python 2 vs Python 3, Loïc Estève (SED). Slides Versioning:, 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. [Read More]