Session #24: 19 March 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 #20: 13 December 2022

Talks:

  • Wiki for Coq: Incrementally checking formal documents, Emilio-Jesus Gallego-Arias (picube)
  • Prune in Rust: A language for automating parameter studies and benchmarks, Simon Legrand (SED)
  • Introduction to Github Actions, Thierry Martinez (SED)

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.