Bob, un logiciel de transfert de fichiers en peer to peer sécurisé et universel en OCaml

Bob (https://bob.osau.re) est un logiciel polyglotte (grâce à Cosmopolitan - http://justine.lol/cosmopolitan/) de transfert de fichiers en OCaml dont le relai est un unikernel (MirageOS - https://mirage.io). Cette conférence permet l’introduction: - de ce qu’est un unikernel (application en tant que système d’exploitation) - du développement de logiciels en OCaml - et de comment faire un logiciel portable et \"polyglotte\" (fonctionnant sur tous les systèmes grâce à Cosmopolitan et Esperanto (https://github.com/dinosaure/esperanto) - et de la reproductibilité en OCaml (https://builds.robur.coop/) On y introduira aussi une description du protocole, de son implémentation au travers de preuves grâce à Coq et du futur du logiciel (multicast, resuming, etc.)."