[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: Indentation with spaces
From: |
goncholden |
Subject: |
Re: [External] : Re: Indentation with spaces |
Date: |
Sat, 11 Jun 2022 05:51:06 +0000 |
------- Original Message -------
On Saturday, June 11th, 2022 at 5:16 PM, Emanuel Berg <incal@dataswamp.org>
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 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]
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
- Re: Indentation with spaces, (continued)
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Stefan Monnier, 2022/06/09
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/09
- RE: [External] : Re: Indentation with spaces, goncholden, 2022/06/09
- Re: [External] : Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: [External] : Re: Indentation with spaces, tomas, 2022/06/11
- Re: [External] : Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: [External] : Re: Indentation with spaces,
goncholden <=
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/11
- Re: RE: [External] : Indentation with spaces, Christopher Dimech, 2022/06/12
- Re: [External] : Re: Indentation with spaces, Emanuel Berg, 2022/06/13
- reinventing the wheel but not faculty, libraries (was: Re: Indentation with spaces), Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/09