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 sympa.inria.fr (Postfix) with ESMTPS id 25CB4E00B4 for ; Tue, 2 Aug 2022 11:51:46 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=alan.schmitt@polytechnique.org; spf=Pass smtp.mailfrom=SRS0=UYwe=YG=polytechnique.org=alan.schmitt@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of alan.schmitt@polytechnique.org designates 129.104.30.34 as permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=UYwe=YG=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-sender="alan.schmitt@polytechnique.org"; x-conformance=sidf_compatible; x-record-type="spf2.0"; x-record-text="spf2.0/pra,mfrom +a:mx1.polytechnique.org +a:mx2.polytechnique.org +a:mx3.polytechnique.org +ip6:2001:41d0:1:94de::736d:7470 -all" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=UYwe=YG=polytechnique.org=alan.schmitt@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=UYwe=YG=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-sender="SRS0=UYwe=YG=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0"; x-record-text="spf2.0/pra,mfrom +a:mx1.polytechnique.org +a:mx2.polytechnique.org +a:mx3.polytechnique.org +ip6:2001:41d0:1:94de::736d:7470 -all" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=UYwe=YG=polytechnique.org=alan.schmitt@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 a -all" IronPort-SDR: gUdjIIBoX+vyuJP1pbgJuC1wUodFaq/z5JyKSMAY1ovbTGqBCthLIkMOzC/gOxLbhfeImThe7C KmZ4YUsVWnfu8Hq3AYos/mgkZS/+1VOyvvUQNhZ7DKmPZsm0MNYiKtwsRktPpDz3aiN8GfuKxF GBfFghBwj61MnE55SA/NNYuQd7FEWtkY3qy7cBsAdKHXkK89WIz07hF6tLXtpIO0InSnmm2wpF 4BzSHgaSePNjA13/8gA2tUWDkvyiT5ge/kNpITlXLhWON5MNCGyg/dc42GRQcYVT0pAXTZ2VZo EPMNQY9Tgo8QJvF6bT//kDPv X-IPAS-Result: =?us-ascii?q?A0DyAgD/8uhimCIeaIFagRWCZFsoGQFhBlcuBwhFAoRMi?= =?us-ascii?q?H4JiASBFoIVhi2PJIQUgXMBAwENLAEMBgECBAEBghKCdFEJhB4CHgYBBTMTA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQMBAQUBAQECAQECBAQBEwEBAQEBAQEBCQsJBwYMB?= =?us-ascii?q?RAOBTxkZASBSwSBdAs0DYI1DIQGAwEbBgoTAQE4GBQPAwoBCQcDAhEBFwEeA?= =?us-ascii?q?xQBEhQGggtYAYMaAwQBC4wqmxp6gTGBAYIIAQEGgT8BFQMBDgkmg3aBEkoJJ?= =?us-ascii?q?IEZhjZhTAGDGoQgAicQgVVEgRWCKRI4BQJugUEBDgF6FwEBAQEBgR8JARECA?= =?us-ascii?q?U0bAoMMgmWHIIRXi24HNwNFHkIDC1YICRcSEBACBBEaCwYDFj4JAgQOA0AID?= =?us-ascii?q?QMRBAMPGAkSCBAEBgMxDCULAwUPDAEGAwYFAwEDGwMUAwUkBwMcDyMNDQQfH?= =?us-ascii?q?QMDBSUDAgIbBwICAwIGFQYCAhg2OQgECAQrIw8FAgcvBQQvAh4EBQYRCAIWA?= =?us-ascii?q?gYEBAQEFgIQCAIIJxcHEzMZAQVZEAkhFgYoEAUGEwMgSSYFRQ8oMzU8Kx8bC?= =?us-ascii?q?oESKgkiFQMEBAMCBhgDAyICEC4xAxUGKRMSLQkrdQkCAyJtAwMEKi4DCSEfB?= =?us-ascii?q?wkmK5R1ggqBQA4LZQwjASgZCA4BASI2OAEKAjASCQFJCzoDhEGNLwYqAyeRO?= =?us-ascii?q?4cklEEZZDQHg1SBPgYMiDGBIo0DTYQLg06DdoFQinSYLSGWXAgYgiqGBn0Ig?= =?us-ascii?q?QoFCYIER4RugUNujRUrhT2BTiqBDl0MBzMaMIMrCUUBAwINAQICAwECAQIJA?= =?us-ascii?q?QECjikWgQQBCIJDewY9gSaBdTuEZGg/NAEBAQEGCCkCBgEKAQEDCYVjAQEFE?= =?us-ascii?q?wsBhjUCAg0XgUZaAQE?= IronPort-PHdr: A9a23:lbciMxHiDYf6QpWl5o3S4p1Gf7dChN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmTB9iQsasMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5ZPebx9WiDajYb5+I wu6oRjMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+u7 6RlSBn2iCcGLD458XrYishug6lGrhOhoAZ/zJPPYIqIMPZzcL/RcdYcSGVPRMZRUzFKDJ26Y YUBEuENOeVVo4z7qlATrxWxGBOsCfvvxDFWm3H406403Os9HgzdxgMsA8gDvW7IoNnpNqofV /2+wqnSzTXEavNbwSvw6IzSfRAnvPqCQK5/ccrUyUkuCwPFkkibpIv/MDORzOsNtXKX7/F8W uKvjm4nqh1xoiS0y8c0jYnJgoIUykza+iplwIY1I9y4SFdmYdG6CpdQsDuaN4RvT84kXmpnt zo0xKcctp6nYCgF1o4nxxjHZvKHb4SF4A7uWeifLzplmX9oebayihS8/ES91uDxUse63llKo CdEjtXAqH8A2RLO5sWbRfZw/1qt1SiL2g3S6+xJJ10/m6TcK54k2LEwl5wTvFzbHiDohEX2j bOWeVs8+uiv7uTnZ6vpqoWaN4BqlgHyKqMuldClDuQ9NggCRW+b+f6z1LH7+k32XK9Fjvgyk qXAq5DaK94XpqmjAw9ayooi5Re/DzSn0NQAg3YIMVNFdwidg4juIVHOL+j0Au2/g1S2jjhry evGMqf9DZXKK3jPiLXhcqx760FC0woz0cpf6IxKBbEdOv78RkjxtNnAAh8lLQO1wuHnCM5n2 owCXmKPB7eVP7jWsV+P4eIvJvKDa5EPuDbyMfQq+/nujXohlV8ZY6ao0poXaH65Hvh8P0qZZ n/sjs8aEWcLuwoxUOvqiEeaUTJJe3myWKc86ik+CIKnEYfDXZ2tj6eA3CegHp1WZ35JClSSH nj0a4WEQfYMZz6LLs97jjMLS6KtRJE81R22qA/10aBnLuvJ9SIGrpLvzsR65+rWlR0q+jx0D tid02GQT25vhG8HWzg23KVnrUxn1FiMzLV3g/1EFdBJ+/xJVQI6OYbbz+NmEd/yXwbBcs2TR FahWNWmDik9TtUtzNAUZkZ9H8yugQvE3yqtAL8ZjaCEBJsx8q7E3XjxIMZ9y3DI1akhjlkmX spPNWuphq5j8AjTAZTFk0OHmKa2bagc2zLC+32GzWqKpk1ZXw5xUKTdUXAeYEvWt9X56VnYQ 7+gE7QrKhZByciDKqpLcNLpl09KS+n4ONjGbGKxmnuwBRKSybyXdobqemId0D3cCEcZkwET+ XKGORI5Bie7rGLTCiFlG1H3Y0707OVytne2QlUpww2WYEBtzbS49gIPifGSRP4fxrAJtSQ7p zlqE1uxwcjaB8ePqgZ7YalRbs8x7VFa3mzDrQN9JIavL6V6i14ebQt3u0Tu2g1yCoRPjMQmt msqzA12KaOYzFNOaS+X3ZD2Or3WM2ny4Q6gZ7TR2lHE39aa4qYP6PImpFX/pAylC1Qu/nF93 9VIz3eR6Y/GAQQOXZ7rXEs6+AB2p7TAbSk844PU22dsMa6xsjLaxtwnGPYrxgq4cthRMqyFG hH9HtUYCMavMOEqg1+pbhYEPeBO6qE7I8Omd/2H2K6yIeZvgiiqjWNd4IByyk+D7S58RfTO3 5of2PGXwguHVzL9jFe9rsD6gptLZTYPHmq51SfrGpVRard3fYsEBmaiOcq3xs9xh5L1XX5X7 0asB0ka18+xZRqSc1v90BVN2UgPu3yohTO4zyBokzEutqeQwDbBw+HmdBYePm5LRXJijUv3L Iivj9EaWVCoYBIzmBuk40b63albq75lI2ndW0cbNxTxeitmTa36/u6GfMhn7Iwu9yNaTLL4K RqRVbi361NO2DzlN29f3ywgMTCmq5H92RtghzTZZH16qX6cfcBr2T/e4sbdTLhfxGkoXi593 BDTD170BNKp+NSIi9+Xu+S3USS6XZ1WcDX35ZuHsDqn6GZqBxymgv31ncfoR1tpmRTn3sVnA H2b5C33ZZPmgv/qWQoGVkxhBVumrtF/Bpk7iIw7wpcZxXkdgJyRu3sBi2b6d9tBiurldHRYf TcQ2JbO5RT9nlV5JyeAw4v/EG6Wws5ge8WSemQSyz4w5MBMCb6J4fpDhyQm6kGgo1fpaONm1 iwY1eNo7Xcbh+8Tvw949R+mWuUvLFZVaB3DwgyP68Gioa5XYme2bLX201BxyNmlBbfEuQpcX XflZr8oGjJ25chkdleQwDv08I63MMLIY4crvwaP2wzFk/ATKJ81ka8SgjF7PGvmoXA/4+sr1 Fp22pWroIWMK2Ns5b+0RBlCOVUZfusr8yr2xeZbl8eShcW0G4l5Xy8MV93uRO6pFzQbsbLmM RyPGXsysCXTFb3aFA6ZoEBoyhCHW5mvPnfRP3IZyNR+WDGFI0hOnA0fXDM7h4M0UAewy4Ttf Vx46TYY+lPj4kIWm6Qxb0W5CT+Z/1vgYyxRKtDXNBdM6wBe+0rZedeT6O5+BWAQ/5GsqhCMN n3Ofx5BXikCXk2JAUymP6H7vIORtbHAWqzld72VPebry6QWTfqDyJOx35Ez+j+NMp/KJXx+F 7gh3UEFW3llGsPfkjFJSioNliuLYdTIwXX0siBxsM279+zmHQz14o7aQYBoCo06xiGpjPKyG LuIgyJoNTtT1pUN3GLFjr8F0wsbjyhoMSKmEbEBqTLlRqXNnKRaFFgeNzM1M9FHpfFZvEEFK YvAh9X526QtxPcxAlEDTlfhn8C1eeQSJGWsKF7MBECKLamLYzrRzIukBMH0Aa0Vh+JSuRqqv D+dGEK2JTWPmQ7iUBW3OP1NhiWWb1RO/ZuweRF3BS3/XcrrP1egKNEty2V8kthWzjvacHQRO j9mfwZRo62MuGlDmvslXTQG9mBsaeyKgSGcp6rReJMG6L1zBSBli+9R4HI70qZYqiZeS5kX0 GORp4xrswvgiu6L2yZqWxpIqy9WicSMp0oqeqyL84kbH27D+AMR4G6QDRUTutYjDcfg3sIYg pvOjPyhcm8aqoCIpMdEVZGGeZ6LPShzbkG3FGyLUFRdBXuiMWWV76BEuMmb7Wbd7p0zq5y23 YELVqceTls+UPUTFkViGtUGZpZxRDIt17CB3oYE4n+3rR+ZQ8s/3NiPbcipWaDSGSmU2IhrM gMPxaLkII8TMIzixkEkbUN1yY3OEkyWRttNpyx9cic+p1hL+3VlCGhvywTicAzIgjdbGfOvn xEwgxdzeqx0rmaqug9rYAGS4nBs2EAq0c3omzWQbCL8IO+rUIdaBjC10ip5epL3TgBpbBGjy EltNTPKXbVU3PNrcWFmjhOZuIMaQKQNC/QcPFlLnbfMO6ZNsxwUsCisyE5Z6PGQDJJjkFFva puwtzda3AklatcpJKvWLa4Pz15Kh6vIsDX7s4J5iAIYOUsJ93ufPSASv0ldfIIcHHL9w91z5 FmztG5bf2wdS/chovRr714wfeOawHfp17dFbFu6N+meM7+xsW/dk8WFWRU1ilNOkFNKt+sTs 49rYw+PWkYjwaHEXS8zDpKXFDBKYp9j2y3LeiKfrejGwZR0JpiwUOfyQrqHsK8SxFmvHAMoA 5gk5MMcGJKhywfdcdehK6QKg0ZIhkyjNBCOC/JHfwiOmTEMrpSkzZN56oJaIykUHWR3NSjkr qaSvAIhh+CPGcsnenpPFJAcOChwAIfp/kwR92QFFjS81fgVjRSP/yOp7D/IAmO6N517fv7QY B12D9T+ujxt9rjvz0bQ9oTCKmr6M9V7p9KJ7vkVwvTPQ7BdH7xt6QHEnI1JW3GhU2jOCMO4Y Z/qZMFvZI7xGi38Slu7mi44RMf3Pc+wI+6Pmw6NJ84c84iDgmJ5bZfkRG1HF08i/rNSuK5xN 19cOMQ3M0G06Fx2cqW7JE3wPsyGe2+2MnMWSvBeyb//fLlL1282aeT8znI8T5Y8xu3x8EgXR ZhMgAuMjfqkYoBfV2D0FBk/M03XojElkmF6Kuso6uIvmVXQtl0NLz2AdOpocXFJ+dYmChueL G53BWwxW1KHxdOZs0j1h+xUpHMbxIoc2PYg0jC2ppLFZTOwRKGn4Y7YtSYtd5luoqF8N5DiP trTtJ7amW+XR53RvwuZFS+iQqMAy54JeH4eG6EOwj12XK5O8ZBM4kcwSMokcrlGCa1246uvd SIhFykZiykQS4KH2jUGxOa6wbrT0BmKI/FAeFQJtotPhtwFXmt4eCQb8eWYbb6OwlK1VWVeE ShG9QNI9R4NnY92f/n47czPVpAZwjpfpbRvWSvOF4V031H8V2edjEO+Tamx1euz0kgBqZCkm sleQxN5BUVHkqxOkVA0LbhsN6QKlova63mQckfroG/myO2nPURcj8rOeBeraeiN/Xq5WSoa9 3oOQIZJw3yKDpUenT1yb6MzrUlNKoSrKQ7uoiYpzINzE/ykRNimkhw7+G0eSX7gQL8jQ6l29 UjaUzp/b9W3pYX5bt9MF3RI9sTVoh8cmUFpeUZRJrJWLNxL6TMXGj0TsXOaptTgEaWrPOduC JsdPtp0u3H8Ab5Jfp+LrC9v0lQO4nrJonYkt1Or2Di4G6m5Vv9UuWoEFVdwT1k= IronPort-Data: A9a23:QhzQW6IlIWl8sdu6FE+RX5MlxSXFcZb7ZxGr2PjKsXjdYENS0T0Cn GJJCmmCPKrcYDT9f9t3OY6/9EgAuJDdzdEyGgsd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M48wIFqtQw24LhU1vX4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhgu1R6 vhmkLaLQEQNEvbVmt4FSCJqOnQrVUFG0OevzXmXtNzKiVXBd2rwzv5uCkAvIIBe/fx4aY1M3 aVCeXZUNkzF3Lrwm+7TpupE3qzPKOHQBrhH70xR0jyMPNlzWZfHUrnH7t9e3S4ti4ZJB/mLb s4Qb3x0ZxTFYgFTEl0QFZQ1kfzugyXvNTpCpzp5oIJrvDeKlVEriNABNvLeVeTRBtdHj320p z763EHHEhwAKfaAnG/tHnWE37OezHyrB+r+DoaQ/fdvhBiXx3cPIAYHUEOy5/i/kE+3HdxFQ 3H44QIrvfF07EuvX8XwVB2+oWeZs1gbQdU4//AGBB+l15f0wSuyI0I/R31lRIc/tvUuXgcY/ wrc9z/2PgBHvLqQQHOb076bqzKuJCQYRVPugwdYFWPpBPG/++kOYgLzosVLTP7r04Ckcd3k6 2rW9nBm71kGpZdTv5hX62wrlBqCnPAlpCYP5x6SeXis6Ax4f+ZJjKT5sAGAtZ6swK4yqF2M+ XQJ3uaE5eYFAPmweMGlRfVUWqmu4+eZPTbch192ApRn8C6ik5JCQWyyyGwvTKuKGp9aEdMMX KM1kVkBjHO0FCH7BZKbm6rrV6wXIVHITLwJrMz8YNtUeYRWfwSa5ixobkP49zmzzRl3zvFhY 8rALpfE4ZMm5UJPkmHeqwA1j+RD+8zC7TmDHPgXMjz7gerAPiHPIVv7GATVP79RAFy4TPX9q ooOZpTalH2zocXkby/e7YMJRW3m3lBlba0aX/d/L7bZSiI/QTlJI6aIkdsJJtI594wIyLag1 iztCydwlQuk7VWaeFriQi44MtvHA80gxU/XyARxZz5ELVB5P9b2hEreHrNqFYQaGBtLlqYqH 6dVK5zRWJyiiF3volwgUHU0l6Q6HDzDuO5EF3PNjOEXc8EySgrX1MXjewezpiACAjDu6Jk0p KCm3Q7AB59fV0JlFsmPMKCjyFa4vH48nuNuXhqTc4ILIR62qYU6eTbsivIXIt0XLUmRzDWt0 QvLUwwTovPAotNo/dSQ3fKEoo6lHvFQBE1fG2WHv7+6OTODoTi7xotRTOuDfTbcTX75vqK4a rwNnf37NfQGmndMspZ9Qu87nfJkv4O3quYDnAp+HXjNY1C6MZ9aIyGLjZtVq6lA5r5Fog/qC EiBzd9XZOeSM8T/HV9NeQcoY7jR1fwQnTWOv/05LF+gvX1y7OPBSUJWLgWBgyxbLaJoPcUi2 +h44Jwa7Am2ixwLNNeaj3ENpzTcdCRYC6h35IsHBILLixYwzg8Qa5LrChjwvMOFZeJKPxR4O TSTnqfD2+9RyxaQaXY1DnSRj+NRiY5U4UJP3AZEP1ONi8bIjf8x3QRM/HIwVAsMlkdL1Od6O 25KMUxpJPTXr2c43pAbB238SRtcABC5+1DqzwVbnmPuT36uCj7HIlo7NLvf50se6W9dImNW8 bzwJLwJito2kBwdHxfeWHKJb9TmXYU37grGidyqFMSDHoAnbHzimKDGia8gtU78Gc1o7KHYj bACwQqyQfST2e0sT2kTAY6H078dU1aBeHwERutulE/MNXrEdmv0gVBiNGjoEv6g5JX2HYuQE 8tqN95CXBS41T+To3YcH6Fkz3pch+YnvpxaEl/0DTdujoZzZQaFfH4dGuYSSYPrrxhTfR4BF 77s IronPort-HdrOrdr: A9a23:58FEbKmJVTqcY5PTEJN+ZWpL8g7pDfIW3DAbv31ZSRFFG/Fw5P re+MjztCWE7wr5N0tApTntAsW9qBDnhPtICOsqXYtKNTOO0ADEEGgI1+XfKkjbak/DH4Bmup tIQuxXNODQSWJbtK/BijVQa+xQo+VunM2T9IHj80s= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,210,1654552800"; d="scan'208,217";a="47711520" X-MGA-submission: =?us-ascii?q?MDFyYGcn6qV/b0CFSMFZfHLG+k5l7mQm8nHHUU?= =?us-ascii?q?4mCKkV/3NtdZzd6CqHbtGJOBIX+Aq1/ZWbF7aWTkenM8/4RjjicpV8j+?= =?us-ascii?q?0BdWo0sBpru9gSz3rIaNHnUEbsSIttJ+cv26qzzqgqRjpKPH4acFVbLJ?= =?us-ascii?q?5PeLSulsUGQQREOTCQCu1Nmg=3D=3D?= Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Aug 2022 11:51:45 +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 490DD561233; Tue, 2 Aug 2022 11:51:44 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=polytechnique.org; s=svoboda; t=1659433904; bh=QClMqJuXDaC8VyH44ICsIgURW6qNJ9NsgRQNUQzjUMw=; h=From:To:Subject:Date:Message-ID; b=qu/onthKAEuSrScQDzzrEhCrNXM6gSTdr5I3s97AgJALac56H1y052ImALB+QSX4L t8ZvMh/MDbXUbplczBBYSSSs3vPH3BrkjUQd05vD4GOKvzh3szmpfdaCSEL4uow/QY 567sAiRf64/rRhgwWqME6/HflJfa12I5M2qDAObo= From: Alan Schmitt To: "lwn" , "cwn" , caml-list@inria.fr Date: Tue, 02 Aug 2022 11:51:43 +0200 Message-ID: <87mtcnvuq8.fsf@m4x.org> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=-=-=" X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Aug 2 11:51:44 2022 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.375901, queueID=B5D70561236 X-Org-Mail: alan.schmitt.1995@polytechnique.org Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello Here is the latest OCaml Weekly News, for the week of July 26 to August 02, 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 OCaml Software Foundation: summer 2022 update Old CWN OCaml Software Foundation: summer 2022 update =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: gasche 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 A quick update on recent works of the [OCaml Software Foundation]. It is a non-profit foundation ([earlier thread]) that receives funding from [our industrial sponsors] each year, and tries its best to spend it to support and strengthen the OCaml ecosystem and community. The funding volume we receive each year is around 200K=E2=82=AC. (For comparison: this is the yearly cost of one experienced full-time software engineer in many parts of the world.) We do not fund people full-time for long periods. Most actions receive from 3K=E2=82=AC to 20K= =E2=82=AC. The work to prepare and execute actions is mostly done by the (unpaid) [Executivee Committee]. It is currently formed by Nicol=C3=A1s Ojeda B=C3= =A4r ('nojb'), Damien Doligez, Xavier Leroy, Kim Nguy=E1=BB=85n and myself, wi= th administrative personel provided by [INRIA]. Our current sponsors (thanks!) are [ahrefs], [Jane Street], [Tezos], [Bloomberg], [Lexifi], [SimCorp], [MERCE] and [Tarides]. (If your company would like to join as a sponsor, please [get in touch]. Unfortunately, we still cannot efficiently process small donations, so we are not calling for individual donations.) Feel free to use this thread for discussions, questions, suggestions and criticism, or to send a message/email for feedback. [OCaml Software Foundation] [earlier thread] [our industrial sponsors] [Executivee Committee] [INRIA] [ahrefs] [Jane Street] [Tezos] [Bloomberg] [Lexifi] [SimCorp] [MERCE] [Tarides] [get in touch] Recent actions =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 Below are some of the actions that we funded in the last year or so, and which have been actively worked on already by the people receiving the funding. Tooling =E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84 We worked on improving the debugging experience for OCaml by funding Fabian ('copy') to work on OCaml symbol demangling in Linux `perf' ([thread]), and supporting Yuxiang Wen ('hackwaly')'s work on [ocamlearlybird] ([thread]), an OCaml bytecode debugger for vscode. We also funded the early development work of [mutaml], a mutation-testing prototype by Jan Midtgaard. [thread] [ocamlearlybird] [thread] [mutaml] Communication =E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2= =94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84 We decided to fund the time that Alan Schmitt ('brab') spends on the [Caml Weekly News] =E2=80=93 Alan also started cross-posting them on [red= dit] on this occasion. We funded John Whitington to work on OCaml documentation, on the core manual (see in particular [this PR]) or newcomer-oriented content on ocaml.org ([Get Up and Running with OCaml] and [A First Hour With OCaml]). We also purchased rights to John Whitington's book [OCaml from the Very Beginning] to put it [online] ([thread]). This is a good introduction to OCaml for people with little to no programming experience, and we hope that it will be easier to onboard people if they can get a free version online =E2=80=93 of course they are encourage= d to buy a paper copy if they like it and can afford it. We supported editing work for an upcoming book from the [Owl] team, "Architecture of Numerical Systems", with the requirement that the book be Open Access. (The idea followed our attempt to fund a hacking retreat for the Owl project in 2019, that was cancelled due to COVID.) We are also funding some work to refresh an older book about Caml in French, [Le Langage Caml], also available online, which several people in the community cite as their favorite OCaml book. Currently we are funding Arma=C3=ABl Gu=C3=A9neau to refresh the book's (crufty build syst= em and) content to work with current OCaml versions =E2=80=93 the book was writte= n in 1993 for Caml Light =E2=80=93 and we are considering funding an English translation. [Caml Weekly News] [reddit] [this PR] [Get Up and Running with OCaml] [A First Hour With OCaml] [OCaml from the Very Beginning] [online] [thread] [Owl] [Le Langage Caml] Teaching =E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84 We funded Louis Gesbert ('AltGr') to do some technical development work on the LearnOCaml codebase. LearnOCaml is a technical platform to deploy automatically-graded OCaml exercices, used in various universities with probably around a few thousands students each year. We are also funding a Summer School about OCaml at the university of Zaragoza in Spain in early September 2022 ([thread], [website]). Note: if you are organizing an OCaml event (workshop, meetup, etc.), please get in touch to see whether/how we could support you. [thread] [website] Ecosystem =E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2= =94=84 We are funding part of the time Kate ('kit-ty-kate') spends on release-readiness for the OCaml compiler distribution =E2=80=93 monitoring build results for the whole OPAM repository and working with compiler maintainers and downstream package authors to solve compatibility issues before the release. This is great work which we think had a strong impact. There is now a larger concerted effort (not funded by us) to coordinate core tools around compiler releases =E2=80=93 see [this opam-repository PR] for example, which puts the ecosystem in a fairly good place compared to how new compiler versions felt a few years ago. We are also supporting Marcello Seri ('mseri') for his contributions to opam-repository maintenance. We are supporting Jonah Beckford ('jbeckford')'s work on his [Diskuv OCaml] distribution for Windows. [this opam-repository PR] [Diskuv OCaml] Libraries =E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2=94=84=E2= =94=84 We are funding Petter Urkedal ('paurkedal') to work on [Caqti], an OCaml library to work with SQL databases. We are supporting Zach Shipko's maintenance work on the [ocaml-rs] library, a library to write bindings / FFI code between OCaml and Rust. Finally, we supported some development work by Anton Bachin and Andrey Popp around the Dream web framework. They concentrated their efforts on [hyper] and [dream-social-login]. [Caqti] [ocaml-rs] [hyper] [dream-social-login] 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 July 26 to August 02,= 2022.

OCaml Software Foundation: summer 2022 update

Archive: https://discuss.ocaml.org/t/ocaml-software-found= ation-summer-2022-update/10234/1

gasche announced

A quick update on recent works of the OCam= l Software Foundation. It is a non-profit foundation (earlier thread) that receives funding from our industrial spons= ors each year, and tries its best to spend it to support and strengthen the OCaml ecosystem and community.

The funding volume we receive each year is around 200K=E2=82=AC. (For compa= rison: this is the yearly cost of one experienced full-time software engineer in many parts of the world.) We do not fund peo= ple full-time for long periods. Most actions receive from 3K=E2=82=AC to 20K=E2=82=AC. The work to prepare and execute actions is mostly done by the (unpaid) Executivee Committee. It is currently formed by Nicol=C3=A1s Ojeda B=C3=A4r ('nojb= '), Damien Doligez, Xavier Leroy, Kim Nguy=E1=BB=85n and myself, with administrative personel p= rovided by INRIA.

Our current sponsors (thanks!) are ahrefs, Jane Street, Tezos, Bloomberg, Lexifi, SimCorp, MERCE and Taride= s. (If your company would like to join as a sponsor, please get in touch. Unfortunately, we still cannot efficiently process small donations, so we a= re not calling for individual donations.)

Feel free to use this thread for discussions, questions, suggestions and cr= iticism, or to send a message/email for feedback.

Recent actions

Below are some of the actions that we funded in the last year or so, and wh= ich have been actively worked on already by the people receiving the funding.

Tooling

We worked on improving the debugging experience for OCaml by funding Fabian= ('copy') to work on OCaml symbol demangling in Linux perf (thread), and supporting Yuxiang Wen ('hackwaly')'s work on ocamlearlybird (thread), an OCaml bytecode debugger for vscode.

We also funded the early development work of mutaml, a mutation-testing prototype by Jan Midtgaard.

Communication

We decided to fund the time that Alan Schmitt ('brab') spends on the Caml Weekly News – Alan also started cross-posting them on reddit on this occasion.

We funded John Whitington to work on OCaml documentation, on the core manua= l (see in particular = this PR) or newcomer-oriented content on ocaml.org (Get Up and Running with OCaml and A First Hour Wi= th OCaml). We also purchased rights to John Whitington's book OCaml from the Very Beginning to put it online (thread). This is a good introduction to OCaml for people with little to no programming exper= ience, and we hope that it will be easier to onboard people if they can get a free version online – of course = they are encouraged to buy a paper copy if they like it and can afford it.

We supported editing work for an upcoming book from the Owl team, "Architecture of Numerical Systems", with the requirement that the book be Open Access. (The idea foll= owed our attempt to fund a hacking retreat for the Owl project in 2019, that was cancelled due to COVID.)

We are also funding some work to refresh an older book about Caml in French= , Le Langage Caml, also available online, which several people in the community cite as their favorite OCaml book. Currently we are funding Arma=C3=ABl Gu= =C3=A9neau to refresh the book's (crufty build system and) content to work with current OCaml versions – the book was writ= ten in 1993 for Caml Light – and we are considering funding an English translation.

Teaching

We funded Louis Gesbert ('AltGr') to do some technical development work on = the LearnOCaml codebase. LearnOCaml is a technical platform to deploy automatically-graded OCaml exercices, used in = various universities with probably around a few thousands students each year.

We are also funding a Summer School about OCaml at the university of Zarago= za in Spain in early September 2022 (thread, website).

Note: if you are organizing an OCaml event (workshop, meetup, etc.), please= get in touch to see whether/how we could support you.

Ecosystem

We are funding part of the time Kate ('kit-ty-kate') spends on release-read= iness for the OCaml compiler distribution – monitoring build results for the whole OPAM repository and working= with compiler maintainers and downstream package authors to solve compatibility issues before the release. This is g= reat work which we think had a strong impact. There is now a larger concerted effort (not funded by us) to coordi= nate core tools around compiler releases – see this opam-repository PR for example, which puts the ecosystem in a fairly good place compared to how new compiler versions felt= a few years ago.

We are also supporting Marcello Seri ('mseri') for his contributions to opa= m-repository maintenance.

We are supporting Jonah Beckford ('jbeckford')'s work on his Diskuv OCaml distribution for Windows.

Libraries

We are funding Petter Urkedal ('paurkedal') to work on Caqti, an OCaml library to work with SQL databases.

We are supporting Zach Shipko's maintenance work on the ocaml-rs library, a library to write bindings / FFI code between OCaml and Rust.

Finally, we supported some development work by Anton Bachin and Andrey Popp= around the Dream web framework. They concentrated their efforts on = hyper and dream-social-lo= gin.

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.

--=-=-=--