Python

This developer meetup will take place exceptionally in room Jacques-Louis Lions 2, Inria Building C, ground floor.

Talks:

• Structural pattern matching in Python: a reconstruction, Thierry Martinez (SED/QAT) (slides)
• Parallelization and distribution on CLEPS with Julia, Francesco Arzani (QAT)
• Using Github Classrooms for recruitment, Nicolas Gensollen (SED/ARAMIS)

Talks:

• Using Bazel for building and testing C++/Python projects, Stéphane Caron (Willow) (slides)
• Tracy: un outil pour le profiling de code a la nanoseconde, Wilson Jallet (Willow) (slides)
• Faer-rs, a linear algebra foundation for the Rust programming language, Sarah El Kazdadi

This session has been cancelled.

Talks :

• Profiling Python code with snakeviz, Hadrien Hendrix (SIERRA)
• VueJS: an Adaptative Javascript Framework to Create Reactive Web Applications, Gaël Guibon (ALMANACH)
• Dealing with email inside emacs with mu4e, Loïc Estève (SED/SIERRA)

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

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

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

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.

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

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. Pierre-Étienne Meunier is one of its conceptors. Slides More about it.