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.