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=LqDanhQm; 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]) by plum.tunbury.org (Postfix) with ESMTP id 389B5400A2 for ; Mon, 29 Dec 2025 05:17:57 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=vEiTOTbvuppD6PSrHxLg8OupBZP1Bsagn/nSWpG+MW0=; b=LqDanhQm8Bb1axSJjfkY1iOmLJn8ikzqmE4NJmaHcfi8ToT8R5aEocA3 PYyYt7WeZWFzM0klIBwTzKsreT6JwpYPygEf5h5Zhx/V4qL6Q1GV0aT9S kfi/e5to6CTzyeOtyIyV9RzP32lWSFE9vmDQSFtwc3S6w95T15SINQ5Bk 4=; X-CSE-ConnectionGUID: VuhSb/aORoStl0nWOVDzbg== X-CSE-MsgGUID: MtKxl6sOR1uFS/j+hUjgQA== 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@prod-sympa-app.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.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.21,185,1763420400"; d="scan'208,217";a="256193807" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Dec 2025 06:17:57 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id D6D83806AC; Mon, 29 Dec 2025 06:17:56 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 6220F81286 for ; Mon, 29 Dec 2025 06:17:49 +0100 (CET) X-CSE-ConnectionGUID: JTMMNMGBTHWRvmuw2fpfvw== X-CSE-MsgGUID: On/eeS71S0GN8VCuJD+3yA== IronPort-SDR: 69520efc_HBbK1I+yQsC/Ynsq93v2XvrHtvWa3lKuev5cfTTeq14wZsj P9q3/M4KMv8uZCDlc6uBq79ujDT2HkOe1m9flgQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FhAwAEDlJpga3XVdFahBZbKYFlNAQLSYRYgSOOMIIhn?= =?us-ascii?q?EiDFTsCAg8BAwENUQQBAQMEggyPXwIeBwEENBMBAgQBAQEBAwIDAQEBAQEBA?= =?us-ascii?q?QEBDQEBBQEBAQIBAQIEBgECEAEBIhkHDjuGTw2CW4EsYQIFAzsBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAix3ER0BGxEBDAMSEC0BC?= =?us-ascii?q?QIjAREBBQEiGw4DAgeFAwEGEAEDNgOgXoIkgQVCikR6gRUFAhaBAYINBtpjC?= =?us-ascii?q?hkoDW4DgWMCBxaBN4R2KU8OAYI7GwFzawECDoZFLgqBAXonG4INgRU1gkUBh?= =?us-ascii?q?QgZg2qCaQSCIoEOiEQDRWyHb4EJB4cCJggHFwMHBwkFBBwGBQUCPwkFAQ0CE?= =?us-ascii?q?gMEAwQEAQILCQoJAwMCDgIIAwIIBhkBPxIEEwoNCwcFHwoCDBQKKCISKwoBA?= =?us-ascii?q?gFVMAEIBgICBAQCBAwCCQICBQcCEQMEAQEIAgItAwEDGQgJCAILAwIRGAwLB?= =?us-ascii?q?xoXAxAJAx8XGAgDAwICAgEHAgIBAgEBAwMHBhABAgEPAgMDBAMEBgMFCQEHA?= =?us-ascii?q?QEBAQECEwMCAgURBwIBASABFQIHAQQDJxkCAgYCAgICAwICAwMDAQIBAQMFA?= =?us-ascii?q?QMCAwIBAgEGAgMDAwUDAQ4CAgMBAwEGBAQCBQECAgIOAQMCAgYCBwkIAgETE?= =?us-ascii?q?wICAgIBAgIBAgcBAQIDAgUFCAIBAQECAgMCCwICAQIBAgIDAgMCBgEJBAQEA?= =?us-ascii?q?QIBAQIEAwkBAyQDAwQFAwICAgcCBAMYAg0GAQQDBQUDCgYCAgMPAwYGBwIHB?= =?us-ascii?q?AIEAgICDgICAwcEAgIDAQwEBwIDAgISAwEBAg8CAgIMAQEEAgICBQIeCg4CD?= =?us-ascii?q?wIBAwEBBgIEBAMKBgIGBQICAQQDBwIBAgECCAMCBwMCAwIBDxgDAgMKAgYFB?= =?us-ascii?q?AcCAgMDBAICAgkBAwYBAQEBAgICAwICBQYOBAQEEwogAQMFAgQHAgEDAgIBB?= =?us-ascii?q?AEBAwMCAQIBAgMBAgIEAgMDAwMDBAUDAQEDAgMFAgIDAgICAgQBAQMLAQIEA?= =?us-ascii?q?wEFAQcFAwEDBQMEBAMCBAUDCgICBAIDAwYDAwYDAgUCBwICAQUFAgEBAQEMC?= =?us-ascii?q?QICAgcDDgMCAgIDBAECAwQDBQIDBAEBAQEEBQIDAwICAQMFAgIBAQICBAQCA?= =?us-ascii?q?wMGAgQCDgIBBR0RAQIGBgMCAQMFAwMDAwMCBAICAgIGBwsCCgQEBAMFAwMFB?= =?us-ascii?q?gMBAwQDCAMKAgQYBgUCAgIBAgwPAwMKBAQDAgUCBgkDAgMDBAEDORwTBAUCB?= =?us-ascii?q?QMDAToDDgQDCB4CAQECBgIBAwMIAgMBAwIHAxQGAQYIAgQECgIDAwcGBQcCE?= =?us-ascii?q?SgEAgICAgQDBgMKCAcEAwEKAwMMAgIQAgMHBAIDEwYDAwQDDAYDAQISGAYBA?= =?us-ascii?q?wcDCAMCBwQCCAcNAwIJAwUFARUEAgQDAgICAgExAwMDBQcCBAEEBgEDAwMHA?= =?us-ascii?q?wIGBgICAhIDBQIFBgIBAwwDBAMDBQULLRAEBxMKBgQDAwcFAgMCAggMBgIGD?= =?us-ascii?q?BIDAwQBBAIBAgICOwQDAwgBDRoOAgQGBQoDAwQGARgFAgMCAwUBAwEHGQIHC?= =?us-ascii?q?AMOARANAQMCBgIWDwMLCQgTPQELBzIENgEUFAcrIV+URU6BQFMeF4EmTDcMD?= =?us-ascii?q?BYSBxlNEDUDpSahDmiDPgWhbTOEBI0TmVSJZo8go2kEhUMRJBKBSSOBXDMaI?= =?us-ascii?q?y8hMYI2TwMZD49VAQWCRr9OJzI8AgcBCgEBAwmRawEmDIFLAQE?= IronPort-PHdr: A9a23:wOLXBRW4T7xb0pg0/u8kChCOgxDV8Kx+XzF92vMcY1JmTK2v8tzYM VDF4r011RmVBtmds6oP1LSM7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAveu8UMnYduNqk9xxnIr3dWeuld2H9lK0+Ukxvg6ci8+4Ju/T5NsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQSXH0ZnRZRHQXL4wz0Uo/+vSXmuOV93jKaPdDtQrAvRTui9 aZrRwT2hyoBKjU07XvYis10jKJcvRKhuxlyyJPabY2JKPZzeL7WcNUHTmRDQ8lRTTRMDYy8Y YUBDOQPIPhWoJXmqlQUsRezHxOhCP/zxjJKgHL9wK000/4mEQHDxAEuGswBsHLSrNrrKKcSU f2+wbXVwjrZavNdxDDz6InMchAlv/6MR697fM3SyUYxEQPFiEufqZDlPzyPy+sCqW2b7+9hV eKrj24otRtxryOgxscpkIbJh4YVxkrY+iV+xYY4PNu1Q1N0btC4CpVfrT2aN5doTcM4RWFlo CY3x6AatJO1cyUEyIkqygPcZvGFc4WF/BLuWeieLDp2hHxpZq6yiwiu/EWk1uHxWci53lZKo CZbktTBuGwA2wDV58OaSfV95l+s1SiT2w3X8O1JIkA5mbDFJ5I8wrM8jIcfvEbNEyLwhU74l rWZdl8+9eit8+nnYqvpppubN4JsjwHxKKUumsimDeQgPQgCQnGX+eqh2LDh80D1WrpKjvoxk qnWtJDVO94XqbK+Aw9Qyooj6hC/ACm60NkAg3ULMFZIdAiEgoXpIV3CPu30APelj1ixkjpmy ejKPrj7DZXMKnjDnq3hfbF460NEywo809Zf55RKBbEdIPL8QFL+u8bdDh88Mgy0x+LnB8tn1 o4FVmKPB7WWMKLWsVOS+u0vJOyMaJcPuDnhM/gl++LujXghlFABZ6ap2J8XZGm8HvRnOEWZf WHhgswBEGcPpgoxVvbmiFyEUT5JZna9Rbgw5j8hCI6+C4fMXZiigKad0yejAp1WemdGB0iRH XvweIWLRfAMZiGILMJ5nDMKSKCtS5U/2hGwtwH00aJqLu/O9S0ZsZLvzcB15+LOmR0r+zx4E saQ3m+XQ2F7mWMIQDA23KRhrkBn1liD1q14j+RFGtxQ5vNJVx83O4bTweN0Fd78Rh7McNGRR Fm7R9WpGysxQc4pztEWekhzA9qsggjY3yqyDb8Yj6aFCYAp/KzBx3TxPN59y3je26khkVYmR sxPOHW+iKBm7wbdCN2Br0LMnK+vcewBxyPX7y/XxmOLuARcURVseaTDR3EWIEXM+4fX/ETHG pyjD7IqLgsJ4MKLL+Nva9ntgE8OEPTuPtLTf2K4l261ABeMwr6WRIXvcmQZmi7aDR5XwEgo4 X+aOF1mVW+aqGXEAWk2fbqOS0bl8O0k7Wi+Uldx1QaBKUtoy7uy/BcRw/2aUfIamLwe6286s zshOlG70prNDsaY4RJ7dfBfbNU77UtH3G7Qsgl8OpitNYhtg1cfd0J8uEa9nw5vBNB4mNMx5 Ggv0BI0LKuZ1F1bcDbN3p32PLDLKmD+9RWqaqrS10v239Of+6NJ4/M9+B34pA/8ME0k/j181 sVNlXuR4pKfFA0JTZf4SVo67TB/rrDeJzEyvsbajCI3d6aztTDG1pQiA+5NJg+IWdBZPevEE QbzF5dfHM2yMKkwnFPvaBsYPedU/apyPsW8dvLA1rT5dOBn1Cmri2hK+uUfmgqF6jZ8R+jU3 p0E3+DQ3w2JUC35hUugtca/kJ5NZDUbFG6ygSb+A4sZaqp3dIcNQWCgRq//jtZzgZjgR35R+ FemAlIC3MKzURWXZl35mwZX0AVfoHCqnze50y0hiysg/c/9lGTFx+XvcgZCO3YeHjEzywexZ 9Lt0pZDAxP7Cmph3AGo7kv72aVB8aF2Lm2JBFxNYzCzNWZpFK25qruFZcdLrpIuqyReFuqmM jX4AvbwpQUX1yT7Ei5Q3jc+Inupt5P/kgB6gW6UKXNyqH7UY+l/wB7e4JrXQvsbjV9kDGFoz CLaAFSxJYzj/tiSkZrfsumyXmekV5lXfDPDwoaJtS/97mpvS07a/bj7ipjsFg401jX+3t9hW HDTrRryVYLs0ryzLeNtekQA6EbU08NhAck+l4IxgMtVwn0GntCP+nFBl27vMNJd0Ka4bXwXR DdNzcSHqATi3URiKDqOyeebHj2ez81nasW6a28f3yc868RHEo+b6bVFmW1+pV/woQ/KYPd7l ysQ0rN0sC9c07xP4lNwiHzCWfgbBiw6dWT0mg6N7syioakff2upfbWqlQJ/kd2nELCes1RZU Xf9dI0lGHwVjI03O1bN3Xvvr4D8LYOIPJRD61vOykqG1rcOe/dT3rIQiCFqOHzwpyggwu8/1 1l12I2i+ZKAICNr9b64BRhRMnv0YdkS83fjl/U7/I7e0oaxE5FmAjhOUoHvSKfiEz8Us/n7N w+CGTg5q3OfFKD3EgqW6UMgpHXKWcPOVTnfNDwCwNNuSQPIbk9ShgYZQDUzkpc8EwGuwMH7W Eh87zEVoFX/r1Efr4Agfwm6WWDZqgCybz4yQ5XKNxta4DZJ4ELNONCf5OZ+TGlIu4espwuXJ imHdhxFWCsXD1ecCQmpbdzMrZHQtvKVDe2kI77SbKWS/KZAAuyQy8vn05M6rWnQcJzVYz86S aV8gxQLXGglSZ6BynNfFmpOzXKLN4nC+3LesmVhp8S7upwHQSrJ4o2CQ/tXONRroVWthLubc vSXj2B/ICpZ0ZUFwTnJzqIe1RgckXMmcT7lCrkGuSPXKcCY0qZKEx4WbT9yP8pU/uo92AdKI 8vSltLy0PZxkPc0D15PUVGplNuuYIQGJGS0NVWPA0juVvzOPTrQ38T+er+xU5VVheRQ8gW/4 HOVShC4eDuEkDbtWlakNuQNxCCXMRpCuZ2sJxZgDW+wKbCuIha/MdJxkXg32ehu3iKMZTNaa 2EhNRoS9e71j2sQmPh0Fm1f42AwKOCFn3zc9OzEMtMMtvAtBC1oluVc6XB8yr1P7SgCSuYm/ Uma5tNovVyilfGCjzR9Vx8b4DVGgoSGoUVrNazc85hEXXve1B0I5GSUTR8NopE2b7+n87AV0 dXJmK/pfX1a9MnI+MIHG8XOAMeOMX5kKRWwXTCNU1BDQjmsOmXSwUdalbvBkx/d5oh/oZ/ql p0UT7ZdX1FgDfIWBHNuG9kaKYt2VDcp+VZ+pMEN7Hu66hLWQZcC1ngofv2XCPTrbj2eiOsdD /Pp6bbxLIBWLoKinkI7NQI8k4PNFE7dG9tKp385BjI= IronPort-Data: A9a23:2nqW6KmjvLzM+wEs0jqlJvno5gy/IkRdPkR7XQ2eYbSJt1+Wr1Gzt xIWUWCCP62NYWr9eNEjYIu08EoBsJeHmNRkHgVv/n1hE1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfjawP9TlK6q4m5B5AZvPakjUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr8CK5Zedb8ZGuuQcFtfuIZxFtGlu0y6MWJ7KQbibK0nLzdpR3TN1ns8XWPiHO JFfZj1oYxDNJRZIPz/7CrpkxLbu1iS5KWQF7gvK/sLb4ECLpOB1+LvgNtzYZtyDScxQm0eco m/c12v8CxAecteYzFJp91r227GWzHikANJ6+LuQ0fgtjVComTUoUDIwBWWQvNuVyRWvcocKQ 6AT0nFz9PBtpRLDosPGdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpbdUnsIouSmVv2 AbWxJXmAjtgtLDTQnWYnluJkd+sEQopCEokQAAucSs62cfmvZ5pgArBUMk2RcZZkebJ9SfML ydmRRXSap0WhM8Pkr20pBXJ2m334JfOSQEx60PcWWfNAuJFiGyNNtzABbvztKkowGOlor+p4 Slsdy+2srhmMH11vHbRKNjh5Znwjxp/DNEjvbKfN8J8rmzyqiDLkXF47zZ5K0NkescCcnmBX XI/TTh5vccJVFPzNfEfS9voV6wCk/K8ffy7Dau8RoQVPfBMmPqvpnAGibi4hDi1yBBEfGBWE cvzTPtA+l5DUfs5kWTnHrpEuVLprwhnrV7uqVnA50zP+dKjiLS9EN/p6XPXNrhnvpCX6h7Y6 chePMaswhBSGr+2KCrO/IJZaRhAIXEnDNqk44ZaZ8ySEDpAQWsBMv72xa9+WopHm68OqPzE0 EvgUWBlyX3+p0b9FyO0Vl5ZZonSAKlP9UAAAXR0PHKD+WQSXoK03aJOK7o1ZeYG8cJg/95VT t4EWcOKPdpXQB+a+T5HNZjZh65hfSSNmgihEXeEYj8+Xpg4XC3P2IbuUTXO/Rk0LBiclJUBs Zz58SjEG7wRRB9HDvfGTN6K0HWP5WM8nsB2VGv2euhjQl3mqtVWGnagn80JLNEpAjSd4ymRy CK9IwoS/MvJqK8LqOj5v7iO9dqVIrEvD3hhPjfp6JitPnPn5Uul+4hLVdiIcR37VG/Z/KaDZ /1f/8rjMc8ozUp7jI5hL4lFla4OxcPjh7t//DRWGH/ma1eKCLQ5BlKk2cJJlLNGx54HmA+Qd 3+MxOJnOuSyCJu4KGISGQsrVfTc9Pc2njKJ0+85Dn+n7wBK/Z2Gc35oAT+ytAJnIoBYCrgVm dUahJZO6iiUqAYbDdKdvyUFq0WONiMhVoskhLE7AajqqAwh9X9aa7eBCCWsuJCrQPdPO3kMP TW7qvfjhbNd50yaaFs1NyHH8tR8jKQ0miJh7QE9NXXQvfHa3Nkl3wZ08wUnaihw0TN5i/lSP EpvPG1LfZS+xS9i3pV/bjr9CjN/Cw280W2v7kkCi0nybVSiD07JJ00DYde9xlgTqT9gT2IK7 YOj6TjXVBjxd5vMxQo0Y0lursLjQfFX9gHvnMOGHdyPL6IlYAjK07OfWm4VlyTJWc8BplXLh e1PztZCbafWMS0xoapiL6K40b8Wag6PJU0cYPVH0Z4KI1rhe2CJ6WDTE3yyR8JDHOyV0EmaD 8c1GNlDeS7j3wmzrxcaJ5U2HZlKoNAT6uEvRJbXNE8dkr7GrjNWoJParSf/o2kwQuRRq8U2K 6KPVjfbEmWvmmdftGTdiPZ1KkyqRMQ2Plzi7rql9MEMMYwJi8B3UEQIyrDvlW6kAAhm2BO1v Q34eK7dydJ5+7lsh4fBFqZiBR2+DMHaDsCk0VmUnYxVTNXtNczuiVskmmP/NV4LAYpLCsVFq 7udlfXWgmXHhe8SeELEkcCjE6Jp252DbNBPOJiqEEgAzDqwY+6y0R4t4GviFIdolula7cyZR weVTsu8WNoWetVFzk1udClsPEcBOpvzc5vfi3uxn9aUBjgZ9D73Htet2HvqTGNcLwsjGZn1D C3qsPePuPFciqlxByE/OvI3OK8gfWffWpYneeOo5HPcRiOtj0iZs7TvqQs45HuZQjOYGcL9+ tTeSgK4aB22v7rSwcpEt5Bp+CcaF2t5nfJ6a3d1FwSaUNxmJDVuwSUh3ZQ65lV8lyXz0NTga 2iIYjJ9UmPyWjNLdRi669PmNuta6iriJf+hTgHFPWvNA8t1OG9EKLRk/yZkpXxxf1MPCcm5f MoG9CSY0geZm/lUqCV62hB/qehiz/LegHkP/CgRViA07wk2Wd036ZCqIOaBueEr3S0AeIUn6 FXZnVx5fXw= IronPort-HdrOrdr: A9a23:+RV/J6oW/dfh6CN/uYx91lMaV5oGeYIsimQD101hICG9E/bo7v xG+c5w6faaskdyZJhNo6HiBEDiexPhHPxOkO0s1N6ZNWGMhILCFvAE0WKN+UyHJwTOssBYkY hte7VjE9HrZGIK6PrS0U2XF5IPzrC8n5xARt2z856ud2xXgm1bgTuRwzz7LnFL X-Talos-CUID: 9a23:VhbXfW6zUOoQocWwNdss1nIxP+YAXVfh7EjqPUqlFjxnULOLVgrF X-Talos-MUID: 9a23:uNms9wU7sTVTvTrq/BjqwzxvD5gx2PyBLhAzuogkl4rfJAUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,185,1763420400"; d="scan'208,217";a="256193708" X-MGA-submission: =?us-ascii?q?MDHl/Ik7gJy6TMRLnwJqcDGiDpXPqE+IVPj46d?= =?us-ascii?q?g3QYRrbJGBjmFD2tptoKs3RNBilYHiYD80n8EpZO8SWyMDxc8uHiAnJJ?= =?us-ascii?q?CxJzw9UnDT0QHNbTRiOCcqh6YZeYYpI9QENRJt9B0qUzhF60OBE0neoO?= =?us-ascii?q?JzwdscnYgA8k3WuiVLopQ0Yg=3D=3D?= Received: from mail-pg1-f173.google.com ([209.85.215.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Dec 2025 06:17:48 +0100 Received: by mail-pg1-f173.google.com with SMTP id 41be03b00d2f7-c13771b2cf9so7356254a12.1 for ; Sun, 28 Dec 2025 21:17:48 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1766985467; x=1767590267; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=vEiTOTbvuppD6PSrHxLg8OupBZP1Bsagn/nSWpG+MW0=; b=GdH9AyIS0/9I/ZDUvtw7wico9vegLYcwFmPJBpGvY4ZWgDa+Un8RCEPua08xVJX5Dk tCIitlFRn+LWO5UNE4m9FmXGG9svXZJis49tLsa+8ByQd4sNmWT+SsKwTFuQUMRb57gi 7Eqqz3w7E0ufZaCpbtsLF6RZqgcZ76nECFuJE9ikfEztH6TjKff5x6deUsi90TtrciwR Diutuf659cHK7QtXd6vcXiPdQLXq9c1dxAZ7qVVCByxYydg7z74tSreIXRdgLgOnou7M P0QvZKy789t9LCgRynTTe8drFsYTc7y+TjKPSpcew79kkiERqxzZkyo4l9/Rf9JJ4SsD 4grg== X-Gm-Message-State: AOJu0Yz2xi15ZeuNc91C//H6uvmlXwqHCaIUi7AfypQRg5sB8iO2LGm/ 4LgyUj4uYUuaBhSbKW5A+93YjwV37GY2sGQUlA0TVwbqOHL2DwPdnqc8w5nlpW97440BKGJekvD 5jC3US3e6Lnk1Tbz3daGLgABoMuVPb4TXZNrP X-Gm-Gg: AY/fxX6/vQgPJ2h/WGnaWjZPQzGApicUo/+c/cmZ0PcDrodcE5dXnUUY9lUYwfbcKng 5tRljAmT7Rg7a1Va9+YdPAtPsTVIohIoVHRXOt6x6NYlPBNcBlW3XrxDGyxFeVgnnyiEpQhAuvB oIV9GGK8lsiEm59PoI5JIqfz3TTE0KeWmvRtxFjQ2UGNQS7KJeB+s6UcsYZeSoDj+zo05cqLGsD 6FMKQP3F/pTYS4Kx82yJWrtVRq/ntPd00c28h6qfjpG8HKkEvMlmj01k5k0eiwOhrhFoSgZAw== X-Google-Smtp-Source: AGHT+IF1pLktDpn44q0Z57mAN7K9nKu0elpGMcKT5GPEoXNK3AOmcGgwXq3V9+c9zWxqSqJZAwf53bcjgj7GMfc1G/0= X-Received: by 2002:a05:7301:420b:b0:2b0:57c3:7e50 with SMTP id 5a478bee46e88-2b05ebb2bbcmr21365467eec.15.1766985466455; Sun, 28 Dec 2025 21:17:46 -0800 (PST) MIME-Version: 1.0 From: Kenneth Adam Miller Date: Sun, 28 Dec 2025 23:17:35 -0600 X-Gm-Features: AQt7F2pdmP7nfATrT1LRvnDaASZd0fo_T5ggFKT7o_xPq3BG6917kyOHuSV5aiU Message-ID: To: caml users Content-Type: multipart/alternative; boundary="0000000000000d2ba70647105d40" Subject: [Caml-list] Invitation to work on projects Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 19419 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: --0000000000000d2ba70647105d40 Content-Type: text/plain; charset="UTF-8" Hello all, I am coming to a phase in my life where I won't be a researcher anymore and would like to open up my line of project ideas and objectives to those who are interested to learn more or work together on. If you see a title of some work you are interested in please send me a message so we can discuss it on the mailing list. Some of my project ideas are strictly white papers, some of them are very complex software research projects. I'm not going to state the internals of all projects but for many of them I have some inclination on how to proceed in implementation. I'll make an exception to this for a couple of them so that you can get a glimpse of the insides of such projects though. For most of these, they are covered by a statement of purpose I wrote when applying to IUPUI. So I will paste that below (I'm too lazy to rewrite it). (These two projects are the top two I have prioritized, so I'm describing their internals here). Machine Learning Induction (both a white paper and a software project)- Using an anthology of functions implemented as an enumeration of all possible semantic sequences to generate C fragments from lisp, we train a model on induction that reasons about code inductively. Compiling an Inverse Compiler (both a white paper and a software project) - There are three parts to this massive project. The first is a compiler plugin that promotes every CPU operation to a matrix representation that is invertible, and produces functions that compute an input given an output by inverting all operations and computing in reverse. The second part is a function anthology to exercise all possible semantic sequences up to a finite size limit: by building this anthology we can learn what inputs (source) map to what outputs (binary). The last part is compiling a compiler using the new plugin to produce an inverse compiler that accepts as input a binary and produces a source code as output. IUPUI Math Statement of Purpose Kenneth Adam Miller I hope to develop practice in mathematical rigor with an education from IUPUI, to learn and do research for the rest of my life. Assisting other researchers with their goals is fulfilling, and I am especially excited to work in the area of modern analysis, mathematical physics, and dynamical systems. Authoring a textbook, The Fractal Nature of Time, targeting quantum algorithms and fractal mathematics for synthesis, is a life goal. The objective of this textbook will be to transform the way programming languages are conceived to suit the capabilities of quantum computers better, to synthesize algorithms using the quantum computer, to introduce new formal methods, and to deeply change the way that computation is defined. Most importantly, I hope to relate recursion and dimension in this textbook, providing a more succinct, rigorous yet powerfully expressive lambda calculi to transform math of the quantum computational model. I have extensive experience with numerous languages, including OCaml, Rust, C, C++, Python, Go, Coq, Matlab and Java. Completed projects include LLVM & BAP analysis passes and plugins, parallel/concurrent programming, kernel drivers, embedded development, reverse engineering, software rewriting and instrumentation, binary exploit development, and even quantum analyses for vulnerability identification. I work very hard and have a creative flair for introducing simplicity in programming solutions. Though I have a computer science background, I have always loved mathematics and struggled to pick between the two. The ideals of mathematics serve in formalizing and curating solutions to problems in quantum computing. Both are important, as using machines to assist in my computations enables orders of magnitude more mathematics to be explored. Synthesis with quantum algorithms should strive to produce Turing complete output. I argue for new directions to address outstanding limitations. The scalability of computing non-trivial operators may be alleviated by computationally exploring matrix patterns that leverage entrancy and periodicity. The tractability of encoding data into superpositions and number of gates per qubit may be better approached using iterated function systems to transform the problem. The quantum computational model does not capture the entire narrative, but a careful rigorization using new fractal numeric properties may serve to more precisely relate between spatio-temporal eventualities, recursion and dimension. Representation within a superposition is challenging semantically, in the properties produced by each eventuality, and for the types within, but this can be addressed with an extended isomorphy. Knowing which of the potential algorithms are efficient is challenging, but there should exist isomorphisms allowing to evaluate functions over transforming structural product spaces sufficient to reveal a fast option in a particular dimension. Completeness and consistency concerns would remain deeply vexing but I believe an upgraded Godel encoding is achievable by replacing primes with new numeric mechanisms for recognizing orthogonality, while also yielding more precise statements governing the measure of these concerns. In conclusion, without the practice to hone my writing and research, the potential to pursue these works would be lost. IUPUI is therefore vital to me. I am happy to learn more about the specific interests of fellow researchers, and hope that my work eventually will enable algorithms to scale as quantum computers grow. Subjects I hope to write on: A Quantum Algorithm for Synthesizing Algorithms Fractally Self Synthesizing Language Mathematical Properties of Love An (Extended Curry-Howard) Isomorphism for Quantum Computation A Fractal Lambda Calculus Native Quantum Languages Shortfalls of the Quantum Computational Model Quantum Zero-Knowledge Proof Search Quantum Computing and the Riemann Hypothesis Varied Uses of Deutsch-Josca Algorithm Mathematical Property Representation by Palindrome Features Quantum Algorithms and Fixpoints A Quantum Algorithmic Method for Identifying Lowest Complexity Quantum Algorithms for Vulnerability Analyses Synthetic Charisma Compiler Instrumentation and Algorithms for Language Acquisition Mathematical Limitations of Many Binary Analysis Tasks Quantum Parallelism and Complexity Bitcoin is a Cryptographic Attack The Blockchain and Fractal Mathematics Simple Ground Truth Mechanisms for Binary Analysis Tasks The Fundamental Theorem of Computer Science --0000000000000d2ba70647105d40 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello all,

I am coming to a phase in my= life where I won't be a researcher anymore and would like to open up m= y line of project ideas and objectives to those who are interested to learn= more or work together on. If you see a title of some work you are interest= ed in please send me a message so we can discuss it on the mailing list. So= me of my project ideas are strictly white papers, some of them are very com= plex software research projects. I'm not going to state the internals o= f all projects but for many of them I have some inclination on how to proce= ed in implementation. I'll make an exception to this for a couple of th= em so that you can get a glimpse of the insides of such projects though. Fo= r most of these, they are covered by a statement of purpose I wrote when ap= plying to IUPUI. So I will paste that below (I'm too lazy to rewrite it= ).

(These two projects are the top two I have prio= ritized, so I'm describing their internals here).

<= div>Machine Learning Induction (both a white paper and a software project)-= Using an anthology of functions implemented as an enumeration of all possi= ble semantic sequences to generate C fragments from lisp, we train a model = on induction that reasons about code inductively.

= Compiling an Inverse Compiler (both a white paper and a software project) -= There are three parts to this massive project. The first is a compiler plu= gin that promotes every CPU operation to a matrix representation that is in= vertible,=C2=A0and produces functions that compute an input given an output= by inverting all operations and computing in reverse. The second part is a= function anthology to exercise all possible semantic sequences up to a fin= ite size limit: by building this anthology we can learn what inputs (source= ) map to what outputs (binary). The last part is compiling a compiler using= the new plugin to produce an inverse compiler that accepts as input a bina= ry and produces a source code as output.=C2=A0

IUPUI Math Stat= ement of Purpose Kenneth Adam Miller =


I hope to develop practice in mathematical rigor with an educ= ation from IUPUI, to learn and do research for the rest of my life. Assisti= ng other researchers with their goals is fulfilling, and I am especially ex= cited to work in the area of modern analysis, mathematical physics, and dyn= amical systems. Authoring a textbook, The Fractal Nature of Time, targeting= quantum algorithms and fractal mathematics for synthesis, is a life goal. = The objective of this textbook will be to transform the way programming lan= guages are conceived to suit the capabilities of quantum computers better, = to synthesize algorithms using the quantum computer, to introduce new forma= l methods, and to deeply change the way that computation is defined. Most i= mportantly, I hope to relate recursion and dimension in this textbook, prov= iding a more succinct, rigorous yet powerfully expressive lambda calculi to= transform math of the quantum computational model.=C2=A0


I have extensive experience with numerous languages, including OCaml, Ru= st, C, C++, Python, Go, Coq, Matlab and Java. Completed projects include LL= VM & BAP analysis passes and plugins, parallel/concurrent programming, = kernel drivers, embedded development, reverse engineering, software rewriti= ng and instrumentation, binary exploit development, and even quantum analys= es for vulnerability identification. I work very hard and have a creative f= lair for introducing simplicity in programming solutions. Though I have a c= omputer science background, I have always loved mathematics and struggled t= o pick between the two. The ideals of mathematics serve in formalizing and = curating solutions to problems in quantum computing. Both are important, as= using machines to assist in my computations enables orders of magnitude mo= re mathematics to be explored.


Synthesis with quantum algorithms should= strive to produce Turing complete output. I argue for new directions to ad= dress outstanding limitations. The scalability of computing non-trivial ope= rators may be alleviated by computationally exploring matrix patterns that = leverage entrancy and periodicity. The tractability of encoding data into s= uperpositions and number of gates per qubit may be better approached using = iterated function systems to transform the problem. The quantum computation= al model does not capture the entire narrative, but a careful rigorization = using new fractal numeric properties may serve to more precisely relate bet= ween spatio-temporal eventualities, recursion and dimension. Representation= within a superposition is challenging semantically, in the properties prod= uced by each eventuality, and for the types within, but this can be address= ed with an extended isomorphy. Knowing which of the potential algorithms ar= e efficient is challenging, but there should exist isomorphisms allowing to= evaluate functions over transforming structural product spaces sufficient = to reveal a fast option in a particular dimension. Completeness and consist= ency concerns would remain deeply vexing but I believe an upgraded Godel en= coding is achievable by replacing primes with new numeric mechanisms for re= cognizing orthogonality, while also yielding more precise statements govern= ing the measure of these concerns.=C2=A0


In conclusion, without the pra= ctice to hone my writing and research, the potential to pursue these works = would be lost. IUPUI is therefore vital to me. I am happy to = learn more about the specific interests of fellow researchers, and hope tha= t my work eventually will enable algorithms to scale as quantum computers g= row.


Subjects I hope to write on:

=C2=A0 A Quantum Algorithm for Synthesizin= g Algorithms

Fractally Self Synthesizing Language

Mathematical Properties o= f Love

An (Extended Curry-Howard) Isomorphism for Quantum Computation

A Fra= ctal Lambda Calculus

Native Quantum Languages

Shortfalls of the Quantum Com= putational Model

Quantum Zero-Knowledge Proof Search

Quantum Computing and = the Riemann Hypothesis

Varied Uses of Deutsch-Josca Algorithm

Mathematical = Property Representation by Palindrome Features

Quantum Algorithms and Fixpo= ints

= A Quantum Algorithmic Method for Identifying Lowest Complexity<= /p>

Quantum= Algorithms for Vulnerability Analyses

Synthetic Charisma

Compiler Instrum= entation and Algorithms for Language Acquisition

Mathematical Limitations o= f Many Binary Analysis Tasks

Quantum Parallelism and Complexity

<= p dir=3D"ltr" style=3D"line-height:1.2;margin-top:0pt;margin-bottom:0pt"> Bitcoin is a Cryptographic Attack

=

<= span style=3D"font-size:12pt;font-family:"Liberation Serif";backg= round-color:transparent;font-variant-numeric:normal;font-variant-east-asian= :normal;font-variant-alternates:normal;vertical-align:baseline"> = The Blockc= hain and Fractal Mathematics

Simple Ground Truth Mechanisms for Binary Anal= ysis Tasks

The Fundamental Theorem of Computer Science

--0000000000000d2ba70647105d40--