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