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

Session #7: 19 February 2019


  • 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.