unofficial mirror of help-gnu-emacs@gnu.org
 help / color / mirror / Atom feed
From: Emanuel Berg <incal@dataswamp.org>
To: help-gnu-emacs@gnu.org
Subject: Re: [External] : Re: Indentation with spaces
Date: Sat, 11 Jun 2022 07:16:26 +0200	[thread overview]
Message-ID: <87bkuzu6dx.fsf@dataswamp.org> (raw)
In-Reply-To: SJ0PR10MB5488390408A1749D235DE2B1F3A79@SJ0PR10MB5488.namprd10.prod.outlook.com

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




  parent reply	other threads:[~2022-06-11  5:16 UTC|newest]

Thread overview: 76+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-06-08 22:21 Indentation with spaces goncholden via Users list for the GNU Emacs text editor
2022-06-08 22:52 ` Skip Montanaro
2022-06-08 23:40   ` goncholden
2022-06-09  1:57     ` Skip Montanaro
2022-06-09  3:08       ` Emanuel Berg
2022-06-09  3:12         ` goncholden
2022-06-09  3:17           ` Emanuel Berg
2022-06-09 12:01             ` goncholden
2022-06-10 10:02               ` Emanuel Berg
2022-06-09  9:51         ` Skip Montanaro
2022-06-09 12:33           ` goncholden
2022-06-09 18:43             ` Lele Gaifax
2022-06-10  9:57             ` Emanuel Berg
2022-06-10 10:29             ` Emanuel Berg
2022-06-10 18:43               ` goncholden
2022-06-11  4:37               ` Christopher Dimech
2022-06-11  5:38                 ` Emanuel Berg
2022-06-11  6:16               ` Christopher Dimech
2022-06-09 13:37           ` goncholden
2022-06-09 13:49             ` goncholden
2022-06-09 16:06               ` tomas
2022-06-10 10:08               ` Emanuel Berg
2022-06-10  9:45           ` Emanuel Berg
2022-06-10 17:57             ` goncholden
2022-06-10 18:08               ` tomas
2022-06-10 18:12                 ` goncholden
2022-06-10 18:33                   ` Emanuel Berg
2022-06-10 18:46                     ` goncholden
2022-06-10 18:40                   ` tomas
2022-06-10 18:53                     ` Emanuel Berg
2022-06-10 19:05                       ` goncholden
2022-06-10 19:27                         ` goncholden
2022-06-11  0:56                       ` goncholden
2022-06-10 18:29               ` Emanuel Berg
2022-06-09 13:27         ` Po Lu
2022-06-09 15:44           ` goncholden
2022-06-10 10:20             ` Emanuel Berg
2022-06-10 10:16           ` Emanuel Berg
2022-06-10 11:35             ` Po Lu
2022-06-10 18:26               ` goncholden
2022-06-11  0:57                 ` Po Lu
2022-06-11  1:05                   ` goncholden
2022-06-11  1:17                     ` Po Lu
2022-06-11  1:33                       ` goncholden
2022-06-11  1:36                         ` goncholden
2022-06-11  7:38                           ` Eli Zaretskii
2022-06-11  7:44                             ` Emanuel Berg
2022-06-11  8:26                               ` Eli Zaretskii
2022-06-11  7:57                             ` goncholden
2022-06-11  8:27                               ` Eli Zaretskii
2022-06-11  9:07                                 ` goncholden
2022-06-11 10:10                                   ` Eli Zaretskii
2022-06-11 15:43                                   ` [External] : " Drew Adams
2022-06-11 20:31                                     ` goncholden
2022-06-12  2:21                                       ` Drew Adams
2022-06-12  3:08                                         ` goncholden
2022-06-12  6:42                                       ` Eli Zaretskii
2022-06-11  1:49                       ` Emanuel Berg
2022-06-11  2:05                         ` goncholden
2022-06-10 23:01               ` Emanuel Berg
2022-06-11  0:00                 ` goncholden
2022-06-11  7:31                   ` Eli Zaretskii
2022-06-11  0:58                 ` Po Lu
2022-06-11  1:41                   ` Emanuel Berg
2022-06-09 19:01         ` Stefan Monnier via Users list for the GNU Emacs text editor
2022-06-09 20:16           ` [External] : " Drew Adams
2022-06-09 20:20             ` goncholden
2022-06-11  5:16             ` Emanuel Berg [this message]
2022-06-11  5:33               ` tomas
2022-06-11  5:44                 ` Emanuel Berg
2022-06-11  5:51               ` goncholden
2022-06-11 15:43               ` Drew Adams
2022-06-12  4:45                 ` RE: [External] : " Christopher Dimech
2022-06-13  5:04                 ` [External] : " Emanuel Berg
2022-06-10 10:29           ` reinventing the wheel but not faculty, libraries (was: Re: Indentation with spaces) Emanuel Berg
2022-06-09  5:30     ` Indentation with spaces Eli Zaretskii

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87bkuzu6dx.fsf@dataswamp.org \
    --to=incal@dataswamp.org \
    --cc=help-gnu-emacs@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).