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.help Subject: RE: [External] : Re: Indentation with spaces Date: Sat, 11 Jun 2022 15:43:15 +0000 Message-ID: References: <87fskezg7s.fsf@dataswamp.org> <87bkuzu6dx.fsf@dataswamp.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18431"; mail-complaints-to="usenet@ciao.gmane.io" To: Emanuel Berg , "help-gnu-emacs@gnu.org" Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jun 11 17:44:03 2022 Return-path: Envelope-to: geh-help-gnu-emacs@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 1o03HO-0004bs-Nw for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 11 Jun 2022 17:44:02 +0200 Original-Received: from localhost ([::1]:47640 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o03HN-0006BN-MN for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 11 Jun 2022 11:44:01 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:34370) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o03Gw-0006At-0b for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 11:43:34 -0400 Original-Received: from mx0a-00069f02.pphosted.com ([205.220.165.32]:41774) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o03Gr-0004Ty-Vw for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 11:43:33 -0400 Original-Received: from pps.filterd (m0246629.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 25BFWdRE023987; Sat, 11 Jun 2022 15:43:19 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2021-07-09; bh=qdCGFf07Aznbqw6fLu+3WwvIu14VK7dWNvK0fYnKbKc=; b=04TTOarjlE/IKqSqoShBESvC+Zprgn/MPx+jRAkRT1C9XybXBATOnXdM7XRSi39Z15KD BL71eznrLxhI9Ep5mBdcm5AzwXLssQrdKOodHj8Hq9ko3JIfJrdZb9xAUrKGQgTxtRRe EBfne3ZdzuV4nvJBjfWyPiEiiSWkoEqIsHfdEmGCBOkxje5Reb6HajsKkV/jlEHig/dd jDmThuexsqGrOI7TXYTPrgFelfnMDmTshyHT1JX51mKuYi/iOoVoOeBoS7CAMxkWTePw DVd8KdyUvzOkDmxBjj2SZ029xM2WUyfa4vmXyOsWoVp3mGRtq/IqXFGWEIfUrJbGK7Gf 4A== Original-Received: from phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta01.appoci.oracle.com [138.1.114.2]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3gmjx98hw3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 11 Jun 2022 15:43:18 +0000 Original-Received: from pps.filterd (phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com (8.16.1.2/8.16.1.2) with SMTP id 25BFUddf037091; Sat, 11 Jun 2022 15:43:18 GMT Original-Received: from nam02-bn1-obe.outbound.protection.outlook.com (mail-bn1nam07lp2049.outbound.protection.outlook.com [104.47.51.49]) by phxpaimrmta01.imrmtpd1.prodappphxaev1.oraclevcn.com with ESMTP id 3gmhg0xgyd-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 11 Jun 2022 15:43:18 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dXAQH8HKfLYajBSdPerDLSgoFkr0v9Angea5lYySGreATNv27rcki2PmHOXifT2xI4C9sTkcTXpMVjcHOVTfgZzxpJRCWrb7Z71tZDlrMrZlEBJUHUcEuE+ng4TT988GlKdfek8bx18aWQ2r2rhbblN3sL7ghL7uaKlUuC+4+BDVooTT8qFrI5UtG2Ad1uM6rG93Sq4G3H1lSeYHnQ2/z+eofEGsfB0zB0qGUumpf13Ff2NyrpZAsC4020R0FqOBxsdXzFhtWkel8M5Wcsz4kwc3vtoX8ZwC8RhZdGqEI308sxabFlVHL+PmRCkVs4SEx4CtiWT0J7VUd8rNblYoQA== 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=qdCGFf07Aznbqw6fLu+3WwvIu14VK7dWNvK0fYnKbKc=; b=ferMvfO17P0JTleUyz4hLeuF9PLGvqX42NhRw07HOfuFo7tZcGOPQlLtH9anzROgCViGEGfkTOyPNmo7b/nB3AP+ZcwspET0HmRuksMFOs/34DeBhhKTf572LsYTjMIINCAgNoQT66vx7nddygE+S14fy4+oyrQZc0qp9GRvxd1SIrBvVIhQB1WYDmpY78oTpudPZxctc26Hrr7fpv0Beg799x703loOKFjEx0ds7CzSZXUiEPvUidA1qUq1xlB3TlA5/wL0CNASJRmnw1rdV2m/LtBkkMvXXRcm+Mw6dbTHHKK9gdMYW3f6p7o0F63e4tskzVevEDdOiJdNjnV/lQ== 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=qdCGFf07Aznbqw6fLu+3WwvIu14VK7dWNvK0fYnKbKc=; b=Dcv7oDc6Ti5q6cAjtUf2pDtaKV1DlKbTFAt6OHtumQCm/TV0s0/pxW0B85H22HJJ+Se5tCcAmge8fflqD+qoU5JTHzejyNZ7RQBra7jus5BM5LEdj1X3+BhYnSIrqM9RpthEk7ZIKCK6d1hhzI7ZXPiGmSnd51pyEM1KkYuHorE= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by MN2PR10MB3392.namprd10.prod.outlook.com (2603:10b6:208:131::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5332.14; Sat, 11 Jun 2022 15:43:15 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::818c:10bf:c1b5:e224]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::818c:10bf:c1b5:e224%4]) with mapi id 15.20.5332.017; Sat, 11 Jun 2022 15:43:15 +0000 Thread-Topic: [External] : Re: Indentation with spaces Thread-Index: AQHYfVJ9BJ6dRImHaUuR/nVDsuw4Ca1KTQdg In-Reply-To: <87bkuzu6dx.fsf@dataswamp.org> Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 43ba4de7-a4a2-4481-2fb7-08da4bc119b7 x-ms-traffictypediagnostic: MN2PR10MB3392:EE_ x-microsoft-antispam-prvs: x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: MfGJGqIFO/gruwqYult240S4mDk+SfUpwsoP09MpH5fC62AqwZ9H3pV1gCtAl8GEiq6A9eUVrbi/FbKtlSkTnFBg1zHepdXZuAaCk18C8IwvFHlZJc18VSexXhBsE7lVLNvsQS0UG2Rqnch6ITphf/qTo7mT+Z/SDI6mJbn7mD24ykDWKwVfzjhKhDmzF14as6dc+UpUj911QnH1RYWFOhOyc058ougnIGmq/EuhIJj5Wg3L7elWHR0RK1xJvFn5O8UFfMHA7UpkSmBvXyzPEDTNWj/tRFVJIyNS60TWidYajPs2hN5DQ2SKPT6NN/U54E9yWW7+Yt5yUntV9dwM5qxem/OK0U3PiFrF4o8uZkNFYZmpu2ofKIDNtDLzjWFm/2q620/H3V/ki88lYhT7BHzWr9gCgV++K2YhP3bJtU8qxGSxJmsE0ht5CiiFm0VennwxlReUw5x+w7YvNG5AwmobhkmGPgjCas3gHBzR90HkasGYWZo6B5O5TQymfwGgLktJI0UKda8f1L456Bgu/yhg8N8vCKdNL3H3NLhBacpQ7zkBnMxMaveycunsnq6HuWZLQ7rt2SjQc9xRUE3N8UdyP7AXn+cgke1DqQ4BlozaQQKrbS+kS2GUKg7Y8k9FESdIID7Wdoc6LAMc6kiLnw2xzXDWNrZxeBxHxc+duiqxCBagKHUSDoIDfPDzDPew4xX/A8egtkBoFBE9ITiG5tC2mFYQTD7iHb/pK4iMMlYUXu3POsPUS4FH+G4VY XqmCxEiAm5pF9it9R+iRmonfDlo7YMQ8COkwTZ/PNXnhPw= 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:(13230016)(366004)(33656002)(86362001)(38100700002)(44832011)(52536014)(71200400001)(5660300002)(8936002)(2906002)(966005)(508600001)(55016003)(83380400001)(110136005)(26005)(76116006)(66946007)(9686003)(64756008)(66446008)(66476007)(8676002)(66556008)(316002)(186003)(7696005)(38070700005)(6506007)(122000001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?8Us4an4yfhwPjRwkdHw2sum8UmSxvD9uhxLAmcOvBM5BqIQMU0Ud5qyJro2N?= =?us-ascii?Q?3pRE9B0kFH9gFzIoG5w8uDdLSE68o8ZTCZ/Wis9FU0tE5oLMJAmpibTZXWV/?= =?us-ascii?Q?gKqQCmNqHWEaGFdnPJoKJGxldO0PjfXQuFTbM0QhCUK38CND9fyWxcblGcXR?= =?us-ascii?Q?Si7fFMfA2dd6AvD9nZaNPEC7FoFPv3HmMD3FQ/np65Xer1aFRfhgEbNCywIi?= =?us-ascii?Q?TLMWoSWOylbD/m2VBwksBP61IH1Rq5fwkbadfthQOpVO+vxlG+Y9tGnjYh9p?= =?us-ascii?Q?+QP//+XfUtKewzecxVdO2HHhsWpImswXkdVFT8N71Vir6fwOGbPkv8gN1KWy?= =?us-ascii?Q?dVviEg3NpjONn7s0/5i8CX5aLWBtVRrRfgn8odGBQXlR6BUftzMLXZ5188ui?= =?us-ascii?Q?L9ukroOxZCzsPparMRB7W/vWRDA1iHZsxNm39vNgBKAm8vteYfKdY7EBv1p3?= =?us-ascii?Q?DK/K+RJa7X+oKKUO2Cw0kB4NWSEJqAZP8irPcXeIg1ZQ5F2EGPDrAWBHwlYF?= =?us-ascii?Q?ZuKvLDLvoFw4UkaaJFkdM8ysuUeIALcjBu5Vx2uHar2y4iU91ovjsU+mHivi?= =?us-ascii?Q?IvS32Dyup+SmXDsrvlBMKBEgNmmCsdyDmZLskI677rx3zy9SbCODtOeLeYIn?= =?us-ascii?Q?c3 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: 43ba4de7-a4a2-4481-2fb7-08da4bc119b7 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Jun 2022 15:43:15.7928 (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: /JfYK6ee7n5XADxoGEIvIYRPVNxqFfR44atdjlN0iIOIYZZDld/axbIjbt0sIKA8sMgPx7AQvo1CNFszuFds4w== X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN2PR10MB3392 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.517, 18.0.874 definitions=2022-06-11_07:2022-06-09, 2022-06-11 signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 bulkscore=0 spamscore=0 phishscore=0 malwarescore=0 mlxscore=0 mlxlogscore=891 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2204290000 definitions=main-2206110066 X-Proofpoint-ORIG-GUID: We1kBCRU3ZH2Bi9QnCe6P5uaCfaTfW9l X-Proofpoint-GUID: We1kBCRU3ZH2Bi9QnCe6P5uaCfaTfW9l Received-SPF: pass client-ip=205.220.165.32; envelope-from=drew.adams@oracle.com; helo=mx0a-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, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:137695 Archived-At: > >>> Why is `indent-tabs-mode' t by default? > >>> Tabs should not be used. > >> > >> The world is split between 3 factions: > >> - those users who absolutely cannot tolerate TABs. > >> - those users who absolutely cannot tolerate the > >> use of SPC instead of TAB to indent. > >> - those users who have a life. > > > > Hooray! If the closed-world hypothesis applies > > then I can now say I have a life! >=20 > I don't get it joke If CWA holds, and we know/assume the world has only those 3 factions, and if neither of the first two cases holds then the third must be the case. IOW, if it's not true that you absolutely can't tolerate TABs, and it's not true that you absolutely can't tolerate SPCs, then you have a life. On the other hand, if OWA holds, maybe something other than those 3 cases holds... > but >=20 > The Closed World Assumption (CWA) is the assumption that > what is not known to be true must be false. The Open World > Assumption (OWA) is the opposite. In other words, it is the > assumption that what is not known to be true is > simply unknown. [1] >=20 > Interesting! OWA seems reasonable but how did they come up > with CWA, when is that useful It's simpler to reason with. If you don't know something to be true then you conclude that it's false. This is a common approach - databases, Prolog etc. Cf. `completing-read' with arg REQIUIRE-MATCH =3D t. Of course, one can interpret "no match" as just "dunno" or "unproven", but often it's acted on as "false". And as Tomas perhaps hinted, it's not just about classifying as true, false, and dunno. It's about the difference between any such closed classification and a representation or system that's based on the idea that both (a) the set of stuff that's classified and (b) the classification of that stuff both (1) are inherently incomplete and (2) can change. CWA is akin to not-proven-guilty-means-innocent (or not-proven-innocent-means-guilty). OWA assumes only that not-proven means not-proven. > and what's closed about it, It doesn't allow for the possibility that there are unknowns. It assumes that, at any time, what's known to be true is all there is. It's a useful simplification. But it presents difficulties wrt the nature of real knowledge and its evolution. > that you know what you know to be true and every thing else > you then and by that can tell is false. So it's a complete > state of the knowledge sphere, that's what's closed about it? Exactly. At any given time. And a system that allows for increasing or changing knowledge has somehow to deal with non-monotonic changes in what's known (in particular). > [1] > https://urldefense.com/v3/__https://www.dataversity.net/introduction- > to-open-world-assumption-vs-closed-world- > assumption/__;!!ACWV5N9M2RV99hQ!NmVaOzeFvXD6WCus5nkkRpZP7Fiih7FVO7UUsEX > d-B3ZRQ6mzozldTZQvG4Re0gXUeyMdIAKE0Bpn36B$