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 sed-pro@inria.fr

If you want to be aware of next events organized by the SED, feel free to subscribe: https://sympa.inria.fr/sympa/subscribe/sed-paris-events.

Session #14: 19 November 2019

Talks:

  • 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!)

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.
  • From a Python neuroimaging project test failure to a Microsoft Visual Studio compiler bug in less than 5 minutes, Loïc Estève (SED). slides

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.
  • Make your examples live with binder, Loïc Estève (SED), slides