Session #14: 19 November 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