From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 4D77F5D5 for ; Tue, 26 Apr 2022 06:44:41 +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=PrAY6+qmoFtVhBBngKaAGD0cfdGEbClwD7PsHmWqNGM=; b=XTLFpePfW50ho8TBIYCpDHYPOBeOBWcnAOYHzLdi39rTr2lNjSFgfPY6 iXRDNP0ZV9fGJ8EfANB93Kcs9OmWQChEXAkwwFEnVgXdanTrlSLeEQSIW JrqtKJVqcUOn8PB8Uk3syRTYSOd6tcw6e2lbid9D6agoDhstxpq3O8Xtv w=; 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.90,290,1643670000"; d="scan'208,217";a="33282159" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2022 08:44:40 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E0545E00BE; Tue, 26 Apr 2022 08:44:39 +0200 (CEST) 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 36489E0079 for ; Tue, 26 Apr 2022 08:44:37 +0200 (CEST) IronPort-SDR: LzDyvFSN92BNXVwYxnx7Cqh/X1y4ed4V4Y4aDCSVwGFq598D3BiznO1UNGubecSlsUm839wsEf TyvJAax/zwx/B/727AJVwpQ2f/R8s81UjA8WwO7R7fyGSJFqZeRWGICJYblrMnRV5lj0P7D59C NDvH31kX1WR1imRSO3iFjOeiHpRLwi8PXe2185vQdz0ik3O7Gd6tv7IYpA17jM67wAQfsVLNWg YQ3bL8bscx49qtoks2uTdJmtgsbPC3Adc+qxlOS4zeuV7Mq+jyXDwLS+iF56r5wHekGxaZbFH0 yiJIf4Ia7INLeQjPfpiThKgv X-IPAS-Result: =?us-ascii?q?A0AxBgCvk2di/yIeaIFahACBBwcSARdHAgEDVS0HCEOEF?= =?us-ascii?q?z2BYYcliBGJUJRFA18BAwENLAEMBgECBAEBg02BNgIchHECHgYBBTMTAQIEA?= =?us-ascii?q?QEBAQMCAwEBAQEBAQMBAQUBAQECAQECBAQBJAsJBgUNBhAOBQ8tZGQEgUsEg?= =?us-ascii?q?XQLNA2CNQwMAwODdwEKEQYKOAQBKCMDFAcDAhEBFwEeAwETARIagmyDGQQBC?= =?us-ascii?q?o8WnBGBMYEBg08BAwIDCQJDg3OBElMkgRmGFlhKAYMECYQPAicQgVVEgRWCe?= =?us-ascii?q?m6CTBcBAQEBAReBJAEBAlSDIIJlBJt0GgsOC2EQWSIBAQ1DCCoOAQ8UBxYOC?= =?us-ascii?q?UoLC5JQjz2JJJUhNAeDTYE8BgyIK4EgjHuIIoN0gU+FG4VPmCYhlj8ggimGd?= =?us-ascii?q?4EZgkeUPwKFOYFOKiWBWTMaMEMNEAGCSwlFAQMCDQECAgMBAgECCQEBAo1zA?= =?us-ascii?q?QEBBYQUgT6BJoF1O4VJAz80AgEBNwIGAQoBAQMJhWMBAQUTCwGHLwEB?= IronPort-PHdr: A9a23:MCta0RIiu7uIDjaZ6dmcuP5pWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM01hSQBduTq6odzbaM6ea4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf71/I A+roQnPucUanJduJ6cswRfNvndEZv5ayGx2KV6NhRrw+tu88Jt++ClMpvwt8NJNX7/ndKoiV 7xYCzomM2Ex5ML1sBTIUBWC6HgBXGgIixREGwfK4g30UZf3qSv6q/Fy2DKGMs3sTLA7Qiqt4 qF2QxL1kigHNjo58GbKisxsia9QvRysqwBjz4PSfYqaM+dwfr7GfdMCW2VOQtpRWSJGAoO5d YQPDuwBNvtco4Tyo1YCqB2zCQmvCuPp1D9Ih2T23awh3OQlDw7NwQIhH9UUsHvJt9X+KaMeX O6pwKXNyzjIcvFY1irn6IXQch4vv+yCU7xzf8Xe1UYiDAbFgkmKpIH/Iz+ZyuYAvm6G5ORgT +KvjGsnphltrzir3MgsjJTCiJ8JxVDE8CV5wZo1JcGlQ0N8e9GkFIFftyeAO4ttXswiQ2Rou Ccmyr0aopO7ZC8KyJAnxh7DdfOIb4iI4hTiVOaIPDd3mmhpeLWlhxa96EWtzPD3Wcao3lhQt CVFjsXMuW4X1xzV8sWKROZw8Eiv1zuSyQ3e6eBJLV4qmafVJJAszLA9moQdv0nNECL4lkv7g ayKekg5+eWm6+Tpb7Xlq5OCN4F4lwHzP6IzkcKxBuQ4NxIBX2md+emkzL3s41H5QLRWjvIoi qnZt5XaJcEFqaKjBQ9azJoj5w64Dzi6ytsYmH0HIEhCeBKdgIjlI17OIPHkDfe/nlSjiy1ny OzBPr3kGpnNK2bMn6n9fbZg805Q0hY8zdda555MBLEBOuj8Wkrru9DCDx85NBS4w+nmCNVh1 oMeRHmADrWYMKPVqVOI5+QvI/ONZIAPojr9JeIl6+bvjX8/g18dfLOm0YENZHC2BPRqO1+WY HvxgtcbCGsFog0+TOjuiF2FSD5Temi9U7gy5jEhEI6mA53DSZqogLObwCe0AIdZZmVcBlCLC 3foeJ2IW/YRZyOSJs9hliYIVb+7S48u0xylqQz0y6J/I+bJ5CEVsYjv2MVp6+Dcjx0/+yB4A 96T3myCV215nGAFSyUo0K1wv0Bx0EqP3Kdij/BFGtFf+/VEWRogO5HG1ex1EdXyVxrBftiXT FamRc2rATQ+T94s2dMOe0F9G9GijxDfwSWlH78Vl7qKBJwt76LTwWL9J8Fny3bJzKUhjl8mT dVTNWC+m6Jz6QzeC5TUn0mFmKumb6oR0DLX+GqNwmeCpERYXxRxUaXBU3AffEzWrdHh603fU 7GgFKgrPxNcx8CEMKtFdsXkglpJSvr7INTeZGaxmmesBRmW2ryMbIzqe2QE3CXAFkcIiQcT/ WyJNQUmHCihp3jRDDp0GVL0f0zs8ex+qHKnTk8o1AyFdEph16ez+hEJm/OcUOkf3rcLtSYus Tl0G0y9393OB9qGvAVuZL9cbs8l4FdbyWLZsBRwMoG4I6B4mlEeaxh3v1/p1xhvFopPi80qr HczwAp2KKKYy09BeiiD3ZHwP73XMnP98Aqua67QwFHe0cyZ9r0B6PQi+B3fu1TjElUkuT0z1 8ZT+3+D4NPMARZEFdq7WVkxvVAy87rFZAE55pjIzjttPbiwtnnFwd1/QKMuwxOkOtNeK7+sF QnoEsRcCdL9BvYtng2AahsCdNtZ9Ks1I9/uI/KC0ajtJ+1gmTO6kUxf54Rszk+H9yx9U/PFm ZEfzKfLjUO8Sz7ggQL54YjMkodeaGRNTwJXqADhDY9VPehpeJoTTHypO4uxz8l/gJjkXzhZ8 kSiDhUIwpzhYgKcOmT0xhYYzkELuTq/gyLtxjh9lXcypaqa3TDS6/zlcAsbN2VLQmh7kFqqJ pK73JgBREb9VwEyj1O+4Friga1SpaBxNW7WFHxyRHCjFEV4Wf6Om++aZMpe9J4jsSNWSfmxJ 1eARev0pxIclTjoH25f2CwTfTa3vJ70hFp/1HLbK2x8/zLCYc8l/R7E/5THQOJJmDoLQC4tk T7MGl21JMWk5/2Rh86Fque6Rn6sXZ1VcDD2wMWHriTTCXRCORSkhLjzn9TmFVN/yirnz5xxU j2Oqh/gY47t3qD8MOR9f0AuCkWuo8Z9H4h/lMM3ivRykTATgpyTu2EMkWLyLclzwaX6fWYAT j4NwsfI7U7iwkIrIn+Sxo3/X2mQ2YM4PYj8OztKnHllqZsWQK6Pid4M1TN4uF+5sR7cbbBmk zERxOFvoH8WjucVuRY8mz2HC+NaFk1ZMCrw0hWQuonk/eMOPDrpKuD2jxYt+LLpRKuPqQxdR nvjL5IrHCsrq956LEqJy3rrrIftZNjXa9sX8BySiRbJyeZPe/dT3rIHgzRqPWXlsDgr0ek+2 FZV56ri6bOjMW44wo/sGhlcJyH4bMMV+yjwgOBZhMnD1oSmGNN6ETUOXYf0ZfivDTQZuO+hM lqeVjompT3IfNiXVR/a80pgo3/VRtqiM3iRYmISzdBjWAW1PEtbkRwZVzU8n4ckG0at3sOrI yIbrngBo1X/rBVL0OdhMRLyB3zeqAmfYTAxUJGDLRBS41IK9wLPPMeZ9O42AzBA88jrtxSDc CrDLVctbylBSgmeClvkJLXr+dTQ773SHfKwdb2WJq2UoKhbWe2PwNrs29lj72/KLsKLL2VvB P0921NeUDZ+Acu8+X1HCCVFkjKXKdacoAag9yZ3qMGm7fmtXxjgrciGWb5CapN3/BSnnaqIN +iRnTt0bzFC2fZujTeLyaBBjgRK03g8K2ChSeZZ53+RQK+CyPAMURJJNH8sbIMN5qY4lGGhI Objg8junv59h/8xUBJeUED539qufYoMKn28M1XOAACKMq6HLHvF2ZO/baS5QLxWxOJa0n/48 Q2hKBe2BRCZnGzXekW3NuVdkCyQPBpfoZywNBF3Bj3qSNvgLAawMNp2kSEey7opgHjHLigZb Sg6dFlCy9/YpS9VmfRwHWVd42EtdLPV3X/Bs6+DctBN7bNiGWxsmvhf4Wgmxrcd9yxCSPFv2 U6w5pZvr1ygjuiT229iWRtKpCxMgdHDtkFjNKPFs5hYDC+erVRUtTnWUExM/Ic2b7+n87pdw dXOiq/pfTJL8taPuNAZG9CRM8WfdnwoLRvuHjfQSgoDVz+ic2/F1Ck/2Lmf8GOYqp8ip93ig p0LH/VgbmdtQ8g+EE8wIvFXOJBzTy8pmr6djdcV6Dy5thaETcFTuNbcXfKXAOnzADyekL9Pa gBOxO/oa4MJOceovi4qIkk/h4nMF0fKCJp2mBY5OzQQuk4YzlUrVmo3yl7oYQOr4WYOGLizh BFjgw93Z6I2/zfp4ksrDlDNuS07nVJ3nIn1xzeLf3SiScX4FZETAC3yuU8rN5r9SAsgdgy+k 3tvMzLcTq5Qhb9tJih7zRXRspxVFbtAXLVJNVUL3f/NIa1igjE+4m23gFVK7uzfBd5+mRs2J NS3t3wanVokdMQ8YanePq1MhhtZ1Kee52mw0eQg3AIVJ0AM6X6fPikStylqfvFlLnit7rYq8 QuGiidOc2gKVuM3r7Rt7Ex1eO3SyjK7laZELlGtOuefKaKApmWGktSHJzF4ngAJjxcXp+Aui JV/KkbMBRl9needGkZbapGcJVMKM5UKvD3aeSLE2QnU6ap8JJ71VuXhTOvV8b0RnlrhBwExW YIF8sUGGJColkDeN8buarAfm10h4wHiJVPNC/osGlrDiDAcv8S214N6x6FYNmhbGWJ5IDm67 bbRpxY3jbyERth+bnoBX4QCP247Q4XjwX8f5iwcSmLvlLlFgAGZil207jzdFjz9c8ZuaL+Pa BVgBcv3sTQz/q6qiELGp5XTI2apfd9mu9LJ9aYbv8PeUaISFOEh9RyE3dIEFBnIGybVHNW4J ob9cdwpZN3wUTOhV0CnzikyV4H3NcqsKa6BhUfpQ5xVuc+VxmNGV4f1GzcAFhN3v+xG6rh7Y FhJWKAAOUvTkx41YpKSdR+f1sSyTm2tLzpPUvQZyv+1MrVTxixqdeS6zXo8UrkwyPSx+kMWA pRWnlfZ3/npNOw8GWDjX2dQfQnCv39zj296KuM72fsy2jvNoQBaKzePZfBkY2xCvsghCBWVO 3o8WQ9aDxeMyIHE5ACrxbUb+SBQys1V3eNyu3/7ppbDYTioVf/judDPviEnd9Rjv7xpPNmpP J6drJ2H1G+6LtGYokifXSW9DfYfhtVAPHcSXqxTgW98ccVO/INF7QBZviYWIqwWTrEroqG2Z DFkCy8L0CJfUJmPjmVqagKUw7zehwude5QkMQUZvdNFmNRPCkaejQsUo7KlXIjN0WrYWi4MO ghBtGxx IronPort-Data: A9a23:Z/GwMaqhkiscnmLPsrM4Oez+HzBeBmKYYxIvgKrLsJaIsI4StFCzt garIBnQMvyPMzb9c9p3ad+3/BgG68PQmoc1QAVqrCozEihHoOPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHoZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWDYgH9glaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurShQzgvMZ/Qxd8/bEdlGTp7No5F+pvIdC3XXcy7lyUqclPp06woFEYyLJEV8eZxAHhT+ LofMj9lghKr3rjnhuvjFq833oJ4cKEHP6tH0p1k5QrjNq5zerTZSPD0yIpA2zMhms1FHfDff tcULz11Y0HJZxRJfEwcCJc/gPuAjH7idTZVsxSQ+bpx5HLcpOB0+OG3bIOJKoPWLSlTtl+Zh 0P/4G3VPgkfBMetmWaLzy+dmsaayEsXX6pLSOzpqa416LGJ/UQYARgSEF+6uuWRkV+7Q9sZK koO+yNoo7JayaCwZtztBlugp3qVohMXW9xRCvA3rgaXxcI4/jp1GEAVRAFHZ+466fQUemIX3 ESMlPDqBxhg5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiN1o5v4oZoo9eJNZnuEZChmsk 27X8XlWa6E715JRj/3TEUXv2mrEm3TfcuIizivtNo5Pxjl4f8uCfYWu5lnAhRqrBNfAFwLZ1 JTos2N46O1LAZzIujaERu4AdIxFCt6AIGSamVlrDoUs/DSr+me+cMZX+j4WyKZV3iQsJG+Bj Kz74F05CHpv0J2CNvUfj2WZUJ9C8EQYPY65Ps04l/IXCnSLSCeJ/Tt1eWmb1H33nU4nnMkXY MnGKZf3VCZEV/w3klJaotvxN5d1mkjSIkuNHvjGI+iPiuDADJJoYetUYAbWPrBRAF2s+VmOo o032zS2J+V3CbGvM3aHrub/3HgQIH4yGZ3sw/G7hcbdSjeK7FoJUqeLqZt4I9wNt/0Mxo/go y/hMmcFlguXrSCXeG2iNyE/AJuyDMcXhSxgZ0QEYw33s0XPl67ysvhAH3b2FJF8nNFeIQlcE qdVJp3cUqgeItkFkhxEBaTAQEVZXEzDrWqz0+CNOlDTprZsGF7E/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:r8M9T6EjkcdriOHdpLqE78eALOsnbusQ8zAXPiFKKSC9Hfb2qy nDpp4mPHzP6Qr5OktPpTnoAsDpKk80nqQY3WB+B9qfdTijkFTtBoBv54nvzlTbak7D398Y87 xvN4x3CNiYNykesS8W2njbL+od X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,290,1643670000"; d="scan'208,217";a="12414874" X-MGA-submission: =?us-ascii?q?MDHE3rzb9DwrmoUxHtSSGioOkFV3obSSXTt3Jy?= =?us-ascii?q?Azh3Mwaf9LPDgMTh+cbgk40QWu+evnL6/5ZcgxgbihMdff/vikChK1/u?= =?us-ascii?q?gJbImCPUn/foyEXA2lpcqsWVOh7l+0eWyQ35u7HVmxsYf4OdqgpgauZJ?= =?us-ascii?q?E4kCJxbEwoZPDwT/MZic84zQ=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; 26 Apr 2022 08:44:35 +0200 Received: from set (cbg35-2-78-242-14-140.fbx.proxad.net [78.242.14.140]) (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 BE89A56126F; Tue, 26 Apr 2022 08:44:33 +0200 (CEST) From: Alan Schmitt To: "lwn" , "cwn" , caml-list@inria.fr Date: Tue, 26 Apr 2022 08:44:33 +0200 Message-ID: <87bkwo4a3y.fsf@m4x.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Apr 26 08:44:34 2022 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.032596, queueID=2A65F561272 X-Org-Mail: alan.schmitt.1995@polytechnique.org Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News Reply-To: Alan Schmitt X-Loop: caml-list@inria.fr X-Sequence: 18746 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --=-=-= Content-Type: multipart/alternative; boundary="==-=-=" --==-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello Here is the latest OCaml Weekly News, for the week of April 19 to 26, 2022. Table of Contents =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80 Multicore OCaml: March 2022 OUPS meetup may 2022 (french only) JFLA 2022: Call for Participation (in French) Old CWN Multicore OCaml: March 2022 =E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2= =95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95= =90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90= =E2=95=90=E2=95=90 Archive: Anil Madhavapeddy announced =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80= =E2=94=80=E2=94=80 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 =E2=80=93 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=E2=80=99s note: please find the full changelog following the arch= ive link above./ [Multicore OCaml] [previous updates] [memory model tests for ARMv8 and Power ports] [effects tutorial] OUPS meetup may 2022 (french only) =E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2= =95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95= =90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90= =E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2= =95=90 Archive: zapashcanon announced =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80 Le prochain OUPS aura lieu le *jeudi 12 mai* 2022. Le rendez-vous est fix=C3=A9 =C3=A0 *19h* en *salle 15-16 101* , *4 place Jussieu* , 75005 P= aris. *L'inscription est obligatoire* pour pouvoir acc=C3=A9der au meetup ! Vot= re nom complet doit =C3=AAtre 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=C3=A9os des expos=C3=A9s = pass=C3=A9s [sont maintenant disponibles] ! :partying_face: *Programme* [meetup] [le site du oups] [sont maintenant disponibles] Gospel & Ortac - Cl=C3=A9ment Pascutto =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C= =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C 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] MirageOS 4 - Romain Calascibetta =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C= =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C MirageOS 4 vient de sortir r=C3=A9cemment et c'est l'occasion de (re)pr=C3=A9senter ce projet permettant de construire des unikernels. Nous y pr=C3=A9senterons les nouvelles features et possibilit=C3=A9s et nous f= erons une introspection de 3 ans de travail de l'=C3=A9quipe core. Tezt: OCaml Tezos Test Framework - Romain Bardou =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C= =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C 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) =E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2= =95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95= =90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90= =E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2= =95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95= =90=E2=95=90=E2=95=90=E2=95=90 Archive: Timothy Bourke announced =E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94= =80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80 [ 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: ] *Merci de faire circuler : premier appel =C3=A0 participation* JFLA'2022 () Journ=C3=A9es Francophones des Langages Applicatifs Saint-M=C3=A9dard-d'Excideuil - du 28 juin au 1er juillet 2022 Les inscriptions aux JFLA 2022 - en pr=C3=A9sence ! - sont d=C3=A9sormais ouvertes : Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9or= iciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la v=C3=A9rification de programmes, et des objets math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AAtre pris au sens large : nous souhaitons promouvoir les pon= ts entre les diff=C3=A9rentes th=C3=A9matiques. L'inscription est un forfait qui comprend notamment l'h=C3=A9bergement en pension compl=C3=A8te sur le site des journ=C3=A9es : =E2=80=A2 participant=C2=B7e plein tarif, chambre simple : 660 euros =E2=80=A2 =C3=A9tudiant=C2=B7e orateur=C2=B7ice, en chambre double : 0 eu= ro Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces j= ourn=C3=A9es. Inscrivez-vous d=C3=A8s que possible ! En particulier, les =C3=A9tudiant= =C2=B7es orateur=C2=B7ices sont invit=C3=A9=C2=B7es =C3=A0 s'inscrire, m=C3=AAme s= 'ils ne paient pas gr=C3=A2ce =C3=A0 nos sponsors. Vous pouvez d'ores et d=C3=A9j=C3=A0 vous inscrire au salon de discussion framateam afin d'=C3=A9changer ensemble : Tout le programme est =C3=A0 retrouver ici : Dates importantes =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C =E2=80=A2 17 juin 2022 : date limite d'inscription aux journ=C3=A9es =E2=80=A2 28 juin au 1er juillet 2022 : journ=C3=A9es Cours invit=C3=A9s =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C =E2=80=A2 Delphine Demange (IRISA, Universit=C3=A9 de Rennes 1) "Si2-FIP: Programmation Fonctionnelle en Licence 1 avec Scala" =E2=80=A2 Denis M=C3=A9rigoux (Inria) "Rust pour le formaliste impatient" Expos=C3=A9 invit=C3=A9 =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C =E2=80=A2 Matthias Puech (INA GRM) Titre =C3=A0 venir - avec une surprise= ! Articles accept=C3=A9s =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C L'ensemble des articles accept=C3=A9s est disponible sous forme d'une collection HAL : Comit=C3=A9 de programme =E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2= =95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95=8C=E2=95= =8C=E2=95=8C=E2=95=8C =E2=80=A2 Chantal Keller LMF, Universit=C3=A9 Paris-Saclay (Pr=C3=A9siden= te) =E2=80=A2 Timothy Bourke Inria, =C3=89NS de Paris (Vice-pr=C3=A9sident) =E2=80=A2 Sandrine Blazy Irisa, Universit=C3=A9 Rennes 1 =E2=80=A2 Fr=C3=A9d=C3=A9ric Bour Tarides - Inria =E2=80=A2 Guillaume Bury OcamlPro =E2=80=A2 Stefania Dumbrava Samovar, ENSIIE, T=C3=A9l=C3=A9com Sud Paris =E2=80=A2 Diane Gallois-Wong Nomadic Labs =E2=80=A2 Adrien Guatto IRIF, Universit=C3=A9 de Paris =E2=80=A2 David Janin LaBRI, Universit=C3=A9 de Bordeaux =E2=80=A2 Marie Kerjean LIPN, Universit=C3=A9 Paris 13 =E2=80=A2 Luc Pellissier LACL, Universit=C3=A9 Paris-Est Cr=C3=A9teil =E2=80=A2 M=C3=A1rio Pereira NOVA-LINCS, Universidade Nova de Lisboa =E2=80=A2 Alix Trieu Aarhus University =E2=80=A2 Yannick Zakowski LIP, Inria, =C3=89NS de Lyon Old CWN =E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90 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] [the archive] [RSS feed of the archives] [online] [Alan Schmitt] --==-=-= Content-Type: text/html; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable OCaml Weekly News

OCaml Weekly News

Previous Week<= /a> Up Next Week

Hello

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

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 yo= u can see from the long list of fixes later – thank you for all your contributions! Platform configuration= s that were formerly supported in the 4.x branches for OpenBSD, FreeBSD, and NetBSD have now been re-enabled. ARM64 s= upport (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 experim= ent 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 p= erformance regressions. We have also been working on obtaining measurements for the compilation data points. The curr= ent-bench pipeline production deployments has significant UI changes, and now has alert notifications for the benchma= rk runs.

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

Editor=E2=80=99s note: please find the full changelog following the arch= ive link above.

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=C3=A9 =C3=A0 19h en salle 15-16 101 , 4 place Jussieu , 75005 Paris.

L'inscription est obligatoire pour pouvoir acc=C3=A9der au meetup ! = Votre nom complet doit =C3=AAtre 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=C3=A9os des expos=C3=A9s pa= ss=C3=A9s sont maintenant disponibles ! :partying_face:

Programme

Gospel & Ortac - Cl=C3=A9ment Pascutto

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

ortac: OCaml Runtime Assertion Checking.

MirageOS 4 - Romain Calascibetta

MirageOS 4 vient de sortir r=C3=A9cemment et c'est l'occasion de (re)pr=C3= =A9senter ce projet permettant de construire des unikernels. Nous y pr=C3=A9senterons les nouvelles features et possibilit= =C3=A9s et nous ferons une introspection de 3 ans de travail de l'=C3=A9quipe core.

Tezt: OCaml Tezos Test Framework - Romain Bardou

Tezt is a test framework for OCaml. It is well suited for unit and regressi= on tests and particularly shines for integration tests, i.e. tests that launch external processes. It was made w= ith 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 i= s 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 =C3=A0 participation

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

Journ=C3=A9es Francophones des Langages Applicatifs

Saint-M=C3=A9dard-d'Excideuil - du 28 juin au 1er juillet 2022

Les inscriptions aux JFLA 2022 - en pr=C3=A9sence ! - sont d=C3=A9sormais o= uvertes :

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

Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oric= iens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la v=C3=A9rification de programmes, et des objets math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AAtre pris au sens large : nous souhaitons promouvoir les ponts entre les diff=C3=A9rentes th=C3=A9matiques.

L'inscription est un forfait qui comprend notamment l'h=C3=A9bergement en pension compl=C3=A8te sur le site des journ=C3=A9es :

  • participant=C2=B7e plein tarif, chambre simple : 660 euros
  • =C3=A9tudiant=C2=B7e orateur=C2=B7ice, en chambre double : 0 euro

Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces jou= rn=C3=A9es. Inscrivez-vous d=C3=A8s que possible ! En particulier, les =C3=A9tudiant=C2= =B7es orateur=C2=B7ices sont invit=C3=A9=C2=B7es =C3=A0 s'inscrire, m=C3=AAme s'i= ls ne paient pas gr=C3=A2ce =C3=A0 nos sponsors.

Vous pouvez d'ores et d=C3=A9j=C3=A0 vous inscrire au salon de discussion f= ramateam afin d'=C3=A9changer ensemble : https://framateam.org/signup_user_complete/?id=3Dgnbebtncubnbp= e96ok9kam8t9y

Tout le programme est =C3=A0 retrouver ici : http://jfla.inria.fr/jfla2022.html

Dates importantes

  • 17 juin 2022 : date limite d'inscription aux journ=C3=A9es
  • 28 juin au 1er juillet 2022 : journ=C3=A9es

Cours invit=C3=A9s

  • Delphine Demange (IRISA, Universit=C3=A9 de Rennes 1) "Si2-FIP: Programmation Fonctionnelle en Licence 1 avec Scala"
  • Denis M=C3=A9rigoux (Inria) "Rust pour le formaliste impatient"

Expos=C3=A9 invit=C3=A9

  • Matthias Puech (INA GRM) Titre =C3=A0 venir - avec une surprise !

Articles accept=C3=A9s

L'ensemble des articles accept=C3=A9s est disponible sous forme d'une collection HAL : https://hal.inria.fr/JFLA202= 2

Comit=C3=A9 de programme

  • Chantal Keller LMF, Universit=C3=A9 Paris-Saclay (Pr=C3=A9sidente)<= /li>
  • Timothy Bourke Inria, =C3=89NS de Paris (Vice-pr=C3=A9sident)<= /li>
  • Sandrine Blazy Irisa, Universit=C3=A9 Rennes 1
  • Fr=C3=A9d=C3=A9ric Bour Tarides - Inria
  • Guillaume Bury OcamlPro
  • Stefania Dumbrava Samovar, ENSIIE, T=C3=A9l=C3=A9com Sud Paris
  • Diane Gallois-Wong Nomadic Labs
  • Adrien Guatto IRIF, Universit=C3=A9 de Paris
  • David Janin LaBRI, Universit=C3=A9 de Bordeaux
  • Marie Kerjean LIPN, Universit=C3=A9 Paris 13
  • Luc Pellissier LACL, Universit=C3=A9 Paris-Est Cr=C3=A9teil
  • M=C3=A1rio Pereira NOVA-LINCS, Universidade Nova de Lisboa
  • Alix Trieu Aarhus University
  • Yannick Zakowski LIP, Inria, =C3=89NS 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 loo= k at the archive or the <= a href=3D"https://alan.petitepomme.net/cwn/cwn.rss">RSS feed of the archive= s.

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

--==-=-=-- --=-=-= 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. --=-=-=--