OUPS meetup may 2022 (french only)

Le prochain OUPS aura lieu le jeudi 12 mai 2022. Le rendez-vous est fixé à 19h en salle 15-16 101 , 4 place Jussieu , 75005 Paris.

L’inscription est obligatoire pour pouvoir accéder au meetup ! Votre nom complet doit être disponible. L’inscription s’effectue sur meetup.

Toutes les informations sont disponibles sur le site du oups.

J’aimerais aussi signaler que les slides et vidéos des exposés passés sont maintenant disponibles ! :partying_face:

Programme :


Gospel & Ortac - Clément Pascutto @pascutto

Gospel is a behavioural specification language for OCaml program. It provides developers with a non-invasive and easy-to-use syntax to annotate their module interfaces with formal contracts that describe type invariants, mutability, function pre-conditions and post-conditions, effects, exceptions, and much more!

ortac: OCaml Runtime Assertion Checking.

MirageOS 4 - Romain Calascibetta @dinosaure

MirageOS 4 vient de sortir récemment et c’est l’occasion de (re)présenter ce projet permettant de construire des unikernels. Nous y présenterons les nouvelles features et possibilités et nous ferons une introspection de 3 ans de travail de l’équipe core.

Tezt: OCaml Tezos Test Framework - Romain Bardou @rbardou

Tezt is a test framework for OCaml. It is well suited for unit and regression tests and particularly shines for integration tests, i.e. tests that launch external processes. It was made with a focus on user experience. It allows you to easily select tests from the command-line and provides pretty logs. It also can run tests in parallel, automatically split the set of tests into several well-balanced batches to be run in parellel CI jobs, produce JUnit outputs, and more. It has been in use at Nomadic for the last 2 years and is thus quite battle-tested.

5 Likes

Rappel : le oups c’est ce jeudi, n’oubliez pas de vous inscrire sur meetup. :wink:

Info supplémentaire : les exposés seront diffusés en direct sur https://galene.org:8443/group/irill/oups/

Salut, les slides/vidéos du dernier OUPS seront bientôt disponibles sur le site?

For the next OUPS, I have a talk proposition:
“(unfold, map, fold): the ultimate parallel programming triplet”

If people are interested, I could even integrate a small exercise where people implement
the missing bits of a parallel xz compressor.
It will beat the run-time performance of running the xz compressor in parallel, for almost the same compression factor.

1 Like