From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTP id 28C0E5D5
	for <caml-list@inbox.ocaml.org>; Tue, 10 May 2022 12:31:03 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=from:to:date:message-id:mime-version:subject:reply-to:
   sender:list-id:list-help:list-subscribe:list-unsubscribe:
   list-post:list-owner:list-archive;
  bh=K4ALwcxB4tcb/Ti+I3vx8T8j7AAQtDN3haEY/u/O6do=;
  b=PqaPNFB0WO/WHadjW782GO53gl97R1ispVLJ55wqq6uPmPAHELUE1QQb
   e4h6rAOMHuYkh/rUEvO5NEiI6XLY0YXLaYVt4VyUPmjiFMNRXn2Tr7OnR
   7p/AVyf9cTrun2wRbkcIugGlq4JKhajZ254LIR2Z8jrFBRLZBNstOxVSi
   E=;
Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr
Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr:
  domain of caml-list-owner@inria.fr is inclined to not
  designate 128.93.162.160 as permitted sender)
  identity=mailfrom; client-ip=128.93.162.160;
  receiver=mail2-relais-roc.national.inria.fr;
  envelope-from="caml-list-owner@inria.fr";
  x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only;
  x-record-type="v=spf1"; x-record-text="v=spf1
  ip4:192.134.164.0/24 mx ~all"
Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@sympa.inria.fr) identity=helo;
  client-ip=128.93.162.160;
  receiver=mail2-relais-roc.national.inria.fr;
  envelope-from="caml-list-owner@inria.fr";
  x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only
X-IronPort-AV: E=Sophos;i="5.91,214,1647298800"; 
   d="scan'208,217";a="35567262"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 10 May 2022 14:31:01 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id BFCB3E027B; Tue, 10 May 2022 14:31:01 +0200 (CEST)
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 707E4E0099
	for <caml-list@sympa.inria.fr>; Tue, 10 May 2022 14:30:58 +0200 (CEST)
IronPort-SDR: /lDZuKKnQW9uNLiBbiU0kkPZvuZpGkbZUKVyqynhD3ypwQn/a1SJ9MnhErXalrGOB5qA7Lvhce
 N128yC20Wzn4L0/yK5sqcIJ2Hq1c3tZYhxkObp31jFuvOBNXd6qlkkTL1MASxjwMb2gPYO2PDW
 4um2mZSRrM6vFjIFR78bQJdFFVq6k+/ABWSmK/NbPDbqeVX9AZk41q1sprBGgXqCZ8veifjO+Q
 6JQiiW/nnBGX8+gbTihXubPkxjw58HSA/CfGL2MkXNaXUa5iOR3sfVHsoSofCwhdFC7PRzxQrT
 H/DBAlVXFfGrJiAU5J2eOTbX
X-IPAS-Result: =?us-ascii?q?A0ALBgCjWXpieyIeaIFag3mBAxkBZFUtBwhDhE6JAIVAA?=
 =?us-ascii?q?YJKbIhilR8BAwENLAEKCAECBAEBhRo5AQSEagIeBgEFMxMBAgQBAQEBAwIDA?=
 =?us-ascii?q?QEBAQEBAwEBBQEBAQIBAQIEBAETAQEPCwkGBwsGEA4FPGRkBIFLBIF0CzQNg?=
 =?us-ascii?q?iITDBmDcAEhCmUjAxsDAgQNARcBHhcBEhqCZIMXBQqQT5wRgTGBAYNPAQMFh?=
 =?us-ascii?q?EGBZSSBGIYYWEqDCIQZKRCBVUSBFYJ6boJLFwEBAQEBgTsBAYN2gmUElHsOg?=
 =?us-ascii?q?XgBWDgNS0qSZ49CiSKVIzQHg0yBOwYMiCuBIIx7iCCFRKMPIZZBIIklgRqCR?=
 =?us-ascii?q?pRBhTuBTiqBfjMaMFAQgksJRQEDAg0BAgIDAQIBAgkBAQKNdQGEGYRZO4VMP?=
 =?us-ascii?q?zQCAQE3AgYBCgEBAwmFYwEBBRMLAYtmAQE?=
IronPort-PHdr: A9a23:eOAmqhLCED0xLhJnotmcuENpWUAX0o4c3iYr45Yqw4hDbr6kt8y7e
 hCFvrMx1RSVAM2bs6sC17CM9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH
 c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajb75+N
 hq7oRjeusQZgYZpN6I9xgfUrndSdOla231kKUiPkxrg48u74YJu/TlXt/897cBLTL/0f74/T
 bxWDTQmN3466cj2vhTdTgWB+2URXHwOnhVHHwbK4hf6XozssiThrepyxDOaPcztQr8qXzmp8
 rpmRwXpiCcDMD457X3Xh8lth69VvB6tuxpyyJPUbI+WMvp+YKLdfcgbRWVaWsZeSTFKA427b
 4sVEuUBJvtTo43zqlcSqBezAxSnCuHyxT9SnnL43bM03fkvHw/F0wMvA8kDsHHIoNjvLqoeT
 fy5wavOwD7eb/1WwzD96I3Qfx09pfGDR7RwetfMx0YzFwPFi1SQqZD5PziI0ekCqWyb4PBmV
 e61kG4otwFxoj2uxscwlonEnZoVylfA9SR53IY6O8G3SE59Yd6lCZtQqj+VO5FxQsM4TGFlo
 SA3waAJtpCnZiYF0ognxwLBZPyddYiF+g7uWuiMLDp5mn9oZqyyiRmu/UW8xeDxWNS53VlFo
 ydZndTBtm0A2h3N58WESvVw8Vqt1SuB2g3R9u1JI104mKvdJpU8zLAwkZ8Tvl7CHi/wgEj2l
 LGZdlkl+ui09evnerLmppqZN4BqkA3+NLohmtCnDeQ/LgcBRW2b+eCm2L3k5035T61Ggecsk
 qjWsZDaO94XpqmjAw9ayooj5Be/Dyum0NQFhnYLNk5KeBWCj4TxOlHBPfD5DfO7g1i2lzdr3
 f/GM7v8CZvONnjOiKrtcah55kJG1QY/0d9S64haB70dOv7+VED8uMTFAhI3LgC42fjrBdVy2
 48ERG6DHrWVPL7QvFOU4O8kPvOCa5UPuDnnLvgo//7ugmE9mV8aZaSp2JQWZG2iEvR+JEWZZ
 XrtgssfHmgWvgo+Su3qiESfUTFNfXqyWLg85j4jBIKnC4fMWJytjaSc0CulGpBafH1KBkyDH
 HvyeYiIR+0AZSydL8N5lzwLT7mhS4sv1RG0sw/6zqJqIPfI9CMFqZ7uzNl05u3Vmx8z7TF7A
 NmT3nmVT2FzmmMJRyM2075jrkx9zFeD0LF4g+FGGtBJ4PNJSAg6OIbGwOx+Ed/yXBjNfsyVR
 1amR9WmAC0xTs4qztAVZEZ9BtOigQzd0CqxGbMVkrOGBZMu/qLbxXjxKN5xy3Dd26Y5lVkpX
 tNPNXG6hq547wXfGpbFk1+FmKayaaQcwCnN+X+fwmWUuUFYVBd8UaHEXXAEekvbts/550PHT
 7+2E7srKApByciYKqtLcNLll1tGRO2wcOjZNii1hGH6TUKM2bWkaJXsPWMQwHOZQAIPjAZZt
 T7SPhc4LiOguH7FSj1iBFbrJUT2/r864HiyS0txywCRc2Vg0aC081gbn6+yUfQWi5sAsSFpk
 D50GVehw5qCAt6JoUx6d6VZYM8hyE9A0XPFugd9OJ25Mq0kgUQRJVck93jy3gl6X90T2fMhq
 2knmVEqQUr5+FZIdjfCmIv1JqWSMG75uhamd6/R3FjalteQ4KYGrvoi+B34pA/8LkM56D181
 sVNlWOG78DDCAMUF4n6UkM26wRSv7beczUw7IPS1GRxPO+zqDCRk8kxCr4dww27N8xaLLvCE
 QbzF8MAAM37E9YRww27fzYrad5pobYzO9K6evCG3q+yIesmmyip2G1D6YY7yUmM8itgVsbC2
 IsDyPyDmA7bR3H7lljy+tvvl9V8bCoJVnG61TCiBINVYfhqep0XDG61P8Ct7tBu3tj1XHpJ6
 FOoB1UHwdKkPx2IYDQRxCVo3F8M6TyikCq8lXlvli0x67CY12rIyvjjcxwOPihKQnNjhBHiO
 9r8g9cfVUmuJw8n8XntrU/+zq4dv69/KmjPXW9QeCznM2xpUq2xr6ePJclV59skvD5WX+K1f
 V2BAuen8l1Di3+lRDMYn2xzfirP2N2xhxFgjWOBMHt/5GHUf81931aX5dDRQ+JQwitTXDNx2
 nHcAlmxOcXs/M3Bzs2S9LnmCyT6DtsILXqOr8vIriaw6Gx0DAfqmvmynoeiCg0myWrh0NIsU
 yzUrRH6a42t1qKgMOshcFM7YT20o8d8BIx6lZM9wZ8K3n1PzK6vxiJSg3bXHoBl4vfma34cW
 TMAw9jU+RXonkp5ISeAw4v/EG6Wws5ge8WSaGQL3Ckw9IZPVLfS66ZL13gQwBLwvUfKbP5xk
 y1Ig/Iq4XhcmOoJvQsx0g2FBbQDAURTPSrtjgmFqdeko+8EAQTnOaj13014k9e7CbiEqQwJQ
 3f1dKApGipo59l+OlbBgzXjr5vpc97KYZcPpwWZxl3bl+YPbsp7xZ9ozWJ3fHjwtno/x6sng
 AxyiNuhpIbdbT0q5LiwRhtWLDrwL4AaqDT91OBGmcKHw42kHpNgAygGGpzyQpfKWHpRvKbiJ
 1zICDo4u2uWErrZHBaC5QFhtX2HUJn5MmHMYmEeycR+SRKdIk1GnQ1SWy81+/xxXkOr3JKzK
 h8hv2JNv1Kg+EIem75kOkutDTyBqFX3NmhsAN2WKB4chu1bz3/cKtfWrud6HiUCu4aksBTIM
 GuQIQJBEWAOXEWAQVHlJLino9faoaCUAe+3Lv2GZrvry6QWbM2znce9w69Jqgi3Y92IOmh+A
 vY73EtaQH0/HN7WzjwLQipRjCnNas+HuD+2/TBxpc2ktvG3SETo/4TqafMaPdh0+h+wiLuOL
 KbJ3nc/cG4EkMhUgySUgLEElEYfkSRvayWgHfwbuCjBQbiR/80fRx8XZiVvNddZuqc13w1DI
 8ne2Zv+0r91iOJwCk8QDAaw3JjxOYpReyfmaACiZg7DLrmNKDzVztuiZKq9TecVl+BIr1iqv
 j3dFUb/PzOFnj2vVha1MOgKgjvIWX4W8Iy7bBtpDnDuCdz8bRjueuRNtmVj06wQqSb0DjsEN
 jxtb05GrruR9D5VxPJlFDlI6nNja/KPmyOY8/XwIJELt/BmGWJxy/Ic5241gegwjmkMVLlul
 S3eo8Q76WqcqbHa2CtDf09wkWNTg4aaoUhpOaPY74RNH3He80cE6WyWTQ8Bp95kFsHHsadNz
 NPCj+T2dCcE9Mjbt5h5ZYCcOIeMN3wvNgDsETjfAV4eTDKlAmrYglRUjPCY8nDG5oh/sJXnn
 4ACD6NKTFFgXOgCBB4jRJZRRfU/FiNhi7OQi9QEoGazvAWEDt5CsMqBDrWKG/yrLTiDirwMJ
 BJaxKOha5wUMpzn1kdibFhjgYmMHFDfOLIF6m5oPAok+gNV93xvUmA420Tkcx6gpngJGrb3l
 0wzmlA4eeMp5Svh6FcxJ0PXqW03ikZU+52twjGJLmyrdP/pD90PB3Km7hpgbp/2EVQqNlO+z
 xM4a2+MArtVi/EImXlDsAbHotMPHPddSfcBexoM3bSNYP5u111AqyKhzEsB5O3fCJIkmhF4O
 ZKrqntB3UpkYrtXbeTII7FVy1FLmq+Uliq4j6YpxwsPO0sG8GWTYTMF/ksSOfEqKjGp8epl9
 QGZ02IZKS5VD6Zs+aosrR91Mv/lrWqoy7NZL0GtK+GTZ7iUvWTNj4/AQ1890F8Ji1gQ/bVy1
 pRreE6VWkYzibqJQk1TZIybcV0TNJIUrySAGETG+f/Ayp90IYinQ+XhTOvU8b0RnlrhBgEiW
 YIF8sUGGJColkDeN8buarAfmnBPrEzmIkuICPNRdVeFijAC9ouE9qQviJtMAh5IP14oKSKz9
 6rarQ8sgeOeUZExeHhPV48NMDQtU82/mjJFl35HET+83/lfzVSSqTjmqW6DaVu0J8omf/qSa
 R52XZuu/i4j9qGtlVPN2pDOfifiMtBzptLE6eUbvouKTfROQvMu1iWU05kdTHusXWnVFNezL
 JWlcIggY+v/DXOiW0C+gTY4HI/hecygJa+SjUT0VJ5Z5cOFiSs7O5b3RVR8U19g4vsO76Vma
 UgfboonNFT24h8mOfX3KU/d29GqCQ5FxhNcSORZxuihIbkL32wrdODokRPIq7kiyO2m7UMGR
 JcLlwzTg/G5aNsHOcASMnlNIkPXoi4oi2VqNuAz2/oyhhTSvgtFWw0=
IronPort-Data: A9a23:lvtRNKxFXtDpGMsW/Yp6t+e5wCrEfRIJ4+MujC+fZmUNrF6WrkUDm
 jQdUD2GbquOZGH2c9lxbY218xkPvMDQnNFrHgU+r1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t
 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrdRbrJA24DjWVvQ4
 Iuq+aUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf
 Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhO2
 s5vhLiwbTwLM5DAitYsDUlgMB1xaPguFL/veRBTsOSW3xSAa3zo0uljB0EwPJQF96BwG24mG
 f4wcWpcKEnb26TtmPTgFoGAhex7RCXvFLglgSk13yD9IqMYesXbRKHb+dJT3DExn91DW/HEa
 J8QbTNpKg/LYxhOJks/ApUjmuylnT/6Ly0er0iazUYyyzOOkVIuiuC2WDbTUt+PZORzjBuln
 U7hpTv4CSgrd8CG2SXQpxpAgceWwXKqB9JNfFGizdZhiViXg2gSEwE+Tkq+ufD/i0ikWtsZJ
 VZ8x8Y1ha0irQqzSd3sQxCzoHiFpwMRHd1KHIXW9T1h1ILr8R27N0wEagVjZeEqpv0HG2wS9
 WOGyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVdZizUEiN1u5i8jXuqPA4bp3oOoRGCYL
 ySi9nRk3+17Ydsjjv3TwLzRv967jrbzJuLfzj/WRSeC9Ap/a4++D2BDwQmCtK0YRGp1ZvJnu
 HVBl8XbwvoHC5qA/BFhrc0IDOjv//GBISHRil5pHoA8+nKq4XHLkWFsDNNWeRcB3iUsIGGBj
 KrvVeV5v8c70JyCNvQfXm5JI552pZUM7Py8PhwuUvJAY4JqaCiM9zx0aEib0gjFyRZxy/hlY
 MrLLJ30XR727JiLKhLoGY/xNpd1nUgDKZ/7Hsujp/ha+efGOSbLE+tt3KWmN7xjtfnsTPrpH
 yZ3bpfbmkoPD4USkwHN/IgaMV0QRUXX9riow/G7gtWre1I8cEl4U6+56ep4K+RNwvoJ/s+Vo
 CDVchIImTLX2CycQS3XOyELQO20B/5X8ylkVRHAyH7ygBDPl67ztPhAH3b2FJF7nNFeIQlcF
 adaIZnQWaQfItkFkhxEBaTAQEVZXEzDrWqz0+CNOVDTprZsGF7E/MHKZAzq+HVcBya7r5Jj8
 benywXQTIFFQlhySsHMZ6v3nV+2uHEcnsN0XlfJc4ICIx21q9IzJnyjlOIzLuENNQ7HmmmQ2
 TGQDEpKvuLKuYI0rITEiPnc/YekGudzBGRAGGzf4erkPCXW5DP8k5dHVPeUcDvdUmLt5ajkY
 v9alqmuPPoClVdMkox9D7c6lPJut4G3/+dXl102Em/KYlKnDqJbDkOHhcQf5LdQwrJ5uBetX
 h7d8NdtP7jUatjuF0QcJVZ4Y+mOiaMUlz3V4ahnKUn2/nUurr+XCANKOB2dlCFWLL10KZ4oh
 +A7t5dOuQC4jxMrNPeAjzxVpj3cfixaC/1/u8FIGpLvhyoq1kpGP87WBBj215fTOd9CBU8nf
 22Pj63YirUAnUfPLygpGX7W0bYPjJgCokoTnloSfhKRnd7UmvI83BtQ6Ck6CANPwUwfge50P
 2FqMWxzJLmPrm441JgZBzj0FlETHgCd92zw10ANyj/TQX6oYWqRfmczDuCAoRIC+GVGczkHp
 7yVxQ4Ji9oxkB0dA8fzZaJklxAnZdlhr0van8S2A8mOH587eCfoxKi0agLkbjP5VNgpihSvS
 fZCpY5NhW/TbEb8YJHXz6GQ0qkWQx2fYmkeUbdm5qxh8aT0Yym8g37WQ6yuUpolGhEJmHNUz
 +R2IcZeSxm11CCPty0WQ6kWLNeYWdYy/NRYPOuDyXEu6tOik9aijH4cGuUSSoPmrxWCXPvR8
 r/sSg8=
IronPort-HdrOrdr: A9a23:aAvPya2BX16LLPWJ+GaCwAqjBLwkLtp133Aq2lEZdPUnSKylfq
 GV9sjzuiWZtN98YgBEpTnEAtjlfZq+z/FICOsqUItKNTOO0ACVxcNZnOjfKlbbehEWmNQtt5
 uIP5IRNDWsYGIK6vrH3A==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="5.91,214,1647298800"; 
   d="scan'208,217";a="35567203"
X-MGA-submission: =?us-ascii?q?MDH0zJwpQwlp26k0DNZKXj+RACuKku+ywbkF6A?=
 =?us-ascii?q?1ZrDWjIWFy/dld6E/Jm1criSAPjPUZa9e7KZeaT4wCKd8CYw27sGDQpA?=
 =?us-ascii?q?CAyXD1xtRizAG2eaDmirJ7BGdYPYptWFL49i2w669hRux1YxGZiFeNts?=
 =?us-ascii?q?ioIfvDqgNqu1O9eeav1oW8QQ=3D=3D?=
Received: from mx1.polytechnique.org ([129.104.30.34])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 May 2022 14:30:58 +0200
Received: from set (set.irisa.fr [131.254.10.170])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by ssl.polytechnique.org (Postfix) with ESMTPSA id 0AD93565ABD;
	Tue, 10 May 2022 14:30:57 +0200 (CEST)
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "lwn" <lwn@lwn.net>, "cwn"  <cwn@lists.idyll.org>, caml-list@inria.fr
Date: Tue, 10 May 2022 14:30:56 +0200
Message-ID: <87tu9x4lj3.fsf@m4x.org>
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="=-=-="
X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue May 10 14:30:57 2022 +0200 (CEST))
X-Spam-Flag: No, tests=bogofilter, spamicity=0.087378, queueID=5A4B9565ABF
X-Org-Mail: alan.schmitt.1995@polytechnique.org
Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News
Reply-To: Alan Schmitt <alan.schmitt@polytechnique.org>
X-Loop: caml-list@inria.fr
X-Sequence: 18760
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2022-05/87tu9x4lj3.fsf%40m4x.org>

--=-=-=
Content-Type: multipart/alternative; boundary="==-=-="

--==-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64

SGVsbG8NCg0KSGVyZSBpcyB0aGUgbGF0ZXN0IE9DYW1sIFdlZWtseSBOZXdzLCBmb3IgdGhlIHdl
ZWsgb2YgTWF5IDAzIHRvIDEwLA0KMjAyMi4NCg0KVGFibGUgb2YgQ29udGVudHMNCuKUgOKUgOKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQpNdWx0aWNvcmUg
T0NhbWw6IE1hcmNoIDIwMjINCk9sZCBDV04NCg0KDQpNdWx0aWNvcmUgT0NhbWw6IE1hcmNoIDIw
MjINCuKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKV
kOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkA0KDQogIEFyY2hpdmU6DQogIDxodHRwczovL2Rp
c2N1c3Mub2NhbWwub3JnL3QvbXVsdGljb3JlLW9jYW1sLW1hcmNoLTIwMjIvOTY5Mi8zPg0KDQoN
CkRlZXAgaW4gdGhpcyB0aHJlYWwsIEtDIFNpdmFyYW1ha3Jpc2huYW4gYW5ub3VuY2VkDQrilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIANCg0KICBUaGUgYmVuY2htYXJrcyBmcm9t
IHRoZSAiUmV0cm9maXR0aW5nIEVmZmVjdCBoYW5kbGVycyB0byBPQ2FtbCIgUExESQ0KICAyMDIy
IHBhcGVyICg8aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIxMDQuMDAyNTA+KSBpcyBhdmFpbGFibGUg
aGVyZToNCiAgPGh0dHBzOi8vZ2l0aHViLmNvbS9wcmlzbWxhYi9yZXRyby1jb25jdXJyZW5jeS90
cmVlL21hc3Rlci9iZW5jaD4uIFNlZQ0KICBzZWN0aW9ucyA2LjIgYW5kIDYuMyBpbiB0aGUgcGFw
ZXIuDQoNCg0KSGUgbGF0ZXIgYWRkZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgA0KDQogIEkndmUgbW92ZWQgdGhlIG1pY3JvYmVuY2htYXJrcyBhbG9uZSB0byBh
IHNlcGFyYXRlIHJlcG86DQogIDxodHRwczovL2dpdGh1Yi5jb20vcHJpc21sYWIvcmV0cm8tY29u
Y3VycmVuY3ktYmVuY2g+LiBUaGlzIHJlcG8gYWxzbw0KICBjb250YWlucyBpbnN0cnVjdGlvbnMg
dG8gcnVuIHRoZSBkb2NrZXIgY29udGFpbmVyIHRoYXQgcnVucyB0aGUNCiAgYmVuY2htYXJrcyBm
cm9tIHRoZSBwYXBlciB3aXRoIHRoZSBjdXN0b20gY29tcGlsZXIgdmFyaWFudHMuDQoNCg0KT2xk
IENXTg0K4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgSWYgeW91IGhhcHBlbiB0byBtaXNzIGEg
Q1dOLCB5b3UgY2FuIFtzZW5kIG1lIGEgbWVzc2FnZV0gYW5kIEknbGwgbWFpbA0KICBpdCB0byB5
b3UsIG9yIGdvIHRha2UgYSBsb29rIGF0IFt0aGUgYXJjaGl2ZV0gb3IgdGhlIFtSU1MgZmVlZCBv
ZiB0aGUNCiAgYXJjaGl2ZXNdLg0KDQogIElmIHlvdSBhbHNvIHdpc2ggdG8gcmVjZWl2ZSBpdCBl
dmVyeSB3ZWVrIGJ5IG1haWwsIHlvdSBtYXkgc3Vic2NyaWJlDQogIFtvbmxpbmVdLg0KDQogIFtB
bGFuIFNjaG1pdHRdDQoNCg0KW3NlbmQgbWUgYSBtZXNzYWdlXSA8bWFpbHRvOmFsYW4uc2NobWl0
dEBwb2x5dGVjaG5pcXVlLm9yZz4NCg0KW3RoZSBhcmNoaXZlXSA8aHR0cHM6Ly9hbGFuLnBldGl0
ZXBvbW1lLm5ldC9jd24vPg0KDQpbUlNTIGZlZWQgb2YgdGhlIGFyY2hpdmVzXSA8aHR0cHM6Ly9h
bGFuLnBldGl0ZXBvbW1lLm5ldC9jd24vY3duLnJzcz4NCg0KW29ubGluZV0gPGh0dHA6Ly9saXN0
cy5pZHlsbC5vcmcvbGlzdGluZm8vY2FtbC1uZXdzLXdlZWtseS8+DQoNCltBbGFuIFNjaG1pdHRd
IDxodHRwczovL2FsYW4ucGV0aXRlcG9tbWUubmV0Lz4NCg0K
--==-=-=
Content-Type: text/html
Content-Disposition: inline

<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<!-- 2022-05-10 Tue 14:29 -->
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>OCaml Weekly News</title>
<meta name="generator" content="Org Mode" />
<style>
  #content { max-width: 60em; margin: auto; }
  .title  { text-align: center;
             margin-bottom: .2em; }
  .subtitle { text-align: center;
              font-size: medium;
              font-weight: bold;
              margin-top:0; }
  .todo   { font-family: monospace; color: red; }
  .done   { font-family: monospace; color: green; }
  .priority { font-family: monospace; color: orange; }
  .tag    { background-color: #eee; font-family: monospace;
            padding: 2px; font-size: 80%; font-weight: normal; }
  .timestamp { color: #bebebe; }
  .timestamp-kwd { color: #5f9ea0; }
  .org-right  { margin-left: auto; margin-right: 0px;  text-align: right; }
  .org-left   { margin-left: 0px;  margin-right: auto; text-align: left; }
  .org-center { margin-left: auto; margin-right: auto; text-align: center; }
  .underline { text-decoration: underline; }
  #postamble p, #preamble p { font-size: 90%; margin: .2em; }
  p.verse { margin-left: 3%; }
  pre {
    border: 1px solid #e6e6e6;
    border-radius: 3px;
    background-color: #f2f2f2;
    padding: 8pt;
    font-family: monospace;
    overflow: auto;
    margin: 1.2em;
  }
  pre.src {
    position: relative;
    overflow: auto;
  }
  pre.src:before {
    display: none;
    position: absolute;
    top: -8px;
    right: 12px;
    padding: 3px;
    color: #555;
    background-color: #f2f2f299;
  }
  pre.src:hover:before { display: inline; margin-top: 14px;}
  /* Languages per Org manual */
  pre.src-asymptote:before { content: 'Asymptote'; }
  pre.src-awk:before { content: 'Awk'; }
  pre.src-authinfo::before { content: 'Authinfo'; }
  pre.src-C:before { content: 'C'; }
  /* pre.src-C++ doesn't work in CSS */
  pre.src-clojure:before { content: 'Clojure'; }
  pre.src-css:before { content: 'CSS'; }
  pre.src-D:before { content: 'D'; }
  pre.src-ditaa:before { content: 'ditaa'; }
  pre.src-dot:before { content: 'Graphviz'; }
  pre.src-calc:before { content: 'Emacs Calc'; }
  pre.src-emacs-lisp:before { content: 'Emacs Lisp'; }
  pre.src-fortran:before { content: 'Fortran'; }
  pre.src-gnuplot:before { content: 'gnuplot'; }
  pre.src-haskell:before { content: 'Haskell'; }
  pre.src-hledger:before { content: 'hledger'; }
  pre.src-java:before { content: 'Java'; }
  pre.src-js:before { content: 'Javascript'; }
  pre.src-latex:before { content: 'LaTeX'; }
  pre.src-ledger:before { content: 'Ledger'; }
  pre.src-lisp:before { content: 'Lisp'; }
  pre.src-lilypond:before { content: 'Lilypond'; }
  pre.src-lua:before { content: 'Lua'; }
  pre.src-matlab:before { content: 'MATLAB'; }
  pre.src-mscgen:before { content: 'Mscgen'; }
  pre.src-ocaml:before { content: 'Objective Caml'; }
  pre.src-octave:before { content: 'Octave'; }
  pre.src-org:before { content: 'Org mode'; }
  pre.src-oz:before { content: 'OZ'; }
  pre.src-plantuml:before { content: 'Plantuml'; }
  pre.src-processing:before { content: 'Processing.js'; }
  pre.src-python:before { content: 'Python'; }
  pre.src-R:before { content: 'R'; }
  pre.src-ruby:before { content: 'Ruby'; }
  pre.src-sass:before { content: 'Sass'; }
  pre.src-scheme:before { content: 'Scheme'; }
  pre.src-screen:before { content: 'Gnu Screen'; }
  pre.src-sed:before { content: 'Sed'; }
  pre.src-sh:before { content: 'shell'; }
  pre.src-sql:before { content: 'SQL'; }
  pre.src-sqlite:before { content: 'SQLite'; }
  /* additional languages in org.el's org-babel-load-languages alist */
  pre.src-forth:before { content: 'Forth'; }
  pre.src-io:before { content: 'IO'; }
  pre.src-J:before { content: 'J'; }
  pre.src-makefile:before { content: 'Makefile'; }
  pre.src-maxima:before { content: 'Maxima'; }
  pre.src-perl:before { content: 'Perl'; }
  pre.src-picolisp:before { content: 'Pico Lisp'; }
  pre.src-scala:before { content: 'Scala'; }
  pre.src-shell:before { content: 'Shell Script'; }
  pre.src-ebnf2ps:before { content: 'ebfn2ps'; }
  /* additional language identifiers per "defun org-babel-execute"
       in ob-*.el */
  pre.src-cpp:before  { content: 'C++'; }
  pre.src-abc:before  { content: 'ABC'; }
  pre.src-coq:before  { content: 'Coq'; }
  pre.src-groovy:before  { content: 'Groovy'; }
  /* additional language identifiers from org-babel-shell-names in
     ob-shell.el: ob-shell is the only babel language using a lambda to put
     the execution function name together. */
  pre.src-bash:before  { content: 'bash'; }
  pre.src-csh:before  { content: 'csh'; }
  pre.src-ash:before  { content: 'ash'; }
  pre.src-dash:before  { content: 'dash'; }
  pre.src-ksh:before  { content: 'ksh'; }
  pre.src-mksh:before  { content: 'mksh'; }
  pre.src-posh:before  { content: 'posh'; }
  /* Additional Emacs modes also supported by the LaTeX listings package */
  pre.src-ada:before { content: 'Ada'; }
  pre.src-asm:before { content: 'Assembler'; }
  pre.src-caml:before { content: 'Caml'; }
  pre.src-delphi:before { content: 'Delphi'; }
  pre.src-html:before { content: 'HTML'; }
  pre.src-idl:before { content: 'IDL'; }
  pre.src-mercury:before { content: 'Mercury'; }
  pre.src-metapost:before { content: 'MetaPost'; }
  pre.src-modula-2:before { content: 'Modula-2'; }
  pre.src-pascal:before { content: 'Pascal'; }
  pre.src-ps:before { content: 'PostScript'; }
  pre.src-prolog:before { content: 'Prolog'; }
  pre.src-simula:before { content: 'Simula'; }
  pre.src-tcl:before { content: 'tcl'; }
  pre.src-tex:before { content: 'TeX'; }
  pre.src-plain-tex:before { content: 'Plain TeX'; }
  pre.src-verilog:before { content: 'Verilog'; }
  pre.src-vhdl:before { content: 'VHDL'; }
  pre.src-xml:before { content: 'XML'; }
  pre.src-nxml:before { content: 'XML'; }
  /* add a generic configuration mode; LaTeX export needs an additional
     (add-to-list 'org-latex-listings-langs '(conf " ")) in .emacs */
  pre.src-conf:before { content: 'Configuration File'; }

  table { border-collapse:collapse; }
  caption.t-above { caption-side: top; }
  caption.t-bottom { caption-side: bottom; }
  td, th { vertical-align:top;  }
  th.org-right  { text-align: center;  }
  th.org-left   { text-align: center;   }
  th.org-center { text-align: center; }
  td.org-right  { text-align: right;  }
  td.org-left   { text-align: left;   }
  td.org-center { text-align: center; }
  dt { font-weight: bold; }
  .footpara { display: inline; }
  .footdef  { margin-bottom: 1em; }
  .figure { padding: 1em; }
  .figure p { text-align: center; }
  .equation-container {
    display: table;
    text-align: center;
    width: 100%;
  }
  .equation {
    vertical-align: middle;
  }
  .equation-label {
    display: table-cell;
    text-align: right;
    vertical-align: middle;
  }
  .inlinetask {
    padding: 10px;
    border: 2px solid gray;
    margin: 10px;
    background: #ffffcc;
  }
  #org-div-home-and-up
   { text-align: right; font-size: 70%; white-space: nowrap; }
  textarea { overflow-x: auto; }
  .linenr { font-size: smaller }
  .code-highlighted { background-color: #ffff00; }
  .org-info-js_info-navigation { border-style: none; }
  #org-info-js_console-label
    { font-size: 10px; font-weight: bold; white-space: nowrap; }
  .org-info-js_search-highlight
    { background-color: #ffff00; color: #000000; font-weight: bold; }
  .org-svg { width: 90%; }
</style>
<style type="text/css">#table-of-contents h2 { display: none } .title { display: none } .authorname { text-align: right }</style>
<style type="text/css">.outline-2 {border-top: 1px solid black;}</style>
</head>
<body>
<div id="content" class="content">
<h1 class="title">OCaml Weekly News</h1>
<p>
<a href="https://alan.petitepomme.net/cwn/2022.05.03.html">Previous Week</a> <a href="https://alan.petitepomme.net/cwn/index.html">Up</a> <a href="https://alan.petitepomme.net/cwn/2022.05.17.html">Next Week</a>
</p>

<p>
Hello
</p>

<p>
Here is the latest OCaml Weekly News, for the week of May 03 to 10, 2022.
</p>

<div id="table-of-contents" role="doc-toc">
<h2>Table of Contents</h2>
<div id="text-table-of-contents" role="doc-toc">
<ul>
<li><a href="#1">Multicore OCaml: March 2022</a></li>
<li><a href="#org7a61900">Old CWN</a></li>
</ul>
</div>
</div>


<div id="outline-container-1" class="outline-2">
<h2 id="1">Multicore OCaml: March 2022</h2>
<div class="outline-text-2" id="text-1">
<p>
Archive: <a href="https://discuss.ocaml.org/t/multicore-ocaml-march-2022/9692/3">https://discuss.ocaml.org/t/multicore-ocaml-march-2022/9692/3</a>
</p>
</div>

<div id="outline-container-org9085d9f" class="outline-3">
<h3 id="org9085d9f">Deep in this threal, KC Sivaramakrishnan announced</h3>
<div class="outline-text-3" id="text-org9085d9f">
<p>
The benchmarks from the "Retrofitting Effect handlers to OCaml" PLDI 2022 paper (<a href="https://arxiv.org/abs/2104.00250">https://arxiv.org/abs/2104.00250</a>) is
available here: <a href="https://github.com/prismlab/retro-concurrency/tree/master/bench">https://github.com/prismlab/retro-concurrency/tree/master/bench</a>. See sections 6.2 and 6.3 in the
paper.
</p>
</div>
</div>


<div id="outline-container-org98fe64c" class="outline-3">
<h3 id="org98fe64c">He later added</h3>
<div class="outline-text-3" id="text-org98fe64c">
<p>
I've moved the microbenchmarks alone to a separate repo: <a href="https://github.com/prismlab/retro-concurrency-bench">https://github.com/prismlab/retro-concurrency-bench</a>. This
repo also contains instructions to run the docker container that runs the benchmarks from the paper with the custom
compiler variants.
</p>
</div>
</div>
</div>




<div id="outline-container-org7a61900" class="outline-2">
<h2 id="org7a61900">Old CWN</h2>
<div class="outline-text-2" id="text-org7a61900">
<p>
If you happen to miss a CWN, you can <a href="mailto:alan.schmitt@polytechnique.org">send me a message</a> and I'll mail it to you, or go take a look at <a href="https://alan.petitepomme.net/cwn/">the archive</a> or the <a href="https://alan.petitepomme.net/cwn/cwn.rss">RSS feed of the archives</a>.
</p>

<p>
If you also wish to receive it every week by mail, you may subscribe <a href="http://lists.idyll.org/listinfo/caml-news-weekly/">online</a>.
</p>

<div class="authorname" id="org9cf4e36">
<p>
<a href="https://alan.petitepomme.net/">Alan Schmitt</a>
</p>

</div>
</div>
</div>
</div>
</body>
</html>


--==-=-=--

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Pour une =C3=A9valuation ind=C3=A9pendante, transparente et rigoureuse !
Je soutiens la Commission d'=C3=89valuation de l'INRIA.

--=-=-=--