From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=L7adK5yx; dkim=fail reason="signature verification failed" (1024-bit key; secure) header.d=polytechnique.org header.i=@polytechnique.org header.a=rsa-sha256 header.s=svoboda header.b=O6kEiFkz; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 089D149104 for ; Tue, 18 Feb 2025 14:33:26 +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=RtMhKqu+pB/dB1RjFF1VXBfzY+Rwk3VUCCjeLUAWsG0=; b=L7adK5yxUmeAUOs092st50YESpffKc7tJnXFd4a4kJ/8e49zUaA1M5Ai 24R650UuS0B+9xNMpcjkb1BXQ+rafcuKuzXMak5+ojIGiffFicgqyQ23L gvbCpAc/nOyCVGV0nlsItSln66yuKm/gbykUYNP5McCnKAD5W87qsXkGU M=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@polytechnique.org X-IronPort-AV: E=Sophos;i="6.13,296,1732575600"; d="scan'208,217";a="208837703" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Feb 2025 15:33:25 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 38B49E0D22; Tue, 18 Feb 2025 15:33:25 +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 5D30AE0260 for ; Tue, 18 Feb 2025 15:33:21 +0100 (CET) IronPort-SDR: 67b49a30_QtSU/rVIWcNTHKUjnRBejYcabEJZqrBcFkNodM3NhVBlLJ6 YrqTIg5IIoFvGcjr2i0jqiPKTB3eGzIj2KrT8eQ== X-IPAS-Result: =?us-ascii?q?A0FQBwDJmLRndyIeaIFaglwCgT9bKBkBY1ozBwhIhFaDT?= =?us-ascii?q?44hkUqKd4FWFIERAy4jFAEDAQ0uAQUNAQIEAQEDAQIBggyCdAKLDQIfBgEEM?= =?us-ascii?q?gcOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABQ0mFew1JAQEEC?= =?us-ascii?q?wGBalFxgSUBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQECBAgBBxwQKz4LChMBASsBDBgjAxQBBgMCEQE1FwESFAaCEFmCH0UDB?= =?us-ascii?q?QwGlGeaeho3eoEygQGCDAEBBoEIPgIBCwICAwEOCSUB2geBZQmBSIVsgkkaA?= =?us-ascii?q?SpIagKESAmEMycPgVVEgRQBNYJEb4JKFwIBARiBCAQFARECAQgSDyQJgyWCa?= =?us-ascii?q?YIcF0p2g26GSIInghKDdIgEMo5IgUdLMywBVRMXCwcFYYEQAyo0MYFGejmCD?= =?us-ascii?q?mlJOgINAjWCHiRYgiuDHoE6hEOES4VdghKCBYlEgTYdQAMLbT03FBufUwk2N?= =?us-ascii?q?gE8g18OOEQkKAULCRcBDRMwCA4NEgwjGQ0FBQQrHwkCOgOSUhAYBI9wjQ+BB?= =?us-ascii?q?JNwbTQHhB6BXQYMiQWBJJV8gR+CZIFXiy+ZSSKYWyKEe4RhgSUJYIF5lSsqB?= =?us-ascii?q?AQYgToxg0uBbggrPDBdDAczGjBDgmcJCgwwHA+SG4E+gxo7gkEsvSxCNQIBA?= =?us-ascii?q?TgCBwEKAQEDCYViAQGDBIIXhSqBSwEB?= IronPort-PHdr: A9a23:gVMHqBJUzhUuplaslNmcuCxpWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEv7M11BSXBNiAo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebgtWiDanfb9+M Bq6oATMusQWj4ZpN7o8xAbOrnZUdOtawn9lK0iUkxjg+Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRbMUQWA6H0cUn4LkhVTGAjK8Av6XpbqvSTksOd2xTSXMtf3TbAwXjSi8 rtrRRr1gyoJKzI17GfagdF3g6xGvRKhvAR/zJDIb4GJOvR+eabdcskbRWpHQ81dUyNMD4e5Y 4YJEuEPP/tXr5PlqlUOsxWwGAeiCuDgxTBUnXL5x7E23v47HA3awAAtHdQDu2nUotXvM6cSV Pi4wbXMzTrZafNdxCrz55TIchAkoPGMQa5wetfWxEY1EwPKlFOQpZb+PzyJ1uQNtmmb7/Z8V e+0k24nrAVxozizxsgylobJhoQVylHd9SVk3ok5P9q4SFR0YdO9FpZbqi6VOZdsTMw4X2Fop Dg1yqcAuZOjeCUHx5QpyRDCZvKJb4WE/BbuWeieLDpminxpZryyiRiz/EWg1+DyWMm53VZJo yRFktTAqnIA2hzd5MWbRfVw/kGs0iuB2QDU7+FLO0E0lazDJp453LEwipsTsVjdES/un0X2i aqWeVs+9uiu9evnfq3qppiAOIBujwH+Nr4imsulAeQ3KgQBQ26b+f6n1LH58035Wq1Ggecsk qneqJDVO8obqbSiAw9JzIkj7QiwACq939sGgXkGIkxKdwyBj4TzNVHOOuj0Auulg1uyijhr2 /HGPqP/DZrRKXjDlbLhfbF7605H0gYzyspf551MBr4cPv3zRFX9tMDfDhMhPAy0wvrnCNVg1 owFQ26AHqiZMKbKvVCU4eIvJuyMZI4JuDbhNfcq+eTijXokllMFfKmp24EXaHGiEfh8LUWZe 2Lgg9YGEWcNuwoyVvHqiEaaXT5cYHayWK085jUlB468EYjDQYWtjbqc1ym4Bp1bfn1KBk6IH HvyaomIR/gBZDicL8N9iDAJW7esR5c82RygqQP20aRrI+rb9yECq57vycJ56/PcmBw28zF/E tqQ02WQT2FvgmMHWSU20r1+oU181FiOybR0jvpFHtJJ/fxJSB01NZvEwux6Fd/yXgXBc8+MS FepX9mqGykxTtU1w94Of0ZyBcmtjhDF3yqrGr8ViqKECIYz8qLG0Hj9P8d9y3DY26k9l1QqX 9VDOGm8iqJi6wTeCJTFnkuFm6qwe6kR0zbB9GKZwmqPuEFYXhRwUaLAXX0He0XYscn36l/aQ rG0FbsnKQpBxNaNJaVOctDplVJGRPPjOdTCfW2+h2ewBRCJxrOVcYrlZX8R3CLHCEgLiw0c5 3KGOhI4Biu7uGLREDxuFVfuY0Pw7elzs2i0TkgpzwGMc0JuyaG19gQQhfGTRPIfxLUEuD0uq zlsGlayxMrZC8CcqAp5YKVcfdQ97U9a2W7BrQxyIoSgL7x+hl4Zawl4o1nh1xBzColZlcgqr WgqzBZpJKKD0FJBciuY0orqNr3WLGny5hGvZLTM1lHQytbFspsIvb48tFOp9FWtCUwK92phl d9Yzy3Yrp7DCQ5XVZPqTm428QJ7rvfUeHoT/YTRgFRoOK/8iTTC3tM1GKNxwxKpeZFEO6OBF RPuO9UdA9myJecqnVmwcx9CO/pdov1nd/i6fueLjfb4dN1rmyir2DgWiGgc+keF9i4nD/XNw 45A2PaAmA2OSzb7il6l9MHxg4FNIz8ITSKk0SaxIolXa+VpeJoTT3+0Kpi+wtx4wYXmW3tZ6 EKLH1QCydOkchqUbkXg0EtXz0tE6We/l36Axidv2yossrLZ2SXPx+r4cx9SAVRwHDxahkztd LaW2sgdWFm0YgMpkhq8+Eu8wLJU8a17Jm+VWkxIeinqM0loVba2vbeZJcsT+NUvqyoEGP+kb wWiQ6Xm6wAfzzulH2Zaw2UjcCq2v5zigxFgoGeNdTBrq37IZcx7xRHe/cHRA/lL0VLqXQFej j/aThi5NtitppCPkovb9/u5TySnX4FSdi/iycWBsjG67CtkG0/3mff7gdDhHQUgtE2zn9B3S SXFqgr9aYj3xuy7N+xgZExhGF777YJzBIh/loI6gJxY12Idg92Z+n8OkGG7Nts+u+q2ZX4EQ 3gQyN7Q4RT58FVkKmOVyon5UHSE38YnYMO1IysX1i8788FWGfKM9rUX+Ek96lG8rA/Xfb18h mJEk6posSZGxbpR/lFxnUD/SvgIEEJVPDLhjUGN5tG69+BMYXq3NKO3zAx4lMygC7eLpkddX mz4c9EsB3wVjI03PVTS3Xn08oyhdsPXaIdZjSevy0L4hPNUfawTw+INgTt7NGn9u3w81uN9i gZhiJi+tY7BMG5t+aOlHjZSMSDzbM4IvDSxneBZhMncjOXNVt1xXy4GWpflV6fiGTYbs7L8P AaLESEggm+cHavDEASf7kZ/sn+JFIqkfSLyRjFR3ZBpQx+TI1ZaiQYfUWAhn5I3IQutwdTob EZz4j15CkfQkhJX0aooMhD+VjyavwK0cnIvT4DZKhNK7wZE7kOTMMqE7+s1ETsKtpGmqQWML CScaWEqRSkyYHfcUmjoJbj72/uV6++cF/azJPvIYKyTpKpZTfjdzJam1M199DaJN9mTFnNlE vsw11EFWCxpXcPDlFBtA2QbmjnMYMiSuBqnsnQt/4bmqKitA1qpvtfHAqAaKdh1/hGqnaqPf /Wdgip0M3c9tNtExHPFzqQewE9Hjihvcze3FrFT/SXJTa/WhupWF0tCMXI1bZMUqflkmFIRa qu5wpvv27V1j+A4EQJAXF3lwYSyYNASZnq6LBXBDVqKM7KPIXvKxdv2aOWyU+417q0cuhuut DKcC0KmMC6EkmyjbCqUabR0hzqaaSJ87Zm6dgdxBGPjStP/dxD9N8V42DQyyLtynXjKMG8AL RB2dF5LpbCLqyYEkrN4AWMLvR8HZaGU3j2U6eXVMMNcisFQWnFMnPlbtUoYnqNS6DBYSfd1n irLs9MopEupx+CLwzwhSxFOrzdXmKqBulhkMqjCsJwcSTDD5h1HvgDyQ1wa4tBiDNPooaVZz NPCwbnyJDl1+NXR5cIABsLQJZHPID87PBHuAjKREBodQGvhKzTEn0IE2qL3lDXdvt0gp5Prg pZLVrJLSAl/CKYBEko8VJ8DOMslB2l11+fD0IhTvTzl8FGSRd0G7MmdB7TLWampc27f1uQhB VNAgrLgcdZCb8uigRUkNAM8xdyVUwnRRY4f+HU5N11o+UkVonEsEWQ+hhC3NA/ysC1ITpvW1 lZ1ixMgM751rG6+vw47fgiT9npsnERjy4q+3zzDL2KudO/1VIVSQUIYrmAJO4jgC0ZwZAy2x gl/MSvcAqlWl/1mfHxqjwnVvd1OH+RdROtKek1YyfaSbvQumVNSz0fvjVdA/vfAAIB+mRECd I716WpH3xN/YdU1I63JOacPyUJfzq6DpS6n0OktzRRWfhxctjrKJGhT4ApTavEvPE/KtqR05 BaHmidfdWRETPcsrv9wtws8N+mG0yP8wutDJ0S2ZKSUK6KUvXSFlNbdGwlhkBpQyw8epf4tj ZRGEQLcTU0kwbqPGg5cMMPDLVoQdM9O7D3Iej7It+zRwJVzNoH7F+byTObIurxH5yDsVAsvA YkI6dwMW5e210SNZ/zdF+ZQ8R425VHVBgCdC/BYZB+AkDEGutyyipht0txUIjgbR352MSC2+ qr/rAg3hvGOR5EzPmdcWZELfCFTOoXyi2tCsnJMASPimPoe0xSH5iTgqz74CSmlKcJkYOaIa BhsDtCv5Dh59LK5ww2ykN2WNyTxMtJsvcXK4OURqsOcCv9aerJ6tl/Vh4hSQ3H5G36KC9O+I IL8LpU9ddGhQGjvSUSx0nhmKqW5dMboNKWDhhvkAJpZoJXOli52LtezT3kXU1J5o+VJjEqTT QcEfpwwbAWuslgucaulL1XBuj1La36qLSpKQvJfy+SjerERyDAjPLfSIJoIS4FjifGw9V8RS ZoKiBDH2PvlYJNRA3GbJw== IronPort-Data: A9a23:YXMnTK1mBh+nAPwU/PbD5XR1kn2cJEfYwER7XKvMYLTBsI5bpzJRy mFKUGGOa/3eZWf1Ktp3OYm1/E0AsJWDy9Q3GQZl3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8gFaYDkpOs/je8Ek27Kyv0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3Hn/9xLCFw2AbQF2OdaPkBt9 MMdEj9YO3hvh8ruqF66Yux834I7K836II4Uundh1CzUS/E8TvgvQY2Tv44ehW9swJsWW62CD yYaQWIHgBDoWCd0YgIvA4k/ydmK02H4dyxEpVmVo6su/mWVyxZ+hbHpOdyTYdeKQMRJgm6So X/A9GniRBRGJJqY0zXtHneE37eewXmgB9xKfFG+3s9MqwWTn2wOM0MPCnKLvty1sBO6VPsKf iT4/QJ18PRsrxPzJjXnZDWzqXuA+xodQMZ4CPw/8AjLy6zO4g/fCHJsc9JaQNk27YkuQjg7y lKCn9XoHCFi9rqPRhpx64t4sxu4MhQ8CGsfZRM9UCkEzubCg4AMiyjAG4ML/LGOsvX5HjT5w javpSc4hqkOgcNj60ld1Qye695LjsOYJjPZ9jnqsnSZAhRRSrTNWmBFwV3LtLBYK4KIUlSKv H4FgtWTqucUAvlhdRBhos1TRtlFBN7cblUwZGKD+bF7plxBHFb5LehtDMlWfhsBDyr9UWaBj LXvkQ1Q/oRPG3ChcLV6ZYm8Y+xzkvOxRY26D66NMIARCnSUSONh1H0+DaJ39zyy+HXAbYlkU XtmWZjxUC1EYUiZ5GHoHLx1PUAXKtAWnj6PG8ukl3xLIJKTb3mRRP8dN1+fcu0y7KWFuRjYu 9tHLMCSoyizo8WjChQ7BbU7dAhQRVBiXMCeliCiXrfSSuaQMDhwU6eJqV7gEqQ595loehDgo C7jAxcEmQuv7ZAFQC3TAk1ehHrUdc4XhRoG0eYEZD5EAlByMN7937RVbJYtY7gs+cpqyPM+H bFPeNyNDr4LAn7L8igUJ8u15oFzVgWZtSTXNQqcYR87Y8FBQS7N8YTaZQfBznQFIRe2ksocm Iee8D3nb6ANfClcKfrHSemOygqxtEcNmegpUErvJMJSSXrW84NrCnLQi6ZrBvpRNh+Z1maW+ DiUCDhFveL9nYsR9YjYt7GltKasKfN1RWBBLlnY7JG3FCjUxXWiyol+S9S1fSjReWf32ae6b 8BH5qjYHNxeu3gSqKt6MbJg7Zxm1uvVv7UAkzhVRiTaXWqkGpZLAyeg3/AWkoZv27UAmw+9e nzXy+lgIb/TZf/USg8AFjEEMNaG++ofwATJzPIPJ07/2i970ZyHXWhWPDiOkCZtF6R0Aqx03 dYevNMq1CLnhioIKtqmigVmx1aIJFEEUIQlscg+K63vgQwJ1FpDQML9Dgnb3ZKxUOhPY3Iae mKsuKn/hrpn1hXjdVg3HiPzxuZzv8kFly1L614gHG63vOT5qMU55zBrygRvfD9plk1G98lRJ llUM1ZEIPTS3jVw2+lGcWOeOyBAIxy75Uar2wYFu1PbRmb1Tmf9EmkZPLeczlE46ENZRCBQp 5uD+VbmUBHrXcD/5TQzUkhbsM7eTcR92wnBucK/FeGHIsUKWiXkiaqQemY4kRvrLscvjknhp +Mx3uJPRYDkFCwX+YsXNpK70OkOdRW6O2Bye/Ft06cXF2X6ejvp+zyvKVi0S/xdNc7x7k60J Mx/FP1hDy3k+n61kQkaIqoQL5tfvv0jvoMCc4y2A182ieKUqz4xva/A8iT7unQQfOxvtsQAM aLUSSOJFz2BpHlTmlKVlvJ+BEiDXYAmajH/jcePy8dYM7IYseppT1M+7avsgVWRLzlc3ky1u CHtWvbo6tJMmKpQm7niKKFhPzmPCMjSUb2I+T+jst4VYtLoN9zPhjwvqVLmHlp3OJkPV+sql 4a9lcP94HmZmLNnQlLIuoKgEpNR7p6YR9tnMcPQLVhbkxCdWcTq3QAxxmCgJbFNk/Jf/sOCR TbkWPCvdNUQZchR9EdVZwdaDRwZLab9NYXkmg+QsNWODUI7/THcDdb660LsU35XRhUIN7L6F AXwnfSkvfJcjYZUAS47F+NUOIB5LHDjSJkZWYXI7xfANVaRg3SGprfGvjgj42uSCnC7TeDL0 aicTR36LBmPqKXEye9CiLNLvzoVMW1chNchdUdM6v90jDGHVFQ9F9o/CqlfKJ9okX3V7qraN QH9ND5oTW23WDlfahzz7ejyRgrVVKREJt79ISdv5E+OLTu/AISbGrZ66yN8+DFMdyD+yP28Y 8QrkpEq0sNdHrkyLQrS2hC6vQuj7vbKnzQQ/kTsj8H5AxAfGKgHknt7E2KhkATZRtrVmhyjy XcdHAh5rIOTECYd0vqMv1ZfHwwftz70iTB0fWGI2tm3V0Cz0rhb0POmUw3s+uRrUSnJTYLig VvvQG+c/22d2noSoLYk/dUzjseYzB5N8teSdMfeeOHZo018BqnL8S/PcerjgfzOIDJiLm4= IronPort-HdrOrdr: A9a23:35aohqEm7zyolxn/pLqE1ceALOsnbusQ8zAXPiFKOH9om6mj/f xG88506faZslsssRIb+exoWpPgfZq0z/ccirX5Vo3MYOCJggeVBbAnxbSn6TztES/z+4dmpM VdWpk7Lsb/SXxzjcOS2njdLz/M+qjjzJyV X-Talos-CUID: =?us-ascii?q?9a23=3Avy+pEmh7p1LA1zZOukAFVimDmDJueHbh5VLUPk+?= =?us-ascii?q?EMHtLSZCqaHyRx6ZenJ87?= X-Talos-MUID: 9a23:UMA7xwkMczxO5G5BHwTxdnpTEuww4/2uFXtTiMovi9ahORYtPzi02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,296,1732575600"; d="scan'208,217";a="109423760" X-MGA-submission: =?us-ascii?q?MDHtyv5yzNUOl+hIjhotN2IEpwhzHs1ijR2ozR?= =?us-ascii?q?1mzsED2EKABgxIGW3RYyM0cIB3EP2AeEZBZyuQd+wPwei3nFyAgX7ylD?= =?us-ascii?q?H35SDryncxGmPAxUIZuQLonfP2xJbqFy5kuLzmjilHDTPDjBiVL4CRCb?= =?us-ascii?q?48+5tI4XfQKurWHolvRFpTuw=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; 18 Feb 2025 15:33:21 +0100 Received: from mac-03220211.irisa.fr (mac-03220211.irisa.fr [131.254.21.249]) (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 0A34F564C1A; Tue, 18 Feb 2025 15:33:18 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=polytechnique.org; s=svoboda; t=1739889198; bh=CaKEg6lBYuFf8ZjxMcgn3rCZx3fjujoeaL8WiQ7OEGI=; h=From:To:Subject:Date:Message-ID; b=O6kEiFkzN+242iNFpgPDgW2hStuJhV8GQuM6p0SE6Rt00Q92UDAib3iCC3u9YiK10 T8TcmtTwqyEKi3Umj3Q5WnS8XjdjsPA8maf6EplyPPJnYPBUAc8BcRGHdLRelFLfU0 4caNfH4XnUZOLwH/cOovc1/oo2rgDhkCFuQMhlxo= From: Alan Schmitt To: "lwn" , caml-list@inria.fr Date: Tue, 18 Feb 2025 15:33:17 +0100 Message-ID: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=-=-=" X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Feb 18 15:33:18 2025 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.448130, queueID=4AEC4564C21 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: 19269 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: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello Here is the latest OCaml Weekly News, for the week of February 11 to 18, 2025. 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 Learn Programming with OCaml (new book) Ocsigen's 2024 recap OCaml GADTs for Authentication Tokens OCaml language committe launched Dune dev meeting Asking For Community Feedback on the OCaml Platform Communications Old CWN Learn Programming with OCaml (new book) =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: Jean Christophe Filliatre 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=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2= =94=80=E2=94=80 Dear OCaml community, A long time ago, Sylvain and I wrote a French book on [learning programming with OCaml]. Recently, the OCaml Software Foundation funded its translation to English. The book is available here: [Learn Programming with OCaml] Many thanks to [Urmila] for a translation of high quality. The book is available as a PDF file, under the [CC-BY-SA license]. The source code for the various programs contained in the book are available for download, under the same license. The book is structured in two parts. The first part is a tutorial-like introduction to OCaml through 14 small programs, covering many aspects of the language. The second part focuses on fundamental algorithmic concepts, with data structures and algorithms implemented in OCaml. This is also a nice way to learn a language! The book does not cover all aspects of OCaml. It is ideally complemented by [other books on OCaml]. [learning programming with OCaml] [Learn Programming with OCaml] [Urmila] [CC-BY-SA license] [other books on OCaml] Ocsigen's 2024 recap =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: William Caldwell 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 Hi all! 2024 was a busy year for the Ocsigen ecosystem, in case you missed any of it, here are the important highlights: wasm_of_ocaml has been merged in its parent project js_of_ocaml, making your Ocsigen projects that much closer to being served as WASM instead of JavaScript. In the meantime you can build your own WASM by using wasm_of_ocaml to get a taste of the future. Major work has been undertaken on Ocsigen: =E2=80=A2 Ocsigen Server 6 =E2=80=A2 Eliom 11 =E2=80=A2 Ocsigen Start 7 Ocsigen server no longer needs a configuration file to start your project, you can instead start Ocsigen server in your project and handle the configuration yourself. If you're eager to `Ocsigen_server.start ...' you can learn more in the following announcements: =E2=80=A2 [ocsigen server 6] =E2=80=A2 [Eliom 11 and Osigen Start 7] Ready for 2025? We certainly are! Our efforts to make the Ocsigen ecosystem more modular are ongoing: next on the list is ocsigen-i18n, making easier to pick and choose what bits of Ocsigen you want to include in your project, and allowing to use it for any OCaml application. The biggest evolution of the Ocsigen project is underway & soon to be announced, and that's not even including wasm\_of\_ocaml. Also keep an eye out for our public meeting announcements in which we discuss our current tasks, ask for public feedback, and answer whatever Ocsigen related questions you might have. [ocsigen server 6] [Eliom 11 and Osigen Start 7] OCaml GADTs for Authentication Tokens =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: Maxim Grankin 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 Hi everyone! =F0=9F=91=8B My name is Max, I've been using OCaml for a while during my years at Bloomberg and at some moment decided to dig a little bit into GADTs. I found couple of use cases for them and decided to write down one in detail: =E2=80=A2 [OCaml GADTs for Authentication Tokens] I hope it would help newcomers to find application for GADTs in their projects. Huge thanks to @chshersh for reviewing this blog post! Enjoy and let me know what you think in the comments! [OCaml GADTs for Authentication Tokens] OCaml language committe launched =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: octachron 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 It is my pleasure to announce the launch of the OCaml language committee. This committee is intended as collegial instance with the aim to facilitate discussions and consensus making about the evolution of the OCaml language and its standard library. Over the years, it has become a common shared grievance among both maintainers and contributors to the OCaml language that, sometimes, the review process for changes grinds to a halt, either because consensus is elusive or because no one feels empowered enough to take a decision single-handed. In order to reduce the number of those instances of decision paralysis, the OCaml maintainers have decided to experiment with an OCaml language committee: [a subgroup of the OCaml community] organised to discuss evolution of the OCaml language in a timely fashion. In practice, if someone feels that a contribution (a Pull Request, issue, Request For Comment) might be stuck or might benefit from a wider discussion, they may ask the committee to take the contribution under consideration by mentioning it to the committee chair (which is currently me, aka @Octachron on github). Then the committee will deliberate on this contribution both on the [archived] public mailing list `ocaml-language-committee@inria.fr' for internal committee discussion [^1] and possibly on the relevant community channels ([ocaml/ocaml] or [here on discuss]). At the end of this collegial discussion, the committee will publish a consultative decision on the matter. We expect that having such a collegial consultative decision would be enough to unblock most situations. For more details, the intended working of the committee is described at . Happy hacking, Florian Angeletti for the OCaml Language Committee [^1]: Anyone is welcome to subscribe to the mailing list to attend to the discussions, but please do not flood the mailing list so that we can keep it fully open. [a subgroup of the OCaml community] [archived] [ocaml/ocaml] [here on discuss] Dune dev meeting =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: art-w 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 Hello! The next Dune Dev Meeting will be on *Wednesday, February, 19th at 4pm CET* for an hour long discussion. Whether you are a maintainer, a regular contributor, a new joiner or just curious, you are welcome to join: these discussions are opened! The goal of these meetings is to provide a place to discuss the ongoing work together and synchronize with the Dune developers. The agenda is available on the [meeting dedicated page]. Feel free to add more items in it. =E2=80=A2 Meeting link: [zoom] =E2=80=A2 Calendar event: [google calendar] =E2=80=A2 Wiki with informations and previous notes: [dune wiki on github] [meeting dedicated page] [zoom] [google calendar] [dune wiki on github] Asking For Community Feedback on the OCaml Platform Communications =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=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: Sabine Schmaltz 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 Hi all, I'm looking for feedback on the OCaml Platform communications, especially the Platform Newsletter and the [OCaml.org] Changelog. For this, I have prepared a Google form survey (you can send me your responses by email if you prefer): The survey aims to improve both the *process* and the *usefulness* of the *OCaml Platform communications* and to help me create a handbook that gives a clear picture of all our developer-focused communication channels, as well as how the *new Developer Advocate role* at Tarides can support the maintainers in these communications. A major aim of this effort is to *adapt the process* around the communications to minimize the amount of friction imposed on engineers and to maximize the *usefulness to the readers*. Thanks for your help! [OCaml.org] 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 to the [caml-list]. [Alan Schmitt] [send me a message] [the archive] [RSS feed of the archives] [caml-list] [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 February 11 to 18, 20= 25.

Learn Programming with OCaml (new book)

Archive: https://discuss.ocaml.org/t/learn-programming-with-ocam= l-new-book/16111/1

Jean Christophe Filliatre announced

Dear OCaml community,

A long time ago, Sylvain and I wrote a French book on learning programming with OCaml. = Recently, the OCaml Software Foundation funded its translation to English.= The book is available here:

Learn Programming with OCaml

Many thanks to Urmila = for a translation of high quality.

The book is available as a PDF file, under the CC-BY-SA license. The source cod= e for the various programs contained in the book are available for download= , under the same license.

The book is structured in two parts. The first part is a tutorial-like int= roduction to OCaml through 14 small programs, covering many aspects of the = language. The second part focuses on fundamental algorithmic concepts, wit= h data structures and algorithms implemented in OCaml. This is also a nice = way to learn a language!

The book does not cover all aspects of OCaml. It is ideally complemented b= y other books on OCaml.

Ocsigen's 2024 recap

Archive: https://discuss.ocaml.org/t/ocsigens-2024-recap/16117/1

William Caldwell announced

Hi all!

2024 was a busy year for the Ocsigen ecosystem, in case you missed any of i= t, here are the important highlights:

wasm_of_ocaml has been merged in its parent project js_of_ocaml, making you= r Ocsigen projects that much closer to being served as WASM instead of Java= Script. In the meantime you can build your own WASM by using wasm_of_ocaml = to get a taste of the future.

Major work has been undertaken on Ocsigen:

  • Ocsigen Server 6
  • Eliom 11
  • Ocsigen Start 7

Ocsigen server no longer needs a configuration file to start your project, = you can instead start Ocsigen server in your project and handle the configu= ration yourself. If you're eager to Ocsigen_server.start ... you can learn more= in the following announcements:

Ready for 2025? We certainly are! Our efforts to make the Ocsigen ecosystem more modular are ongoing: next on= the list is ocsigen-i18n, making easier to pick and choose what bits of Oc= sigen you want to include in your project, and allowing to use it for any O= Caml application. The biggest evolution of the Ocsigen project is underway & soon to be a= nnounced, and that's not even including wasm\_of\_ocaml. Also keep an eye out for our public meeting announcements in which we discu= ss our current tasks, ask for public feedback, and answer whatever Ocsigen = related questions you might have.

OCaml GADTs for Authentication Tokens

Archive: https://discuss.ocaml.org/t/blog-ocaml-gadts-for-a= uthentication-tokens/16128/1

Maxim Grankin announced

Hi everyone! =F0=9F=91=8B

My name is Max, I've been using OCaml for a while during my years at Bloomb= erg and at some moment decided to dig a little bit into GADTs. I found coup= le of use cases for them and decided to write down one in detail:

I hope it would help newcomers to find application for GADTs in their proje= cts.

Huge thanks to @chshersh for reviewing this blog post!

Enjoy and let me know what you think in the comments!

OCaml language committe launched

Archive: https://discuss.ocaml.org/t/ocaml-language-committe-launched= /16129/1

octachron announced

It is my pleasure to announce the launch of the OCaml language committee. T= his committee is intended as collegial instance with the aim to facilitate = discussions and consensus making about the evolution of the OCaml language = and its standard library.

Over the years, it has become a common shared grievance among both maintain= ers and contributors to the OCaml language that, sometimes, the review proc= ess for changes grinds to a halt, either because consensus is elusive or be= cause no one feels empowered enough to take a decision single-handed.

In order to reduce the number of those instances of decision paralysis, the= OCaml maintainers have decided to experiment with an OCaml language commit= tee: a subgroup of the OCaml community organised to discuss evolution of the OCaml language in a tim= ely fashion.

In practice, if someone feels that a contribution (a Pull Request, issue, R= equest For Comment) might be stuck or might benefit from a wider discussion= , they may ask the committee to take the contribution under consideration b= y mentioning it to the committee chair (which is currently me, aka @Octachr= on on github).

Then the committee will deliberate on this contribution both on the archived= public mailing list ocaml-language-committee@inria.fr for int= ernal committee discussion [^1] and possibly on the relevant community chan= nels (ocaml/ocaml or here on discuss). At the end of this co= llegial discussion, the committee will publish a consultative decision on t= he matter. We expect that having such a collegial consultative decision wou= ld be enough to unblock most situations.

For more details, the intended working of the committee is described at https://git= hub.com/ocaml/RFCs/blob/master/Committee.md .

Happy hacking, Florian Angeletti for the OCaml Language Committee

[^1]: Anyone is welcome to subscribe to the mailing list to attend to the d= iscussions, but please do not flood the mailing list so that we can keep it= fully open.

Dune dev meeting

Archive: https://discuss.ocaml.org/t/ann-dune-dev-meeting/14994/23

art-w announced

Hello! The next Dune Dev Meeting will be on Wednesday, February, 19th at= 4pm CET for an hour long discussion.

Whether you are a maintainer, a regular contributor, a new joiner or just c= urious, you are welcome to join: these discussions are opened! The goal of = these meetings is to provide a place to discuss the ongoing work together a= nd synchronize with the Dune developers.

The agenda is available on the meeting dedicated page. Feel free to add more= items in it.

Asking For Community Feedback on the OCaml Platform Communicat= ions

Archive: https://discuss.ocaml.org/= t/asking-for-community-feedback-on-the-ocaml-platform-communications/16142/= 1

Sabine Schmaltz announced

Hi all,

I'm looking for feedback on the OCaml Platform communications, especially t= he Platform Newsletter and the OCaml.org = Changelog.

For this, I have prepared a Google form survey (you can send me your respon= ses by email if you prefer):

https://docs.google.com/forms/d/e/1FAI= pQLSctTt-WtWEU9heJixGAcAxeUxZhPeX0ioTnaPk6VKTwYHHs9A/viewform

The survey aims to improve both the process and the usefulness of the OCaml Platform communications and to help me create a handb= ook that gives a clear picture of all our developer-focused communication c= hannels, as well as how the new Developer Advocate role at Tarides c= an support the maintainers in these communications.

A major aim of this effort is to adapt the process around the commun= ications to minimize the amount of friction imposed on engineers and to max= imize the usefulness to the readers.

Thanks for your help!

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 to the= caml-list.

--=-=-=--