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; Thu, 19 Jan 2023 07:14:29 +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; Thu, 19 Jan 2023 07:14:29 +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; Thu, 19 Jan 2023 07:14:29 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30J7Dj6H012854 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 19 Jan 2023 07:13:45 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 30J7DbiV012833 for ; Thu, 19 Jan 2023 07:13:38 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jan 2023 08:13:37 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 11AE2E7348; Thu, 19 Jan 2023 08:13:37 +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 883EAE0394 for ; Thu, 19 Jan 2023 08:13:30 +0100 (CET) Received: from mail-qk1-f182.google.com ([209.85.222.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 Jan 2023 08:13:29 +0100 Received: by mail-qk1-f182.google.com with SMTP id pe2so731551qkn.1 for ; Wed, 18 Jan 2023 23:13:28 -0800 (PST) From: Markus Mottl To: Kenneth Adam Miller CC: caml users Subject: Re: [Caml-list] Algorithmic integration Thread-Topic: [Caml-list] Algorithmic integration Thread-Index: AQHZKr/Z9g8GvK95akeG8LJGUJELAq6lVXsA Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 19 Jan 2023 07:13:12 +0000 Message-ID: References: Keywords: Sent to dra-news@metastack.com,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: Reply-To: Markus Mottl 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: d6ade867-675b-4b31-6b9c-08daf9ecce00 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a37:f502:0:b0:6fe:e511:8d17 with SMTP id l2-20020a37f502000000b006fee5118d17mr603177qkk.49.1674112406683; Wed, 18 Jan 2023 23:13:26 -0800 (PST) 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,228,1669071600"; d="scan'208,217";a="45452654" 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: Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+DQo8ZGl2PldoZW4gaXQgY29tZXMgdG8gaW50ZWdyYXRpb24sIG9uZSB3YXkmbmJzcDt0byB1 c2UgYWxnb3JpdGhtaWMgZGlmZmVyZW50aWF0aW9uIChBRCkgaXMgdGhhdCBpZiB5b3VyIHByb2dy YW0gY29ycmVzcG9uZHMgdG8gYW4gYW5hbHl0aWMgZnVuY3Rpb24gd2l0aGluIHRoZSByYW5nZSBv ZiB0aGUgaW50ZWdyYWwsIHlvdSBjb3VsZCBjYWxjdWxhdGUgYSBwb3dlciBzZXJpZXMgYXBwcm94 aW1hdGlvbiB1c2luZyBBRC4mbmJzcDsgVGhlIHJlc3VsdGluZyBwb2x5bm9taWFsDQogY2FuIGJl IHRyaXZpYWxseSBpbnRlZ3JhdGVkLiZuYnNwOyBUaGUgc29sdXRpb24gY291bGQgYmUgbWFkZSBl eGFjdCBpZiB0aGUgcHJvZ3JhbSBjb3JyZXNwb25kcyB0byBhIGZpbml0ZSBwb3dlciBzZXJpZXMs IG9yIGNvdWxkIGJlIGFwcHJveGltYXRlZCB0byBhbiBhcmJpdHJhcnkgZGVncmVlIG90aGVyd2lz ZS48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pk1vc3QgQUQgc3lzdGVtcywgaW5jbHVk aW5nIE93bCwgY2Fubm90IGZlYXNpYmx5IGRvIHRoaXMsIGJlY2F1c2UgdGhleSB3b3VsZCBoYXZl IHRvIHVzZSByZXBlYXRlZCBkaWZmZXJlbnRpYXRpb24gZm9yIGhpZ2hlciBvcmRlciBwb2x5bm9t aWFscy4mbmJzcDsgVGhpcyB0YWtlcyBleHBvbmVudGlhbCB0aW1lLiZuYnNwOyBCdXQgaXQgY2Fu IGJlIGRvbmUgaW4gcXVhZHJhdGljIHRpbWUgdXNpbmcgcG93ZXIgc2VyaWVzIGNvbnZvbHV0aW9u cywgb3IgaW4gc29tZQ0KIGNhc2VzIHdpdGggRm91cmllciB0cmFuc2Zvcm1zIChlLmcuIG1hdHJp eCBtdWx0aXBsaWNhdGlvbikgZXZlbiBpbiBPKEQgbG9nKEQpKSwgd2hlcmUgRCBpcyB0aGUgZGVn cmVlIG9mIHRoZSBwb2x5bm9taWFsLjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+VGhl cmUgYXJlIGFsZ29yaXRobXMgZm9yIGV4YWN0IHJlYWwgaW50ZWdyYXRpb24sIGJ1dCBsYXN0IHRp bWUgSSBjaGVja2VkLCB0aGV5IGFyZSBkb2cgc2xvdy48L2Rpdj4NCjxicj4NCjxkaXYgY2xhc3M9 ImdtYWlsX3F1b3RlIj4NCjxkaXYgZGlyPSJsdHIiIGNsYXNzPSJnbWFpbF9hdHRyIj5PbiBUdWUs IEphbiAxNywgMjAyMyBhdCA1OjA1IFBNIEtlbm5ldGggQWRhbSBNaWxsZXIgJmx0OzxhIGhyZWY9 Im1haWx0bzprZW5uZXRoYWRhbW1pbGxlckBnbWFpbC5jb20iIHRhcmdldD0iX2JsYW5rIj5rZW5u ZXRoYWRhbW1pbGxlckBnbWFpbC5jb208L2E+Jmd0OyB3cm90ZTo8YnI+DQo8L2Rpdj4NCjxibG9j a3F1b3RlIGNsYXNzPSJnbWFpbF9xdW90ZSIgc3R5bGU9Im1hcmdpbjowcHggMHB4IDBweCAwLjhl eDtib3JkZXItbGVmdC13aWR0aDoxcHg7Ym9yZGVyLWxlZnQtc3R5bGU6c29saWQ7Ym9yZGVyLWxl ZnQtY29sb3I6cmdiKDIwNCwyMDQsMjA0KTtwYWRkaW5nLWxlZnQ6MWV4Ij4NCjxkaXYgZGlyPSJs dHIiPkRvZXMgYW55Ym9keSBrbm93IGhvdyBJIGNvdWxkIGRvIHN5bWJvbGljIGludGVncmF0aW9u IHdpdGggT0NhbWw/IEkgc2VlIHRoZSBvd2wgcGFja2FnZSwgYnV0IGl0IGFwcGVhcnMgdGhhdCBp dCBvbmx5IGhhcyBkaWZmZXJlbnRpYXRpb24uIElzIHRoZXJlIGFueSB3YXkgSSBjb3VsZCBpbXBs ZW1lbnQgaW50ZWdyYXRpb24gd2l0aCB0aGlzIHNhbWUgbGlicmFyeT88L2Rpdj4NCjwvYmxvY2tx dW90ZT4NCjwvZGl2Pg0KPGJyIGNsZWFyPSJhbGwiPg0KPGRpdj48YnI+DQo8L2Rpdj4NCi0tIDxi cj4NCjxkaXYgZGlyPSJsdHIiPk1hcmt1cyBNb3R0bCZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNw OyA8YSBocmVmPSJodHRwOi8vd3d3Lm9jYW1sLmluZm8iIHRhcmdldD0iX2JsYW5rIj4NCmh0dHA6 Ly93d3cub2NhbWwuaW5mbzwvYT4mbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgPGEgaHJlZj0i bWFpbHRvOm1hcmt1cy5tb3R0bEBnbWFpbC5jb20iIHRhcmdldD0iX2JsYW5rIj4NCm1hcmt1cy5t b3R0bEBnbWFpbC5jb208L2E+PC9kaXY+DQo8L2Rpdj4NCjwvYm9keT4NCjwvaHRtbD4NCg==