Un logiciel multiplate-forme B o B qui permet de transférer un fichier à une personne qui a ce même logiciel et le mot de passe qui va avec.
Ça a l'air simple c'est disponible ici : https://bob.osau.re/.

La première moitié de la conférence explique la genèse du projet, intéressant pour une personne néophyte en programmation logicielle comme moi !

En allant sur le [site de Justine](http:// http://justine.lol/cosmopolitan/), elle a développé plusieurs programmes comme redbean un web server autonome et aussi une émulation de nintendo nes avec Super Mario dans un terminal, extra pixélisé.

Bob (https://bob.osau.re) est un logiciel polyglotte (grâce à Cosmopolitan, http://justine.lol/cosmopolitan/) de transfert de fichiers en OCaml (qui se prononce o camel) 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.).