From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: goncholden Newsgroups: gmane.emacs.help Subject: Re: [External] : Re: Indentation with spaces Date: Sat, 11 Jun 2022 05:51:06 +0000 Message-ID: References: <87fskezg7s.fsf@dataswamp.org> <87bkuzu6dx.fsf@dataswamp.org> Reply-To: goncholden Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34348"; mail-complaints-to="usenet@ciao.gmane.io" Cc: help-gnu-emacs@gnu.org To: Emanuel Berg Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jun 11 07:53:13 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 1nzu3d-0008i9-FO for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 11 Jun 2022 07:53:13 +0200 Original-Received: from localhost ([::1]:33978 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nzu3c-0003KW-3R for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 11 Jun 2022 01:53:12 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:41446) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nzu1v-0003Ie-Oz for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 01:51:27 -0400 Original-Received: from mail-4318.protonmail.ch ([185.70.43.18]:12623) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nzu1t-0000xW-2x for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 01:51:27 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1654926676; x=1655185876; bh=U58LeP2Sl7rgdFJPqqVOPIG/EMzImu5pj24t/MbRkP0=; h=Date:To:From:Cc:Reply-To:Subject:Message-ID:In-Reply-To: References:Feedback-ID:From:To:Cc:Date:Subject:Reply-To: Feedback-ID:Message-ID; b=Q9GVeVc1i/cBy9MbKXAbOBGcnJmJPh0ATzox3ZU0sq+ZRCIV3n1u4Gk9DHc2YmMCU TzGERqmaIsGWiInb9ObqDauWDd/eSjt4aoMDZ1vXQjIPsT64TprkqqAK9vO5WxuXt3 86OdKdUg8YKJr5kZZdqtlTqBPixTHkSLxZJAY455ku2Rzpa4a28PkgBFGQbXLFFqEj v1W4+jPufq9T/lVPsdnH6Kw8uiSRIYCPQBHXH2TQUbOatAeTMyj7lkg/1GAu+Pj2v6 Tp/Avne0iRtZLDlynQgZR2iDCmNrGfg+pEYTxYoXzOzd57MW4klfA2MhL5VTYvsWy1 X+xQ8xOSEYnBw== In-Reply-To: <87bkuzu6dx.fsf@dataswamp.org> Feedback-ID: 43053548:user:proton Received-SPF: pass client-ip=185.70.43.18; envelope-from=goncholden@protonmail.com; helo=mail-4318.protonmail.ch X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-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:137663 Archived-At: ------- Original Message ------- On Saturday, June 11th, 2022 at 5:16 PM, Emanuel Berg = wrote: > Drew Adams wrote: > > > > > 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 o= f > > > 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! > > > I don't get it joke but > > 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] Ramanujan came up with modular forms that hundred years later were found to= describe black holes! > Interesting! OWA seems reasonable but how did they come up > with CWA, when is that useful and what's closed about it, > 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? > > A closed interval of integers, say [1, 3] means the endpoints > are included, so as a Lisp list that would be '(1 2 3). But an > open or half-open interval, e.g. [1, 3) only includes > everything up to the endpoint but not the actual endpoint, so > that, again [1, 3) would be '(1 2). I don't know, "open" and > "closed"? > > Then there is the Open Door Policy - new and old imperial > powers do business with China on equal terms, and in return > they won't disintegrate the whole country and split between > themselves LOL :) > > [1] https://www.dataversity.net/introduction-to-open-world-assumption-vs-= closed-world-assumption/ > > -- > underground experts united > https://dataswamp.org/~incal