Session #7: 19 February 2019

Talks:

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