[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

[Alan Schmitt <alan.schmitt@polytechnique.org>]

[-- Attachment #1.1: Type: text/plain, Size: 9882 bytes --]

Hello

Here is the latest OCaml Weekly News, for the week of April 19 to 26,
2022.

Table of Contents
─────────────────

Multicore OCaml: March 2022
OUPS meetup may 2022 (french only)
JFLA 2022: Call for Participation (in French)
Old CWN


Multicore OCaml: March 2022
═══════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/multicore-ocaml-march-2022/9692/1>


Anil Madhavapeddy announced
───────────────────────────

  Welcome to the March 2022 [Multicore OCaml] monthly report! This
  update along with the [previous updates] have been compiled by me,
  @ctk21, @kayceesrk and @shakthimaan.

  We have continued steadily towards making a stable OCaml 5.0 release,
  as you can see from the long list of fixes later – thank you for all
  your contributions! Platform configurations that were formerly
  supported in the 4.x branches for OpenBSD, FreeBSD, and NetBSD have
  now been re-enabled. ARM64 support (for macOS, Linux and the BSDs) is
  stable in trunk, and ARM CFI integration has been merged as a
  follow-up to facilitate debugging and profiling.  Notably, this also
  includes [memory model tests for ARMv8 and Power ports]. The Windows
  mingw64 port is also working again in trunk.

  An [effects tutorial] has also been contributed to the OCaml manual;
  feedback continues to be welcome even after it's merged in.  As you
  experiment with effects, please do continue to post to this forum with
  questions or comments about your learnings.

  The Sandmark benchmark project has added bytecode analysis to address
  any performance regressions. We have also been working on obtaining
  measurements for the compilation data points. The current-bench
  pipeline production deployments has significant UI changes, and now
  has alert notifications for the benchmark runs.

  As always, the Multicore OCaml open and completed tasks are listed
  first, which are then followed by the ecosystem tooling projects. The
  Sandmark, sandmark-nightly, and current-bench project updates are
  finally presented for your reference.

  /Editor’s note: please find the full changelog following the archive
  link above./


[Multicore OCaml] <https://github.com/ocaml-multicore/ocaml-multicore>

[previous updates] <https://discuss.ocaml.org/tag/multicore-monthly>

[memory model tests for ARMv8 and Power ports]
<https://github.com/ocaml/ocaml/pull/11004>

[effects tutorial] <https://github.com/ocaml/ocaml/pull/11093>


OUPS meetup may 2022 (french only)
══════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/oups-meetup-may-2022-french-only/9715/1>


zapashcanon announced
─────────────────────

  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*


[meetup] <https://www.meetup.com/fr-FR/ocaml-paris>

[le site du oups] <https://oups.frama.io>

[sont maintenant disponibles] <https://oups.frama.io/past.html>

Gospel & Ortac - Clément 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.


[much more] <https://ocaml-gospel.github.io/gospel/>


MirageOS 4 - Romain Calascibetta
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  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
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  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.


JFLA 2022: Call for Participation (in French)
═════════════════════════════════════════════

  Archive:
  <https://sympa.inria.fr/sympa/arc/caml-list/2022-04/msg00008.html>


Timothy Bourke announced
────────────────────────

  [ This message is intentionally written in French. It is a call for
  participation for the "Francophone Days on Functional Languages" to be
  held, finally and fingers crossed, at the end of June. Some of the
  articles are written in English. They are available online:
  <https://hal.inria.fr/JFLA2022/> ]

  *Merci de faire circuler : premier appel à participation*

  JFLA'2022 (<http://jfla.inria.fr/jfla2022.html>)

  Journées Francophones des Langages Applicatifs

  Saint-Médard-d'Excideuil - du 28 juin au 1er juillet 2022

  Les inscriptions aux JFLA 2022 - en présence ! - sont désormais
  ouvertes :

  <https://www.azur-colloque.fr/DR04/inscription/preinscription/203/fr>

  Ces journées réunissent concepteurs, utilisateurs et théoriciens ;
  elles ont pour ambition de couvrir les domaines des langages
  applicatifs, de la preuve formelle, de la vérification de programmes,
  et des objets mathématiques qui sous-tendent ces outils. Ces domaines
  doivent être pris au sens large : nous souhaitons promouvoir les ponts
  entre les différentes thématiques.

  L'inscription est un forfait qui comprend notamment l'hébergement en
  pension complète sur le site des journées :
  • participant·e plein tarif, chambre simple : 660 euros
  • étudiant·e orateur·ice, en chambre double : 0 euro

  Nous espérons que vous serez nombreux à participer à ces journées.
  Inscrivez-vous dès que possible ! En particulier, les étudiant·es
  orateur·ices sont invité·es à s'inscrire, même s'ils ne paient pas
  grâce à nos sponsors.

  Vous pouvez d'ores et déjà vous inscrire au salon de discussion
  framateam afin d'échanger ensemble :
  <https://framateam.org/signup_user_complete/?id=gnbebtncubnbpe96ok9kam8t9y>

  Tout le programme est à retrouver ici :
  <http://jfla.inria.fr/jfla2022.html>


Dates importantes
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • 17 juin 2022 : date limite d'inscription aux journées
  • 28 juin au 1er juillet 2022 : journées


Cours invités
╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Delphine Demange (IRISA, Université de Rennes 1) "Si2-FIP:
    Programmation Fonctionnelle en Licence 1 avec Scala"

  • Denis Mérigoux (Inria) "Rust pour le formaliste impatient"


Exposé invité
╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Matthias Puech (INA GRM) Titre à venir - avec une surprise !


Articles acceptés
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  L'ensemble des articles acceptés est disponible sous forme d'une
  collection HAL : <https://hal.inria.fr/JFLA2022>


Comité de programme
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Chantal Keller LMF, Université Paris-Saclay (Présidente)
  • Timothy Bourke Inria, ÉNS de Paris (Vice-président)

  • Sandrine Blazy Irisa, Université Rennes 1
  • Frédéric Bour Tarides - Inria
  • Guillaume Bury OcamlPro
  • Stefania Dumbrava Samovar, ENSIIE, Télécom Sud Paris
  • Diane Gallois-Wong Nomadic Labs
  • Adrien Guatto IRIF, Université de Paris
  • David Janin LaBRI, Université de Bordeaux
  • Marie Kerjean LIPN, Université Paris 13
  • Luc Pellissier LACL, Université Paris-Est Créteil
  • Mário Pereira NOVA-LINCS, Universidade Nova de Lisboa
  • Alix Trieu Aarhus University
  • Yannick Zakowski LIP, Inria, ÉNS de Lyon


Old CWN
═══════

  If you happen to miss a CWN, you can [send me a message] and I'll mail
  it to you, or go take a look at [the archive] or the [RSS feed of the
  archives].

  If you also wish to receive it every week by mail, you may subscribe
  [online].

  [Alan Schmitt]


[send me a message] <mailto:alan.schmitt@polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[online] <http://lists.idyll.org/listinfo/caml-news-weekly/>

[Alan Schmitt] <https://alan.petitepomme.net/>


[-- Attachment #1.2: Type: text/html, Size: 20509 bytes --]

[-- Attachment #2: Type: text/plain, Size: 119 bytes --]

Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'INRIA.