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 ESMTPS id AFBB45D5
	for <caml-list@inbox.ocaml.org>; Tue,  8 Feb 2022 13:16:31 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.88,352,1635199200"; 
   d="scan'208,217";a="20284640"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 08 Feb 2022 14:16:30 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 89E11E0382; Tue,  8 Feb 2022 14:16:30 +0100 (CET)
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 13DAEE037F
	for <caml-list@sympa.inria.fr>; Tue,  8 Feb 2022 14:16:28 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Pass smtp.pra=alan.schmitt@polytechnique.org; spf=Pass smtp.mailfrom=SRS0=uK63=SX=polytechnique.org=alan.schmitt@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org
IronPort-SDR: IOziLJDlQWE1Z0w+nFHQPi10/3LQR8s/j29Q0h3TjnKYSmXAuM153W+uCbsNhTUFFOk4UJNarp
 Dx+o8b9ZngDO6lBfk+b8Fvz6eUOc9UQKHaI4Y8Lf+SJjGNtlHldBNf0+aOkT8nPhG3AcO6BOa0
 r/iaz1FXtGx+TfJEv9jnSUcUAS2H8+G9qodEpibi/v/nUN8aQ8WpKtb0L2Dd8y3TgNGuZlfVSF
 JLtRKRo8BDkVUlLdqmIxfKmUUXqvkb1XDEXHfDv3jGm2w5v25MtZSQRRnccifhUCUaZtcKRcJh
 uYb7UvMZ/dnAH0kU6+mabZ2o
X-IPAS-Result: =?us-ascii?q?A0AmBwDPbAJihyIeaIFaHAEBATwBAQQEAQECAQEHAQGBc?=
 =?us-ascii?q?YEfGwIBOy4ZAWRXKwcIQgKEUokGhUUBgkqJTJURAQMBDRICFgEOBQECBAEBh?=
 =?us-ascii?q?R46AQSDEQIeBgEFMxMBAgQBAQEBAwIDAQEBAQEBAwEBBQEBAQIBAQIDBAETA?=
 =?us-ascii?q?QEBAQ0LCQUICgcQDgU8ZGQEgUsEgXQLNA2CIhMMGYNtAwEhCmUjAxsDAgQNA?=
 =?us-ascii?q?RcBFAoXARIagmoBgxYFCpAOnAyBMYEBg04BAwIBhESBZA0CFIEVAgEBAYYJV?=
 =?us-ascii?q?EqDAYQGKRCBVUSECAdugkELFwEBAQEBgTsBAYM4gmUEkjkOCzOBAAoGExYBA?=
 =?us-ascii?q?VgQKFhEBhgtkWEMISWYCJUMNAeDSYE4BguIHYEcjHGEU4NMg3KBTIUXhT2Xe?=
 =?us-ascii?q?yGWKSCJF4EYgkOUEhYghRaBTiqBfjMaMEOCaQlFAQMCDQECAgMBAgECCQEBA?=
 =?us-ascii?q?o11AYQYgT6DGzuFS0AzAgEBCSsCBgEKAQEDCYVjAQEFEwsBigtaAQE?=
IronPort-PHdr: A9a23:a3Cm+BHwcKt/yFaMK9rktZ1GfxNDhN3EVzX9CrIZgr5DOp6u447ld
 BSGo6k31hmUA86CsagMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G
 MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5YPfbx9IiTe8br9+M
 Qu6oRvMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q
 rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+u7
 6RlSBn2iCcGLD458XrYishug6lGrhOhoAZ/zJPPYIqIMPZzcL/RcdYcSGFcXMheSjZBD5u8Y
 YUREuQPM+VWoIbhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB84DsHDOo9XzKawcT
 Py6zKnNzTXCc/NWxSr25Y/SfRAlu/6MW6h8cdHNxkkvEgPFj0mQqZD+MjON0eQNt2ia7/Z+W
 u2zi24nrQBxoiGyxsgykIXJgZgVyl/d+Ch/3Y06KsG2RlRhbt64DJtfqTuaN41uT888QGxlt
 iU3xqMIt5OlfiUEx4gryh3CZvKIboWF4hPuWPueLDp2hHxreLGyigu8/0Wi1uHxVNe53UpXo
 iZZkNTBsG0G2RLU6siCUPR9/0Gh1C6X1w/N9uFEIFw0mrTDK54mx74wk4QcvV7FHiDohEX6l
 KiWeVk+9eit7+TreLLmpoWTN4NshAH+L6IuldCjAeQ/KAgOXnKX9vi71L3m5UH5QbNKjuc3k
 qbDqpzaK94bqra3Aw9PyIkj7gywAy6639gCgXYHK1dFdAqIj4joJ1HOIO34Auylj1uwlzdrw
 ujKPrz8DZTNKnjDlK3tfbFn605Tzgc40NNR54pMB70cPv7+XlX9uMHEAhI2KQC5zfrrBM9z2
 44RQW6DH6GUPL7IvVOW5u8iLPOAaJIJtDrnNvQo5eLigHkkklEHZ6apx4EYaHWgE/RmPUqZZ
 X3sj88EEWYFowYyVvTqiFqGUT9Te3a9Qb4z5jE9CIKnFIfDW56ijKaG3CehEZ1afmFGClaSH
 nf0b4iIRukAZSaILsN8jjAJWqKtRoE92R20ugL3xKJrLu/O9S0ZsZLj2sJ15+rWlRwq6DJ6E
 9mT332VQmFpm20FRjE70bhir0N80lqDya94g/hYFNxP+fxGTgc6NZjdz+xjFtD9RBjNftCTS
 FapWtipGzUxQcg3w9MUeEZyB9WijhXC3yq2H78YjKeEBJsp8qLaw3f+Od19x2zD1KQugFgqW
 MxPNXephqJn8QjcHJbGk1+FmKayaaQcwCnN+X+ewWaWpkFXTBZwUbnZXXAYfkbZsc725kbGT
 7O3DbQnMxBBydKZJ6tRatzpiE1GS+35NNTfZWKxgWawCgySyrOCdoq5M1kaiW/ZF05O21QX4
 nCuMRc4QCGsvzSaRHZlClSlKwu4+vZ4gHe6VVMviQCGfkllkb2v9UhRzfeVTvdW2rMfpA8gr
 S91FRCzxYH4Ed2F8iNldaMUWtg95VZbySqNvgh0ONq7JKBnh0ICWxxwu1Ly2h53DIRZjMVsq
 2klmlkhYZmE2U9MImvLlav7PafafzKqlPjOQ6vf21WFlc2T5r9K8/Mg7VPqoACuEEMmtXRhy
 dhclXWGtd3RFARHaZvqSQ4s8gRi4anAa3w044rSk2ZnMay1riPqw9UtFfcowRamfs5CPeWDD
 gChW9YCCZ2WIfcx00OscgpCOelT8KAuOMbzTMG9gPu2H7g7yQmW2HxA5JFh30mM8StlV+OO2
 IwKlvic1w3BTDz8iVa9ruj9np1CbjwJWG/j2W7jHoECLrZqc9MzAHy1a9ay2s04h5PpXCtA8
 0W/AlodxMKzUR+CNhrl2glByUkcoXqmgDa1iTtunFnFt4Kn1TfVi6TnfRsDYStQQXV6yEzrO
 c6yhswbW06ha04okgGk7AD03foTqKN6JmjVCUBGGkq+Z2hmW632rbGCZs9T9LswtiFGTOm3Y
 VabU6Pw5RwA3GvvEnBfyzYyazyx8syjzloj0D7bdy419yaRcNoVp1+X/NHGQP9NwjcKDDJ1j
 zXaHBn0PtWk+8mVi4aWqvq3BCqqUpxedzWuzJvV7XHqozQyXVvkx7boxo6Cc0ByyyLw2th0W
 D+dqR/9ZtKuzKGmKad8eVEuAlbg6s18E4U4k40qhZhW12JJ4/fdtXcBj2r3Ns1WnKzka39YD
 wUx+IaA/Su7gxhYHieRwIboSniWws1gfsS3JGQM1Xc068lMTryf7LlFgTddqF2lqwncer54w
 idbzuEhoi1/4alBqE82wyORD6pHV0BcNCqqjB+I6tGisI1PY2K+bbW71Ex/hM2sSraYrUsPP
 RSxModnFih24MJlNVvK23Cm8YDodu7batcLvwGVmRPN3KBFbYg8nf0QiW97KHrw6Dc+0+Bhy
 0QkjvTY9MCXbn9g96WjDltEOy3pMokI4j+3y/4Zhtyfm4WhBJJkUnYCDp74FLSwFzYDqfnsN
 wCPCSAx7HCBFt+9VUfc4RVjvyiJC5evJm2aL3kfzMx/SV+aPkMXwwlGWSVh2IY+EhG2ycfhd
 kZg+z1X4UT3z3kEgqFpL0etCD+H/VX0MztsGsHNfUZa41MQuByLPZ7Bsr0rV2RR+pnrxOCUA
 lSSfB8ATWQAW0jfQkvmIqHr/t7Yte6RGuu5KfLKJ7SIs+1XEfmSl9qj1Y5v/jDEMcvqXDEqN
 McAgh9efi4iTv/pzi0ITz0LminNac+CuRr6/Td4+8m7+fKtQwnv4IqTF5NYNshp8B2tx6LfJ
 6iXnikcS34Q2p4XxHDOwaQSxxZL0XAoLmHxV+9Y83WRBKvL0rdaFRsadz9+OINT4qQw0xMMX
 KyTwtL527hkj+IkXlJMVFjvgMasNoQBJ2CwMk+CBV7ebe7XY2STn4esOeXnFe417q0crRC7t
 DeFHlW2Oz2Ck2KsTBWzKaRXizndOhVCuYa7exIrCG75TdugZAfoVb0/xTAw37AwgWvHcGAGN
 j0pOXh3leXF8AAG2aBEKzlZ6X50MeSPmyCY9vTVbJEMvq5iBi1y0flR4HE716d95iZZQvd4g
 23X8s4opEup2LrqqHIvQF9VpzBHiZje935YAv2M67oeAiP/zEcV6mGBFxkBp91kE8Di/adKx
 Y3GkKv1bixJ89fV4dc0Dc/JLsmKKzwkbQqvHyTbRlhgL3bjJSTUgEpTl+uX/3ueo80hq5Tir
 5EJT6dSSF0/Ev5JQlQgBtEJJ417Gy81ibPOxtUQ6yD49FOCIacS9oCCTP+ZBu/jbSqUnaURL
 QAQz+m+dcMLLIS/3kJ4bVwy342YHlqJG8hKpjx9YwQ0pkRU7XU4SXc8viCtIkCksnoDT7ism
 RonlgZ1YeIs7SrhpVAtKRKJrXk1gBJ3gdLhkCycez73Lb6tUMdRESWR1QB5cZLjHVQvNVXrz
 xA9OG+WHuAA07dtJzI001HQ68QTRqYUCKRAZFV4Kei/X/wzyhwcryymwRQC/u7ZEd55kxNsd
 5ewrnVG0gYlbdgvJKWWKrAbhlRXg6uPuGev2IVTiEcGIF0R9WqJZCMSkEkYb/8+IC654uFn6
 QqDgiZOPm8WWLImr+lr+UU0J+mbh3u6gvgachz3bLTZdP/RsnOl94bAWl4q00IUi0RJtaN71
 8suaQvcVkwiyqeQCwVcNcfGLlIdZM5T+X7POCeW5LyXkNQsZ9n7TbiuFrPd0cRcylipFwsoA
 YkWu8EIH533lVrdMd+iN7kdjxMk+AXsIlyBSvVPYhOC1jkd8KTdhNd625dQIjYFDCBzKyKys
 /zsnDRy1eegAoxjWUdPRowAJ247U828mjdEsjJHFjbi2+YQzk6Z5D/5pzjMJDP7ctxoaezSY
 E98Ttas9n9slsr+wU6S6ZjYK2zgYJ56vcTT7OoBu5udI/ZEFP9ltEPNh4RTR3qrSnPCV9mvK
 NKjDutkJcyxAXG8XFuljjszRMqkJ9ehIJ+DhgTwTJpVuo2Wj3gzcNWwHTYEF1JstvkOsehiM
 BYbbcNxMnuK/0wucrayKwCC3pCyTnaxfHFIGuJHw7zybvQSxi4oJIdSLVM4SZUr0+S88UgMX
 YwHyBbEyqT6D2G/eS3jQzpFfAHeuScyl25gL/s/hOAlz0GR2bHzGzqMaepiZXcCuo0sQ1SIL
 icvYlc=
IronPort-Data: A9a23:xld3hqoIEDsKvoyteD3Gw6aqRqheBmKWYxIvgKrLsJaIsI4StFCzt
 garIBmPO/fcYWPyfI9ybIS2801QuJTXzINjHQZo+HxjRCtD8ePIVI+TRqvSF3PLf5ebFCqLz
 O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0YjR7z+l4
 4uo+ZWFYA/9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd
 M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx
 umhurSye1YNPvaUod1GXiR9TGJVNKMX/LrudC3XXcy7lyUqclPp06woFEYyLJEV8eZxAHhT+
 LofMj9lghKr3rjnhuvjFq833oJ4cKEHP6tH0p1k5QrjNq5zXLOdGPDx1YpA2zMhms1FHfDff
 tcULz11Y0HJZxRJfEwcCJc/gPuAjH7idTZVsxSQ+bpx5HLcpOB0+OW2a4KEIoziqcN9x1Som
 k3L1F7DW1JZOvif72SJ112umbqa9c/8cNtOReznpqECbEeo7mcaDRlTUVqgvdGim0umUpReL
 VYV82wgt8APGFeDS8mkGQW/pG+YsxUcXdtJDuB87xuCokbJ3+qHLmo2HxpBM4QfjZQ7eBl1l
 XSAkYLtABU65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L/N1bYvXnEogLLUKlsjHmMW2gn
 W3X/UDSk51J0ZRTj81X6Hie21qRSo71ohkdyD+/soiN1AJiIam/boqn6EOzAR1ofd/AFQHpU
 JQsMC6a4aUCANSjjiWLS+hlIV1Ez/OVaXvEhlp+A5Qq9zKs4mOuO4dK71mSxXuF0O5ZKFcFg
 2eK52u9AaO/2lPwPcebhKrqUKwXIVDIT4iNaxwtRoMmjmJNXAGG5jpyQkWbwnrglkMh+YlmZ
 8vHKJb9XC5KVPQ8pNZTewv7+eFyrszZ7T2ILa0XMzz8iOb2iIO9FO9ZYQvTMIjVEovd+V2Fo
 76zyPdmOz0GDLyvPXmImWLiBUoHK3EnCIqeliCkXrDrH+aSI0l4U6W56ep5JeRNxv0F/s+Vo
 C3VchIGmTLX2C2WQS3XOysLQO6+Df5X8ylhVQRyZgnA5pTWSd3yhEvpX8BrJuZPGS0K5aIcc
 sTpjO3aWqsWEWmcq21GBXQ/xaQ7HCmWacu1F3LNSFACk1RIHmQlI/foIVni8jcgFC2yuZdsq
 rGszFqGE5AEWgJpAd2Qba6/iVSrsiFFyu51WkLJJPhVeVntodM7cHSo1aVuLpFeMwjHyxuby
 x2SXUUSq97LrtJn69LOn62F89qkHrImTEpXFmXW95isMize8jbxyINMSr/XLyjaUHLo9a6iY
 +RM0vy6N+cIxQ4Yv415Grdt7KQ/+9q+/u8Knl48RC3GNg35BKlhL3+K2dh0mpdMnrIJ6xGrX
 k+v+8VBPenbMs3SFlNMdhEuaf6O1K1JlzTfsaY1LUH96HMl9baLSx8LbRyc0WpFK79kLI4uw
 eEgodMbrQulhUNyYNqBiylV8UWKL2ABAvx35sFAWNezh1p50ExGbLzdFjTyvsOFZeJMBU92c
 DWas6zP2uZHzU3YfntvTnXAgbhHiZIVtEwYxVMOPQ7QyN/V37kv2xlA7Tk8TgJU1whKleVpN
 TEzZUFyIKyP+RZuhdRCDjn8S1EbXEXB9xyj0UYNmU3YU1KsCD7HIlo9DuDRrkoXxGRRI2pA9
 7aCxWe5CjvncakdBMfptZKJdhAicTBwyuEGsMW3RoKdGJ0rfTfugqmvfHcF7Rz9DqvdQWXZ8
 PJy8r8YhbLTbEYtT28TUuF2Foj8jDiOI3FESvx6uqZVDSfbYj7aNf2mMFi/IIUVTxDV2RbQN
 iGtT/6jkzym0yKfsj0QBagNOqJ52vkz67Luv5vwPWBc9eP3QiVB6frty8Q1uIPnrxiCXyrwx
 kM9ug9uylCtuEY=
IronPort-HdrOrdr: A9a23:Pw+SvKiM9tDls4kdhKbW/tsdaHBQXt0ji2hC6mlwRA09TyX4ra
 CTdZsguiMc5Ax6ZJhCo7G90cu7L080nKQdieIs1NyZMDUO1lHEEKhSqaPchxfgFyf9+uM179
 YCT4FOTPvqAxxfhcb+iTPIdurILeP3kpyVuQ==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="5.88,352,1635199200"; 
   d="scan'208,217";a="5330908"
X-MGA-submission: =?us-ascii?q?MDEX8YPRAPS0AqaOlFefodLJJiWHFtmGokqB7/?=
 =?us-ascii?q?LNFTqw56XA40HLo/f6l+l8hryPNnLfs8Qj9cWTtFQEu9K/TOJgXhI5y3?=
 =?us-ascii?q?/TgZmL8/HfSkQzjEwPpJ7khuOnYHtYv86bVT5ttEOU/nC4T38x0Qz6+/?=
 =?us-ascii?q?Dmut2mLcBl8PUun8blbIu8CA=3D=3D?=
Received: from mx1.polytechnique.org ([129.104.30.34])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Feb 2022 14:16:27 +0100
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 C9A09566C4F;
	Tue,  8 Feb 2022 14:16:25 +0100 (CET)
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "lwn" <lwn@lwn.net>, "cwn"  <cwn@lists.idyll.org>, caml-list@inria.fr
Date: Tue, 08 Feb 2022 14:16:25 +0100
Message-ID: <87mtj1bis6.fsf@m4x.org>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="=-=-="
X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Feb  8 14:16:26 2022 +0100 (CET))
X-Spam-Flag: No, tests=bogofilter, spamicity=0.111422, queueID=45DC6566C8C
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: 18691
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-02/87mtj1bis6.fsf%40m4x.org>

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

SGVsbG8NCg0KSGVyZSBpcyB0aGUgbGF0ZXN0IE9DYW1sIFdlZWtseSBOZXdzLCBmb3IgdGhlIHdl
ZWsgb2YgRmVicnVhcnkgMDEgdG8gMDgsDQoyMDIyLg0KDQpUYWJsZSBvZiBDb250ZW50cw0K4pSA
4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSADQoNCkZ1bmN0
b3JpIGlzIGhpcmluZyBmdWxsLXRpbWUgZW5naW5lZXJzIGFuZCBJbnRlcm5zDQpQZXJtYW5lbnQg
cG9zaXRpb24gZm9yIENvbXB1dGVyIFNjaWVudGlzdCBpbiBjeWJlcnNlY3VyaXR5IHZlcmlmaWNh
dGlvbiBhdCBDRUEgTGlzdCwgRnJhbmNlDQpweW1sX2JpbmRnZW46IGEgQ0xJIGFwcCB0byBnZW5l
cmF0ZSBQeXRob24gYmluZGluZ3MgZGlyZWN0bHkgZnJvbSBPQ2FtbCB2YWx1ZSBzcGVjaWZpY2F0
aW9ucw0KT2xkIENXTg0KDQoNCkZ1bmN0b3JpIGlzIGhpcmluZyBmdWxsLXRpbWUgZW5naW5lZXJz
IGFuZCBJbnRlcm5zDQrilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZANCg0KICBB
cmNoaXZlOg0KICA8aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L2Z1bmN0b3JpLWlzLWhpcmlu
Zy1mdWxsLXRpbWUtZW5naW5lZXJzLWludGVybnMvOTI2Ni8xPg0KDQoNCk1vaGFtZWQgSWd1ZXJu
bGFsYSBhbm5vdW5jZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQogIEZ1bmN0b3Jp
LCBhIHlvdW5nIGFuZCBkeW5hbWljIGNvbXBhbnkgYmFzZWQgaW4gUGFyaXMsIGlzIGhpcmluZw0K
ICB0YWxlbnRlZCBlbmdpbmVlcnMvUGhEcyB0byBleHBhbmQgaXRzIHRlYW0uIFBsZWFzZSBmaW5k
IG1vcmUgZGV0YWlscw0KICBpbiB0aGUgYW5ub3VuY2VtZW50IChpbiBGcmVuY2gpOg0KICA8aHR0
cHM6Ly9mdW5jdG9yaS5jb20vYW5ub25jZS1yZWNydXRlbWVudC5wZGY+DQoNCiAgV2UgYXJlIGFs
c28gbG9va2luZyBmb3IgaW50ZXJucyBpbiB0aGUgZmllbGRzIG9mIHByb2dyYW1taW5nDQogIGxh
bmd1YWdlcywgZm9ybWFsIG1ldGhvZHMsIGFuZCBibG9ja2NoYWlucyAoZGV0YWlscyBhdmFpbGFi
bGUgb24NCiAgcmVxdWVzdCkuDQoNCiAgRmVlbCBmcmVlIHRvIHNoYXJlIHdpdGggYW55b25lIHdo
byBtYXkgYmUgaW50ZXJlc3RlZC4NCg0KDQpQZXJtYW5lbnQgcG9zaXRpb24gZm9yIENvbXB1dGVy
IFNjaWVudGlzdCBpbiBjeWJlcnNlY3VyaXR5IHZlcmlmaWNhdGlvbiBhdCBDRUEgTGlzdCwgRnJh
bmNlDQrilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZANCg0KICBB
cmNoaXZlOg0KICA8aHR0cHM6Ly9zeW1wYS5pbnJpYS5mci9zeW1wYS9hcmMvY2FtbC1saXN0LzIw
MjItMDIvbXNnMDAwMDQuaHRtbD4NCg0KDQpBTlRJR05BQyBUaGliYXVkIGFubm91bmNlZA0K4pSA
4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSA4pSADQoNCiAgV2Ugd291bGQgbGlrZSB0byBzaGFyZSB3aXRoIHlvdSBh
biBleGNpdGluZyBvcHBvcnR1bml0eSB0byBqb2luIHRoZQ0KICBGcmFtYS1DIHRlYW0gYXQgQ0VB
IExpc3QgKGEgRnJlbmNoIHB1YmxpYyByZXNlYXJjaCBpbnN0aXR1dGUpLiBXZSBhcmUNCiAgb3Bl
bmluZyBhIHBlcm1hbmVudCBjb21wdXRlciBzY2llbnRpc3QgcG9zaXRpb24gdG8gd29yayBvbiBm
b3JtYWwNCiAgdmVyaWZpY2F0aW9uIG9mIGN5YmVyc2VjdXJpdHkgcHJvcGVydGllcy4gTW9yZSBk
ZXRhaWxzIGFib3V0IHRoZQ0KICBwb3NpdGlvbiBhbmQgdGhlIHF1YWxpZmljYXRpb25zIGV4cGVj
dGVkIGFyZSBhdmFpbGFibGUgaGVyZToNCiAgPGh0dHBzOi8vZnJhbWEtYy5jb20vam9icy8yMDIy
LTAyLTAxLXBlcm1hbmVudC1jb21wdXRlci1zY2llbnRpc3QtY3liZXItc2VjdXJpdHktdmVyaWZp
Y2F0aW9uLmh0bWw+DQoNCiAgUGxlYXNlIGRvIG5vdCBoZXNpdGF0ZSB0byByZWFjaCBvdXQgb3Ig
dG8gc2hhcmUgd2l0aCBwb3RlbnRpYWxseQ0KICBpbnRlcmVzdGVkIHBlb3BsZSENCg0KDQpweW1s
X2JpbmRnZW46IGEgQ0xJIGFwcCB0byBnZW5lcmF0ZSBQeXRob24gYmluZGluZ3MgZGlyZWN0bHkg
ZnJvbSBPQ2FtbCB2YWx1ZSBzcGVjaWZpY2F0aW9ucw0K4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgQXJjaGl2ZToNCiAgPGh0dHBzOi8vZGlzY3Vz
cy5vY2FtbC5vcmcvdC9hbm4tcHltbC1iaW5kZ2VuLWEtY2xpLWFwcC10by1nZW5lcmF0ZS1weXRo
b24tYmluZGluZ3MtZGlyZWN0bHktZnJvbS1vY2FtbC12YWx1ZS1zcGVjaWZpY2F0aW9ucy84Nzg2
LzU+DQoNCg0KUnlhbiBNb29yZSBhbm5vdW5jZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQpOZXcgdmVyc2lvbg0K4pWM4pWM
4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWMDQoNCiAgSSB3YW50ZWQgdG8gYW5ub3VuY2UgYSBu
ZXcgdmVyc2lvbiBvZiBgcHltbF9iaW5kZ2VuJyBoYXMgYmVlbiBtZXJnZWQNCiAgaW50byB0aGUg
b3BhbSByZXBvc2l0b3J5LCB2ZXJzaW9uIDAuMi4wLiAgV2hlbmV2ZXIgaXQgaGl0cywgZmVlbCBm
cmVlDQogIHRvIHRyeSBpdCBvdXQhDQoNCiAgVGhlIG1haW4gYWRkaXRpb24gaXMgbm93IHlvdSBj
YW4gZW1iZWQgUHl0aG9uIGZpbGVzIGRpcmVjdGx5IGludG8gdGhlDQogIGdlbmVyYXRlZCBPQ2Ft
bCBtb2R1bGUgYW5kIGl0IHdpbGwgYmUgZXZhbHVhdGVkIGF0IHJ1biB0aW1lLiAgSW4gdGhpcw0K
ICB3YXksIHlvdSBkb24ndCBuZWVkIHlvdXIgdXNlcnMgdG8gbWVzcyB3aXRoIHRoZSBgUFlUSE9O
UEFUSCcNCiAgZW52aXJvbm1lbnQgdmFyaWFibGUgb3IgbmVlZCB0aGVtIHRvIGluc3RhbGwgYSBw
YXJ0aWN1bGFyIFB5dGhvbg0KICBtb2R1bGUgd2hlbiB1c2luZyB0aGUgZ2VuZXJhdGVkIE9DYW1s
IGNvZGUuIChBbm90aGVyIHRoYW5rcyB0bw0KICBVbml4SnVua2llIGFuZCBUaGllcnJ5IE1hcnRp
bmV6IGZvciB0aGVpciBoZWxwIHdpdGggdGhpcyEpDQoNCiAgVGhlcmUgd2VyZSBhbHNvIGEgZmV3
IGJ1Z2ZpeGVzIGFuZCBzb21lIG5pY2UgbmV3IFtleGFtcGxlc10gYWRkZWQgdG8NCiAgdGhlIEdp
dEh1YiByZXBvc2l0b3J5LiAgT25lIGNvb2wgdGhpbmcgYWJvdXQgdGhlIGV4YW1wbGVzIGlzIHRo
YXQgdGhleQ0KICBzaG93IHlvdSBob3cgdG8gc2V0IHVwIHlvdXIgcHJvamVjdCB0byB1c2UgRHVu
ZSBydWxlcyB0byBhdXRvbWF0aWNhbGx5DQogIGdlbmVyYXRlIFB5dGhvbiBiaW5kaW5ncyB3aGVu
ZXZlciB0aGUgdmFsdWUgc3BlY2lmaWNhdGlvbiBmaWxlcw0KICBjaGFuZ2UhDQoNCg0KW2V4YW1w
bGVzXQ0KPGh0dHBzOi8vZ2l0aHViLmNvbS9tb29yZXJ5YW4vb2NhbWxfcHl0aG9uX2JpbmRnZW4v
dHJlZS9tYWluL2V4YW1wbGVzPg0KDQoNCk9sZCBDV04NCuKVkOKVkOKVkOKVkOKVkOKVkOKVkA0K
DQogIElmIHlvdSBoYXBwZW4gdG8gbWlzcyBhIENXTiwgeW91IGNhbiBbc2VuZCBtZSBhIG1lc3Nh
Z2VdIGFuZCBJJ2xsIG1haWwNCiAgaXQgdG8geW91LCBvciBnbyB0YWtlIGEgbG9vayBhdCBbdGhl
IGFyY2hpdmVdIG9yIHRoZSBbUlNTIGZlZWQgb2YgdGhlDQogIGFyY2hpdmVzXS4NCg0KICBJZiB5
b3UgYWxzbyB3aXNoIHRvIHJlY2VpdmUgaXQgZXZlcnkgd2VlayBieSBtYWlsLCB5b3UgbWF5IHN1
YnNjcmliZQ0KICBbb25saW5lXS4NCg0KICBbQWxhbiBTY2htaXR0XQ0KDQoNCltzZW5kIG1lIGEg
bWVzc2FnZV0gPG1haWx0bzphbGFuLnNjaG1pdHRAcG9seXRlY2huaXF1ZS5vcmc+DQoNClt0aGUg
YXJjaGl2ZV0gPGh0dHBzOi8vYWxhbi5wZXRpdGVwb21tZS5uZXQvY3duLz4NCg0KW1JTUyBmZWVk
IG9mIHRoZSBhcmNoaXZlc10gPGh0dHBzOi8vYWxhbi5wZXRpdGVwb21tZS5uZXQvY3duL2N3bi5y
c3M+DQoNCltvbmxpbmVdIDxodHRwOi8vbGlzdHMuaWR5bGwub3JnL2xpc3RpbmZvL2NhbWwtbmV3
cy13ZWVrbHkvPg0KDQpbQWxhbiBTY2htaXR0XSA8aHR0cHM6Ly9hbGFuLnBldGl0ZXBvbW1lLm5l
dC8+DQoNCg==
--=-=-=
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-02-08 Tue 14:15 -->
<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 type="text/css">
 <!--/*--><![CDATA[/*><!--*/
  .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 #ccc;
    box-shadow: 3px 3px 3px #eee;
    padding: 8pt;
    font-family: monospace;
    overflow: auto;
    margin: 1.2em;
  }
  pre.src {
    position: relative;
    overflow: auto;
    padding-top: 1.2em;
  }
  pre.src:before {
    display: none;
    position: absolute;
    background-color: white;
    top: -10px;
    right: 10px;
    padding: 3px;
    border: 1px solid black;
  }
  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-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>
<script type="text/javascript">
// @license magnet:?xt=urn:btih:e95b018ef3580986a04669f1b5879592219e2a7a&dn=public-domain.txt Public Domain
<!--/*--><![CDATA[/*><!--*/
     function CodeHighlightOn(elem, id)
     {
       var target = document.getElementById(id);
       if(null != target) {
         elem.classList.add("code-highlighted");
         target.classList.add("code-highlighted");
       }
     }
     function CodeHighlightOff(elem, id)
     {
       var target = document.getElementById(id);
       if(null != target) {
         elem.classList.remove("code-highlighted");
         target.classList.remove("code-highlighted");
       }
     }
    /*]]>*///-->
// @license-end
</script>
</head>
<body>
<div id="content">
<h1 class="title">OCaml Weekly News</h1>
<p>
<a href="https://alan.petitepomme.net/cwn/2022.02.01.html">Previous Week</a> <a href="https://alan.petitepomme.net/cwn/index.html">Up</a> <a href="https://alan.petitepomme.net/cwn/2022.02.15.html">Next Week</a>
</p>

<p>
Hello
</p>

<p>
Here is the latest OCaml Weekly News, for the week of February 01 to 08, 2022.
</p>

<div id="table-of-contents">
<h2>Table of Contents</h2>
<div id="text-table-of-contents">
<ul>
<li><a href="#1">Functori is hiring full-time engineers and Interns</a></li>
<li><a href="#2">Permanent position for Computer Scientist in cybersecurity verification at CEA List, France</a></li>
<li><a href="#3">pyml_bindgen: a CLI app to generate Python bindings directly from OCaml value specifications</a></li>
<li><a href="#orgae0e37a">Old CWN</a></li>
</ul>
</div>
</div>


<div id="outline-container-1" class="outline-2">
<h2 id="1">Functori is hiring full-time engineers and Interns</h2>
<div class="outline-text-2" id="text-1">
<p>
Archive: <a href="https://discuss.ocaml.org/t/functori-is-hiring-full-time-engineers-interns/9266/1">https://discuss.ocaml.org/t/functori-is-hiring-full-time-engineers-interns/9266/1</a>
</p>
</div>

<div id="outline-container-org83935af" class="outline-3">
<h3 id="org83935af">Mohamed Iguernlala announced</h3>
<div class="outline-text-3" id="text-org83935af">
<p>
Functori, a young and dynamic company based in Paris, is hiring talented engineers/PhDs to expand its team. Please
find more details in the announcement (in French): <a href="https://functori.com/annonce-recrutement.pdf">https://functori.com/annonce-recrutement.pdf</a>
</p>

<p>
We are also looking for interns in the fields of programming languages, formal methods, and blockchains (details
available on request).
</p>

<p>
Feel free to share with anyone who may be interested.
</p>
</div>
</div>
</div>




<div id="outline-container-2" class="outline-2">
<h2 id="2">Permanent position for Computer Scientist in cybersecurity verification at CEA List, France</h2>
<div class="outline-text-2" id="text-2">
<p>
Archive: <a href="https://sympa.inria.fr/sympa/arc/caml-list/2022-02/msg00004.html">https://sympa.inria.fr/sympa/arc/caml-list/2022-02/msg00004.html</a>
</p>
</div>

<div id="outline-container-orgafc31ec" class="outline-3">
<h3 id="orgafc31ec">ANTIGNAC Thibaud announced</h3>
<div class="outline-text-3" id="text-orgafc31ec">
<p>
We would like to share with you an exciting opportunity to join the Frama-C team at CEA List (a French public
research institute). We are opening a permanent computer scientist position to work on formal verification of
cybersecurity properties. More details about the position and the qualifications expected are available here:
<a href="https://frama-c.com/jobs/2022-02-01-permanent-computer-scientist-cyber-security-verification.html">https://frama-c.com/jobs/2022-02-01-permanent-computer-scientist-cyber-security-verification.html</a>
</p>

<p>
Please do not hesitate to reach out or to share with potentially interested people!
</p>
</div>
</div>
</div>




<div id="outline-container-3" class="outline-2">
<h2 id="3">pyml_bindgen: a CLI app to generate Python bindings directly from OCaml value specifications</h2>
<div class="outline-text-2" id="text-3">
<p>
Archive: <a href="https://discuss.ocaml.org/t/ann-pyml-bindgen-a-cli-app-to-generate-python-bindings-directly-from-ocaml-value-specifications/8786/5">https://discuss.ocaml.org/t/ann-pyml-bindgen-a-cli-app-to-generate-python-bindings-directly-from-ocaml-value-specifications/8786/5</a>
</p>
</div>

<div id="outline-container-orgd02ea06" class="outline-3">
<h3 id="orgd02ea06">Ryan Moore announced</h3>
<div class="outline-text-3" id="text-orgd02ea06">
</div>
<div id="outline-container-org1956315" class="outline-4">
<h4 id="org1956315">New version</h4>
<div class="outline-text-4" id="text-org1956315">
<p>
I wanted to announce a new version of <code>pyml_bindgen</code> has been merged into the opam repository, version 0.2.0.
Whenever it hits, feel free to try it out!
</p>

<p>
The main addition is now you can embed Python files directly into the generated OCaml module and it will be evaluated
at run time.  In this way, you don't need your users to mess with the <code>PYTHONPATH</code> environment variable or need them
to install a particular Python module when using the generated OCaml code. (Another thanks to UnixJunkie and Thierry
Martinez for their help with this!)
</p>

<p>
There were also a few bugfixes and some nice new
<a href="https://github.com/mooreryan/ocaml_python_bindgen/tree/main/examples">examples</a> added to the GitHub repository.  One
cool thing about the examples is that they show you how to set up your project to use Dune rules to automatically
generate Python bindings whenever the value specification files change!
</p>
</div>
</div>
</div>
</div>




<div id="outline-container-orgae0e37a" class="outline-2">
<h2 id="orgae0e37a">Old CWN</h2>
<div class="outline-text-2" id="text-orgae0e37a">
<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="orga5081ee">
<p>
<a href="https://alan.petitepomme.net/">Alan Schmitt</a>
</p>

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


--=-=-=--