From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: [External] : Re: [PATCH v3] Allow applying filters to summary consecutively Date: Fri, 11 Nov 2022 18:22:51 +0000 Message-ID: References: <874jvaont2.fsf@autistici.org> <83r0ybs07r.fsf@gnu.org> <83r0y9q5j1.fsf@gnu.org> <9aa7db1076472a25a239@heytings.org> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="33416"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "rms@gnu.org" , "andrea.monaco@autistici.org" , "rpluim@gmail.com" , "emacs-devel@gnu.org" To: Gregory Heytings , Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Nov 11 19:36:12 2022 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1otYss-0008Qb-IE for ged-emacs-devel@m.gmane-mx.org; Fri, 11 Nov 2022 19:36:10 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1otYqU-0006vw-U4; Fri, 11 Nov 2022 13:33:43 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1otYqM-0006tb-7T for emacs-devel@gnu.org; Fri, 11 Nov 2022 13:33:37 -0500 Original-Received: from mx0b-00069f02.pphosted.com ([205.220.177.32]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1otYqJ-0007IL-NF; Fri, 11 Nov 2022 13:33:33 -0500 Original-Received: from pps.filterd (m0246630.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2ABIMHRd013647; Fri, 11 Nov 2022 18:22:59 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2022-7-12; bh=iiJIvXKAlpG9Abd/ZnkWm76a8afPz6EnSNZiIBcMP7g=; b=mjM3TiGdi9e0ezAjTniR5sWj+vfXkdzoJib4UFF4MCT2uNyxCZ8JZX9p4KUC3JcU42Y1 zaB4f6ktQdyk1kufs7LbjoMbmHQ2un5hn99622zFiJFWrvGqV1iMUSUGyu5z6sWjQe/q ooJpyFpMh/NsvJPZgXypT4K7xzXGyS/S6i/fOOmAPHsyHJGeqWmT0eVBJf699/MjFQH1 X5gY3GfOV5Yq1idvqPJMFJcLRs7nOirDV38hBgXdCj068bth7LK+2yNINPe2iESlbec9 oNajnwW7nzAsEzgRoU78PpzKUtPiMZp4d18RW8pFXOUNlpaglAUy9xCh0/yOoOy7NClU Ug== Original-Received: from iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta02.appoci.oracle.com [147.154.18.20]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3ksu35g1ws-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 11 Nov 2022 18:22:59 +0000 Original-Received: from pps.filterd (iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 2ABHVBvG021418; Fri, 11 Nov 2022 18:22:53 GMT Original-Received: from nam02-sn1-obe.outbound.protection.outlook.com (mail-sn1anam02lp2041.outbound.protection.outlook.com [104.47.57.41]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 3kpcsjaqug-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 11 Nov 2022 18:22:53 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jIDu395FnTj77Yqj49QAnA5iMnJZFanHKKD2TEIRWtTVnUNo0Rc0FN9IYxDqt8fpH6LamjJLFYDEcrPsPcCtlT2bda8t8RRzliQqdLGKADU5++2hhQsbPT/NxGDLtG3ZaYNYw24S5DTPoPfavVib2yfFGJG2Uj71VkKr+HyFQJygi4SF+E5op7BHtqQtWwtRy34LZnaN6f3oWGVVMCU7Qc8HQF01OvJgYMELcoL/ky2Miqpi2QVMvtvF77If0/TvMjnrxyed+cGlEF7lkylZJd6CnCvXI6mBA5fQfgdjPe2W9Nr+I2ux5d9zF7a1lJv9uoFa1srwV0JVrqOKEf+KNQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=iiJIvXKAlpG9Abd/ZnkWm76a8afPz6EnSNZiIBcMP7g=; b=iMb1JuIL0E2eLN3QytpaZvVisAvMNTMiUdHHI7/71Q+o5JzLQSwhaHo9LcqCaWHs3gBhihzdYI1Z5P2NG57M5nO3Faka1Lleeqr1acJMA5No6fsfpbVS27aj7EwuTYO+kQQLo19zwQObLuQULyQ6m6xyJKmlTNV7cS7RaQApWRvcpwsGVuEQiYNl1d8KnTPrgzhedUc6cnTnH2CoU3SHbHG0oNLznUAvTRWwJ78AX5hPef09LHX6b50g3tR8mriDfG6kJ2PGDaW5qp+eZrt+Bf7fl1LcA5Tj0Tf1fOSZXt4QM8RMhM0gZ1FIIH47ZVK8qzKbYkfwvKRs0eMQTBG2Cw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=iiJIvXKAlpG9Abd/ZnkWm76a8afPz6EnSNZiIBcMP7g=; b=zfxYV/XCTbnfXpnD/L2tkG0BPFWoZa1Bo2d5NEs/C5aoCXW6fSd++ufWPrM4yMpI495cTfTunIONmC9AEQiepMKcY63jTeZ6B3DJHn5/oqh414EBoidWtuKhy10cZAUTnlhUA9F8uwGwYqUddvitjvIOE6HC1+7e4JE4wpniNXA= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by SA2PR10MB4489.namprd10.prod.outlook.com (2603:10b6:806:11a::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5813.13; Fri, 11 Nov 2022 18:22:51 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::6951:297b:f3d5:2588]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::6951:297b:f3d5:2588%9]) with mapi id 15.20.5813.013; Fri, 11 Nov 2022 18:22:51 +0000 Thread-Topic: [External] : Re: [PATCH v3] Allow applying filters to summary consecutively Thread-Index: AQHY9fecf+2GkaxJhECfvzFIUlspTq46BqjA In-Reply-To: <9aa7db1076472a25a239@heytings.org> Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-traffictypediagnostic: SJ0PR10MB5488:EE_|SA2PR10MB4489:EE_ x-ms-office365-filtering-correlation-id: fd5103dd-1f80-48e2-3f06-08dac411be67 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 7hoyYNHReDairdagGKHvKsCFThomyK9b/FfPKbCrxyKelxzsSYPsTxsUklw7POg9XwLXG3miRtOEI+LpPK+50SFoH6VCb/l/4h59gZWP1BvyIKpVsW1UZX4dTVaV91+9xjuoIFUtv8MznC8fabx0NGkhfSeF92TqFU5G3C9ozbQcoETHZrb8uDWdw8MX8AhlYVTXpMP7p4CVx+kZWVky937QIC7A9Oi1EIjYwWoO/GNvo/b/5UHptEZuojpfs9qqigwR+u1bkkK2vDrLojDiRtaChqnJFn+UgvmcBKdYT3vcLthldDV1NNx0Nl67dWMRLluJ06T4ol3SJrbqW8WbnyfVvdY4LG2AlJptSocr1r5fIBSPC5mJPrC1yoIcoQKjT975Os3lWrRiQB10kFPatDu/rpPiV+18jSTVmI5OnCrcHhspORT4pgkNhmyTfZvOzzomoEE4ieHkUdIlcP0C0nSa+KX5mN3NzooKDqZ9wZioXe86dW6v3FW/2IMqz7bkhJaJ0qtHuXwcjzJlXrotRVMxeT2E16sjkgYRvKqg9JSKbQvyozdHCxde+7OajK7bE4unWTApb0M6SCadBC4VcW/U56NMErPC8dsv+2AwGXueWnLej7CXlHThCyWwF6guWIkZ86AFuSaOSDMQDeTSM6GCAe91hMWAwsqTg95VP6jLsd6LkOMiZOTlYzorldrgrkZF/wZXxDAgFTSvjvrp4VJfQ9CQbEaG0gx95Nmwkno5NPjdBY5/34+lbR5EN +SPUX/yRJBkmM066GwqoQ8iogOfasR7YGsaZiFJM3YoGzM= x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SJ0PR10MB5488.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230022)(366004)(346002)(39860400002)(396003)(136003)(376002)(451199015)(55016003)(316002)(33656002)(38070700005)(2906002)(86362001)(38100700002)(122000001)(44832011)(8676002)(41300700001)(66556008)(52536014)(64756008)(66476007)(4326008)(9686003)(66946007)(66446008)(6506007)(4744005)(7696005)(54906003)(76116006)(8936002)(5660300002)(110136005)(83380400001)(186003)(478600001)(966005)(26005)(71200400001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?mZm5BNjV6kfJXGh2rslDG5dhk3eLDNtOX15wd1MPfQGXXN2JeZnD6qValr?= =?iso-8859-1?Q?n4ojkQnQ5hPSE32JZh012dbDQY9jL0PDGSwSVjl8lg3cus3FlNHrys89CQ?= =?iso-8859-1?Q?OYvS4GEchEWZeGH7eNwpsQerCozV5cx2wMnAWZNXAl3gUJbS/sGZBBEyJV?= =?iso-8859-1?Q?4jQs7BR4eq8WjyZ5UqmS4w+hh5Fb9x1vgVGsY36KQ1asorhqvx3ZeHU0d6?= =?iso-8859-1?Q?oMFm43YUkkvIphvEw+WkhExeXlLZpu85A6jkFSqrNjHxg+dWPk5HfQFs9E?= =?iso-8859-1?Q?TPDNjpd5JAPOmO8/aBBH72gW0sWI3YmX22P3xwAcvpqzddGlLPNTQVAjLO?= =?iso-8859-1?Q?0CHqCz4n997tShsq+xagbqhVU0X1XNWJrmRQ2QTmq0npeZ6JPkuiFVoQHT?= =?iso-8859-1?Q?Ra3KDytEhe5bmi427+bPGql3Y8tbF68sEh64378bGaftFfvJJlLcMHOIud?= =?iso-8859-1?Q?EIqJNPQNUF3EY+6UypvOKon8pNQbKiwZ3mycbNcjq2DdIqHyk9Yx0n9h8b?= =?iso-8859-1?Q?WZoe+Q9sxHRYhWsp2Mqe5IFU9FjsSvtEDC6XrtsAqJDOT2ierygNliCsEk?= =?iso-8859-1?Q?vp12RduAnYwxLHEwWlUIVZHZ2YTIkUsxOdQoOJ4Uk2TiAjb+U3pi6W4Fvi?= =?iso-8859-1?Q? X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 9iswD6XTf8JYUMYVjBfFF13E7NA73I+NP2685Nd803yDow9eh0ta73H7gwzTUnQPTNRBm5W0Ds1GQfZXqxdNnbm3Mlfj2j5LfaDwP9TuChKtSRYhhm1zNceuyq3Mznb9dDIpfiIwEJy6hs4vDPErBRLOzMqLIUnvcJ6jkt1u9Vkf3K6b2VhJwl9PRIeGvYOix25wm/WCK5LKO0O5Cfak5keIDhbmGeaNw4boomeOjC01W+KnhF/i29UOT+IH8RaYnfYTVBdCBabDv0RW5sB2ieuithwaVehHJNwaUJOKk5IHZdCDvrnLKctkMVb44eVc1e0Ei9h8Nhx24GgqebNau/MKB3A9QlvmPqHhv/v2UKsU9twUS2+R3Wmve51gqTNfh0nNUskwgR2y//O0FnpKrDheNWJnSao+VvpIIBC0ZqTQ2t8sogoaeBrG1ImB154zON5oR3IgnBh8otom6L/ZUf6ncfsSkkQrd+pmXhKzNWJ6CZS+5YOeBV327574lvn8zdGKmEofSyyLFqEJO4iSNlK3FMr9oio0Ys5SOHtQSyDaqW96RKSsNEXBPLt1C7cfr5C6VE222FsWTQgopBxtYaH76/wgnlZ3kEwTNOKCWE/IhZxJO80WTdNztuMlp68hA1FCJyIiQR0y03ZO9pgsPNqIxY/lASWJm3AlbDsp9/U3gwfxOwRLGKJ3h887rB+7c53GjtwCHHwt+QkO2yiNAgh0Cj99faVaNZb8fgBmaf2DPz qOVIIoFt864lS/h4P+XXpTDjP5XLtIHEvVn2KlJbqOhJTfDVNMF84z+VjRtG8nDAD+vaYRRlqR2BvDXHjO2J2clnVIBGEWR+G2 X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SJ0PR10MB5488.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: fd5103dd-1f80-48e2-3f06-08dac411be67 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Nov 2022 18:22:51.3644 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 1MKf0nlT5KVmpn1R2y8UUHJL3jSdfzMFzOoEHYIx8ho/ilLOoD8SkqzJaHmU5twr85oEJWPBjV1BUDBkYDMhag== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SA2PR10MB4489 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-11_10,2022-11-11_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 mlxscore=0 spamscore=0 adultscore=0 malwarescore=0 mlxlogscore=869 bulkscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2211110124 X-Proofpoint-GUID: pVvdTYXAnxzpWTYpn7GCSF8agX8-hYVD X-Proofpoint-ORIG-GUID: pVvdTYXAnxzpWTYpn7GCSF8agX8-hYVD Received-SPF: pass client-ip=205.220.177.32; envelope-from=drew.adams@oracle.com; helo=mx0b-00069f02.pphosted.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:299581 Archived-At: > I think there are two possibilities when adding another filter: either > broadening the already existing filtering ("union" in mathematical terms) > or narrowing the already existing filtering ("intersection" in > mathematical terms). I didn't realize that's what this is about. If so, it's not "filtering". Filtering _subtracts_ from the input set - it filters out zero or more members. Filtering can't _add_ to the input set. A filter is a sieve: "a device that removes something from whatever passes=A0through it". https://www.wordwebonline.com/search.pl?w=3Dfilter If you have an operation that starts with a (possibly empty) set and lets you add to it, that can't reasonably be called "filtering". For what I think you're describing, I use the verbs "narrow" (for filtering - set intersection) and "widen" (for set union). In terms of predicates / Boolean, it's AND (multiplication) and OR (addition), respectively.