Session #24: 19 March 2024
Posted on March 8, 2024
|
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)
Session #23: 20 February 2024
Posted on February 2, 2024
|
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
Session #17: 24 March 2020
Posted on March 16, 2020
|
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)
Session #14: 19 November 2019
Posted on November 18, 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
Posted on October 22, 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
Posted on September 19, 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
Posted on February 14, 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
Posted on January 22, 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
Session #2: 19 June 2018
Posted on June 13, 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.
Pierre-Étienne Meunier is one of its conceptors.
Slides
More about it.