From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Emanuel Berg Newsgroups: gmane.emacs.help Subject: Re: [External] : Re: Indentation with spaces Date: Sat, 11 Jun 2022 07:16:26 +0200 Message-ID: <87bkuzu6dx.fsf@dataswamp.org> References: <87fskezg7s.fsf@dataswamp.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34875"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) To: help-gnu-emacs@gnu.org Cancel-Lock: sha1:hxiiRSwyOYIz562Mu8kaJ/mlNzs= Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jun 11 07:17:52 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 1nztVP-0008r6-1S for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 11 Jun 2022 07:17:51 +0200 Original-Received: from localhost ([::1]:44766 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nztVN-00058j-G4 for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 11 Jun 2022 01:17:49 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38102) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nztUG-00058V-0G for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 01:16:40 -0400 Original-Received: from ciao.gmane.io ([116.202.254.214]:51484) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nztUE-0004ha-7G for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 01:16:39 -0400 Original-Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1nztUB-0007Ct-6d for help-gnu-emacs@gnu.org; Sat, 11 Jun 2022 07:16:35 +0200 X-Injected-Via-Gmane: http://gmane.org/ Mail-Followup-To: help-gnu-emacs@gnu.org Mail-Copies-To: never Received-SPF: pass client-ip=116.202.254.214; envelope-from=geh-help-gnu-emacs@m.gmane-mx.org; helo=ciao.gmane.io X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no 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:137658 Archived-At: 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 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! 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] 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