From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.17 via Mailbox Transport; Wed, 18 Jan 2023 08:31:32 +0000 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.17; Wed, 18 Jan 2023 08:31:32 +0000 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.17 via Frontend Transport; Wed, 18 Jan 2023 08:31:32 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30I8Um1W017420 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 18 Jan 2023 08:30:48 GMT Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30I8Ue9J017402 for ; Wed, 18 Jan 2023 08:30:40 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jan 2023 09:30:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id CF5D3E7346; Wed, 18 Jan 2023 09:30:35 +0100 (CET) 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 AE3FCE0244 for ; Wed, 18 Jan 2023 09:30:32 +0100 (CET) Received: from lifc.univ-fcomte.fr (HELO mail.femto-st.fr) ([194.57.88.66]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Jan 2023 09:30:31 +0100 Received: from [172.16.120.214] (nat-tf.ens2m.fr [194.167.45.244] (may be forged)) (authenticated bits=0) by mail.femto-st.fr (8.15.2/8.15.2/Debian-8+deb9u1) with ESMTPSA id 30I8UUfb002235 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Wed, 18 Jan 2023 09:30:30 +0100 From: Nicolas Ratier To: "caml-list@inria.fr" Subject: Re: [Caml-list] Algorithmic integration Thread-Topic: [Caml-list] Algorithmic integration Thread-Index: AQHZKr/Z9g8GvK95akeG8LJGUJELAq6j2LMA Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 18 Jan 2023 08:30:20 +0000 Message-ID: <2e5878f2-6312-c310-c7e1-9914202fed96@femto-st.fr> References: Keywords: Sent to dra-news@metastack.com,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: Reply-To: Nicolas Ratier Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 13f849a8-bd6b-45dd-702a-08daf92e672a X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.79 on 194.57.88.66 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.97,224,1669071600"; d="scan'208,217";a="88168816" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <2F86F2C686EF9B4A804846F6A0F2AA2B@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IGJnY29sb3I9IiNGRkZG RkYiIHRleHQ9IiMwMDAwMDAiPg0KPGRpdiBjbGFzcz0ibW96LWNpdGUtcHJlZml4Ij5MZSAxNy8w MS8yMDIzIMOgIDIzOjA0LCBLZW5uZXRoIEFkYW0gTWlsbGVyIGEgw6ljcml0Jm5ic3A7Ojxicj4N CjwvZGl2Pg0KPGJsb2NrcXVvdGUgY2l0ZT0ibWlkOkNBSzdyY3BfRXRyV2JYTHhNQzJLSjNSM1kt LXYwaHVVVXliblpMcG5ub3hETEEtMmRmQUBtYWlsLmdtYWlsLmNvbSIgdHlwZT0iY2l0ZSI+DQo8 ZGl2IGRpcj0ibHRyIj5Eb2VzIGFueWJvZHkga25vdyBob3cgSSBjb3VsZCBkbyBzeW1ib2xpYyBp bnRlZ3JhdGlvbiB3aXRoIE9DYW1sPyBJIHNlZSB0aGUgb3dsIHBhY2thZ2UsIGJ1dCBpdCBhcHBl YXJzIHRoYXQgaXQgb25seSBoYXMgZGlmZmVyZW50aWF0aW9uLiBJcyB0aGVyZSBhbnkgd2F5IEkg Y291bGQgaW1wbGVtZW50IGludGVncmF0aW9uIHdpdGggdGhpcyBzYW1lIGxpYnJhcnk/PC9kaXY+ DQo8L2Jsb2NrcXVvdGU+DQo8cD5IZWxsbyw8L3A+DQo8cD48c3BhbiBjbGFzcz0iSHd0WmUiIGpz YWN0aW9uPSJtb3VzZXVwOkJSNmptIiBqc25hbWU9ImpxS3hTIiBsYW5nPSJlbiI+PHNwYW4ganNh Y3Rpb249ImFnb01KZjpQRkJjVztNWmZMbmM6UDdPN2JkO250NEFsZjpwdm5tMGUscGZFOEhiLFBG QmNXO0IwMXFvZDpkSlhzeWU7SDFlNXU6aVh0VElmO2xZSVVKZjpoaWo1V2I7Ym1lWkhjOmlVUmhw ZjtPeGozWGU6cUFLTVliLHlhZjEyZCIganNuYW1lPSJ0eEZBRiIgY2xhc3M9ImpDQWh6IENoTWsw YiIganNjb250cm9sbGVyPSJHbjRTTWIiPjxzcGFuIGNsYXNzPSJyeU5xdmIiIGpzYWN0aW9uPSJj bGljazpFNlRmbCxHRmYzYWMsdE1aQ2ZlOw0KICAgICAgICAgICAgY29udGV4dG1lbnU6TnF3N1Rl LFFQN0xEOyBtb3VzZW91dDpOcXc3VGU7DQogICAgICAgICAgICBtb3VzZW92ZXI6RTZUZmwsYzJh SGplIiBqc25hbWU9IlcyOTd3YiI+U3ltYm9saWMNCiBpbnRlZ3JhdGlvbiBpcyBhIHByb2Zlc3Np b24gaW4gaXRzIG93biByaWdodCEhITwvc3Bhbj48L3NwYW4+IDxzcGFuIGpzYWN0aW9uPSJhZ29N SmY6UEZCY1c7TVpmTG5jOlA3TzdiZDtudDRBbGY6cHZubTBlLHBmRThIYixQRkJjVztCMDFxb2Q6 ZEpYc3llO0gxZTV1OmlYdFRJZjtsWUlVSmY6aGlqNVdiO2JtZVpIYzppVVJocGY7T3hqM1hlOnFB S01ZYix5YWYxMmQiIGpzbmFtZT0idHhGQUYiIGNsYXNzPSJqQ0FoeiBDaE1rMGIiIGpzY29udHJv bGxlcj0iR240U01iIj4NCjxzcGFuIGNsYXNzPSJyeU5xdmIiIGpzYWN0aW9uPSJjbGljazpFNlRm bCxHRmYzYWMsdE1aQ2ZlOw0KICAgICAgICAgICAgY29udGV4dG1lbnU6TnF3N1RlLFFQN0xEOyBt b3VzZW91dDpOcXc3VGU7DQogICAgICAgICAgICBtb3VzZW92ZXI6RTZUZmwsYzJhSGplIiBqc25h bWU9IlcyOTd3YiI+VGhlIGRlcml2YXRpb24gaXMgdHJpdmlhbC48L3NwYW4+PC9zcGFuPjxzcGFu IGpzYWN0aW9uPSJhZ29NSmY6UEZCY1c7TVpmTG5jOlA3TzdiZDtudDRBbGY6cHZubTBlLHBmRThI YixQRkJjVztCMDFxb2Q6ZEpYc3llO0gxZTV1OmlYdFRJZjtsWUlVSmY6aGlqNVdiO2JtZVpIYzpp VVJocGY7T3hqM1hlOnFBS01ZYix5YWYxMmQiIGpzbmFtZT0idHhGQUYiIGNsYXNzPSJqQ0FoeiBD aE1rMGIiIGpzY29udHJvbGxlcj0iR240U01iIj48c3BhbiBjbGFzcz0icnlOcXZiIiBqc2FjdGlv bj0iY2xpY2s6RTZUZmwsR0ZmM2FjLHRNWkNmZTsNCiAgICAgICAgICAgIGNvbnRleHRtZW51Ok5x dzdUZSxRUDdMRDsgbW91c2VvdXQ6TnF3N1RlOw0KICAgICAgICAgICAgbW91c2VvdmVyOkU2VGZs LGMyYUhqZSIganNuYW1lPSJXMjk3d2IiPg0KIFRoZSBnZW5lcmFsIGludGVncmF0aW9uIGFsZ29y aXRobSBoYXMgbmV2ZXIgYmVlbiBpbXBsZW1lbnRlZC48L3NwYW4+PC9zcGFuPiA8c3BhbiBqc2Fj dGlvbj0iYWdvTUpmOlBGQmNXO01aZkxuYzpQN083YmQ7bnQ0QWxmOnB2bm0wZSxwZkU4SGIsUEZC Y1c7QjAxcW9kOmRKWHN5ZTtIMWU1dTppWHRUSWY7bFlJVUpmOmhpajVXYjtibWVaSGM6aVVSaHBm O094ajNYZTpxQUtNWWIseWFmMTJkIiBqc25hbWU9InR4RkFGIiBjbGFzcz0iakNBaHogQ2hNazBi IiBqc2NvbnRyb2xsZXI9IkduNFNNYiI+DQo8c3BhbiBjbGFzcz0icnlOcXZiIiBqc2FjdGlvbj0i Y2xpY2s6RTZUZmwsR0ZmM2FjLHRNWkNmZTsNCiAgICAgICAgICAgIGNvbnRleHRtZW51Ok5xdzdU ZSxRUDdMRDsgbW91c2VvdXQ6TnF3N1RlOw0KICAgICAgICAgICAgbW91c2VvdmVyOkU2VGZsLGMy YUhqZSIganNuYW1lPSJXMjk3d2IiPkV4Y2VwdCBtYXliZSBpbiBBeGlvbSBieSBNYW51ZWwgQnJv bnN0ZWluIChoZSBkaWVkIHRvbyB5b3VuZyBpbiAyMDA1KS48L3NwYW4+PC9zcGFuPg0KPHNwYW4g anNhY3Rpb249ImFnb01KZjpQRkJjVztNWmZMbmM6UDdPN2JkO250NEFsZjpwdm5tMGUscGZFOEhi LFBGQmNXO0IwMXFvZDpkSlhzeWU7SDFlNXU6aVh0VElmO2xZSVVKZjpoaWo1V2I7Ym1lWkhjOmlV UmhwZjtPeGozWGU6cUFLTVliLHlhZjEyZCIganNuYW1lPSJ0eEZBRiIgY2xhc3M9ImpDQWh6IENo TWswYiIganNjb250cm9sbGVyPSJHbjRTTWIiPg0KPHNwYW4gY2xhc3M9InJ5TnF2YiIganNhY3Rp b249ImNsaWNrOkU2VGZsLEdGZjNhYyx0TVpDZmU7DQogICAgICAgICAgICBjb250ZXh0bWVudTpO cXc3VGUsUVA3TEQ7IG1vdXNlb3V0Ok5xdzdUZTsNCiAgICAgICAgICAgIG1vdXNlb3ZlcjpFNlRm bCxjMmFIamUiIGpzbmFtZT0iVzI5N3diIj5IZSBnaXZlcyBhIGZhbnRhc3RpYyA5NS1saW5lcw0K PC9zcGFuPjwvc3Bhbj48L3NwYW4+PHNwYW4gY2xhc3M9Ikh3dFplIiBqc2FjdGlvbj0ibW91c2V1 cDpCUjZqbSIganNuYW1lPSJqcUt4UyIgbGFuZz0iZW4iPjxzcGFuIGpzYWN0aW9uPSJhZ29NSmY6 UEZCY1c7TVpmTG5jOlA3TzdiZDtudDRBbGY6cHZubTBlLHBmRThIYixQRkJjVztCMDFxb2Q6ZEpY c3llO0gxZTV1OmlYdFRJZjtsWUlVSmY6aGlqNVdiO2JtZVpIYzppVVJocGY7T3hqM1hlOnFBS01Z Yix5YWYxMmQiIGpzbmFtZT0idHhGQUYiIGNsYXNzPSJqQ0FoeiBDaE1rMGIiIGpzY29udHJvbGxl cj0iR240U01iIj48c3BhbiBjbGFzcz0icnlOcXZiIiBqc2FjdGlvbj0iY2xpY2s6RTZUZmwsR0Zm M2FjLHRNWkNmZTsNCiAgICAgICAgICAgIGNvbnRleHRtZW51Ok5xdzdUZSxRUDdMRDsgbW91c2Vv dXQ6TnF3N1RlOw0KICAgICAgICAgICAgbW91c2VvdmVyOkU2VGZsLGMyYUhqZSIganNuYW1lPSJX Mjk3d2IiPjxzcGFuIGNsYXNzPSJId3RaZSIganNhY3Rpb249Im1vdXNldXA6QlI2am0iIGpzbmFt ZT0ianFLeFMiIGxhbmc9ImVuIj48c3BhbiBqc2FjdGlvbj0iYWdvTUpmOlBGQmNXO01aZkxuYzpQ N083YmQ7bnQ0QWxmOnB2bm0wZSxwZkU4SGIsUEZCY1c7QjAxcW9kOmRKWHN5ZTtIMWU1dTppWHRU SWY7bFlJVUpmOmhpajVXYjtibWVaSGM6aVVSaHBmO094ajNYZTpxQUtNWWIseWFmMTJkIiBqc25h bWU9InR4RkFGIiBjbGFzcz0iakNBaHogQ2hNazBiIiBqc2NvbnRyb2xsZXI9IkduNFNNYiI+PHNw YW4gY2xhc3M9InJ5TnF2YiIganNhY3Rpb249ImNsaWNrOkU2VGZsLEdGZjNhYyx0TVpDZmU7DQog ICAgICAgICAgICAgICAgICBjb250ZXh0bWVudTpOcXc3VGUsUVA3TEQ7IG1vdXNlb3V0Ok5xdzdU ZTsNCiAgICAgICAgICAgICAgICAgIG1vdXNlb3ZlcjpFNlRmbCxjMmFIamUiIGpzbmFtZT0iVzI5 N3diIj5pbnRlZ3JhdGlvbjwvc3Bhbj48L3NwYW4+PC9zcGFuPg0KIHByb2dyYW0gaW4gTWFwbGUg aGVyZTo8L3NwYW4+PC9zcGFuPjwvc3Bhbj48L3A+DQo8cD48YSBjbGFzcz0ibW96LXR4dC1saW5r LWZyZWV0ZXh0IiBocmVmPSJodHRwOi8vd3d3LXNvcC5pbnJpYS5mci9jYWZlL01hbnVlbC5Ccm9u c3RlaW4vcG1pbnQvIj5odHRwOi8vd3d3LXNvcC5pbnJpYS5mci9jYWZlL01hbnVlbC5Ccm9uc3Rl aW4vcG1pbnQvPC9hPjwvcD4NCjxwPk5pY29sYXM8YnI+DQo8L3A+DQo8L2JvZHk+DQo8L2h0bWw+ DQo=