Name: Meetup de décembre
Start: 2021-12-09T19:00:00+01:00
End: 2021-12-09T20:30:00+01:00
Location: IRILL (site Jussieu 15-16 101)

Le prochain OUPS aura lieu le **jeudi 9 décembre** 2021. Le rendez-vous est fixé à **19h** en **salle 15-16 101**.

Ce meetup aura lieu dans les locaux de l'[IRILL] au [4 place Jussieu, 75005 Paris] en **salle 101**. Pour accéder à la salle, il faut aller à la colonne 15 ou 16, monter un étage et accéder au couloir 15-16. Voir les [instructions d'accès].

**L'événement sera aussi accessible à distance** sur Galène :

https://galene.org:8443/group/irill/oups/

**L'inscription est obligatoire** pour pouvoir assister au meetup sur place ! Votre nom complet doit être disponible. Merci de vous [inscrire] **le mercredi 8 décembre** au plus tard.

Le meetup consistera en trois exposés à la suite de quoi, les traditionnels pot et pizza party ne pouvant avoir lieux à l'IRILL, nous proposerons à ceux qui le souhaitent de se rendre au [Baker Street Pub] pour prolonger les discussions si la situation le permet. Le passe sanitaire sera demandé pour participer à cette partie de l'évènement.

Il est important de noter que **nous aurons peut-être à annuler l'événement**, auquel cas nous vous en informerons le plus rapidement possible sur les différents canaux.

Le programme des exposés de cette édition est donné ci-dessous et nous profitons de l'occasion pour rappeler que nous sommes toujours à la recherche de *propositions* d'exposés pour les meetups suivants. Si vous souhaitez proposer un exposé, contactez-nous sur le [zulip OUPS].

#### [Monolith] par [François Pottier]

> In this talk, I will give a brief presentation and demo of Monolith, a tool that helps apply random testing or fuzz testing to an OCaml library. Monolith provides a rich specification language, which allows the user to describe her library's API, and an engine, which generates clients of this API and executes them. This reduces the problem of testing a library to the problem of testing a complete program, one that is effectively addressed by off-the-shelf fuzzers such as AFL.

#### Générer 340_000 molécules valides par seconde sur un seul cœur et à dos de chameau par [François Berenger]

> La conception de molécules par ordinateur est un sujet qui revient à la mode. Pour générer in-silico des molécules aux propriétés optimisées, une fonction de score peut être couplée à un générateur moléculaire. Nous allons montrer une méthode simple qui permet de générer uniquement des molecules valides, à haute fréquence. Le logiciel libre [FASMIFRA] implémente cette méthode en OCaml.

#### Pourquoi écrire du C quand on peut faire pire en OCaml ? par Pierre Chambart

> Durant cette présentation, nous vous emmènerons visiter les profondeurs d'OCaml. Vous y découvrirez comment écrire du code lorsque votre seul objectif est d'éviter les allocations. À condition bien évidemment de ne pas craindre la honte. Vous pourrez également apercevoir de véritables morceaux de flambda et de futurs véritables morceaux de flambda2.

[4 place Jussieu, 75005 Paris]: https://www.openstreetmap.org/#map=19/48.84650/2.35457
[Baker Street Pub]: https://www.openstreetmap.org/node/2298160176
[FASMIFRA]: https://github.com/UnixJunkie/FASMIFRA
[François Berenger]: https://github.com/UnixJunkie
[François Pottier]: https://pauillac.inria.fr/~fpottier
[IRILL]: https://www.irill.org
[inscrire]: https://www.meetup.com/fr-FR/ocaml-paris
[instructions d'accès]: https://www.irill.org/pages/access.html
[Monolith]: https://gitlab.inria.fr/fpottier/monolith
[zulip OUPS]: https://oups.zulipchat.com

crozet

Basile Pesin

Loïc Sylvestre

OCaml Users in PariS (OUPS)

Technology

OCaml Programming

Programming Languages

Functional Programming

Type Systems

Machine Learning

Compilers

Software Development

Computer Programming

Meetup de décembre

IRILL (site Jussieu 15-16 101) 

Partager

OCaml Users in PariS (OUPS)

Meetup de décembre

OCaml Users in PariS (OUPS)

Détails

Les membres s'intéressent également à