mzan boosted

If you read Fictions of Luis Borges, and you liked the book, then read also Cosmicomics of Italo Calvino.

These short stories start from a scientific fact, but they became soon surreal, imaginative and with an irresistible touch of irony.

Best stories of Fictions (IMHO): "The lottery in Babylon", "The Library of Babel", and "Pierre Menard, Author of the Quixote".

Best stories of Cosmicomics: "Games without end", and "The dinosaurs".

It is better a vaccine today, than a Covid tomorrow.

@swiley @freemo @GodfreyHendrix

> You're missing the point that it's really not worth it for most people since covid isn't *nearly* as deadly.

The problem is the 4.5% hospitalization rate of 50-64 years old and 7.4% in those 65 and over (bmj.com/content/371/bmj.m4037)

If you ignore COVID, it will spread in an exponential way, and then also people with "normal" COVID complications will die because hospitals are fulls. In Italy there were a shortage of oxygen during the peek of the pandemic.

@artyr3 @freemo

> what they’re promoting is the opposite of their actions

In some cases, SJW can act in bad faith, if this report says the truth:

techrights.org/2020/08/28/the-

@Vectorfield @freemo

For most of us, the concept of “truth” doesn’t seem terribly complicated until we try to define it.

“Reality is that which, when you stop believing in it, doesn’t go away.” – Philip K. Dick

Only a provocation obviously, but I immediately though to this sentence, while reading your toot 🙂

@freemo ,

> So while I'd say they are terribly interesting, they simply arent terribly useful :)

Don't let me wrong, you are not the typical useful and popular type of number that one usually note while he is doing math, and which is reported on all mathematical papers. But I'm sure that you will find a mathematician that will find you interesting, and who will appreciate you! Good luck my uncomputable not existing real number ! :-)

@freemo

> I'd be reluctant to equate "infinite digits" with "infinite information"..

yes, I see your point. For answering in a meaningful way, I should study Information Theory (en.wikipedia.org/wiki/Informat), entropy, and so on, but I have no time/energy 🙂 And probably after doing this, your point remain valid!

So I downgrade my affirmation to: it is funny noting that any number in your list can be represented with a finite notation, except a number of type "uncomputable real", which requires an infinite number of symbols for being represented. There is no possible notation that can represent an "uncomputable real" using a finite number of symbols.

Many of them can not even be defined with a finite number of words, because they are an infinite sequence of arbitrary chosen digits.

In the linked video, they say that uncomputable reals are the majority of numbers, but I note that they are probably not interesting because you can not associate them to nothing that exists in this universe.

@freemo, nice!

Another way to categorize numbers is according the information they store.

Natural numbers are infinite, but each number store a finite amount of information.

I don't know if computable numbers with infinite digits stores finite or infinite information, but for sure each of them can be compressed to a finite representation, i.e. the algorithm computing it.

Instead real numbers with infinite arbitrary digits, have infinite information, because there is no finite algorithm that can list all the digits of one of this numbers.

Probably these real numbers are not part of the universe, because they store infinite information.

The real numbers with arbitrary infinite digits can be built in math, thanks to the power-set axiom, when you build the set of all sets of an infinite set. This is a very big set, and you can pick all elements from it, thanks to the axiom of choice.

@wyatwerp @lisp

In my opinion s-exp have advantages respect XL syntax:

* precedence is explicit;

* you can nest domain-specific languages (DSL) because the first element of an s-exp can play the role of the DSL selector;

* it is easier creating multiple well behaving s-exp syntaxs, than for infix syntaxs, because in s-exp the syntax is weird in any case, so also the new DSL syntax is not less elegant than the host language :-)

* you can edit s-exp code using structural editing, like par edit, and it will work for any DSL syntax;

Maybe there is a middle ground between s-exp and XL approach. I know that Racket is experimenting with a parens-free alternative syntax, but I didn't studied it.

@freemo this is how ships travel when they are at the limit of the plate and you observe them hidden behind a rock!

@popolon @lupyuen yes, probably you know better than me. Thanks and sorry for the FUD.

I'm rather sure that in the past there were problems with Systemd and syslog integration, as reported here news.ycombinator.com/item?id=9 but they are mainly bugs, probably nowdays resolved, and not defect by design, so you are right.

A possible "defect by design" is the fact that Systemd in any case want to be the first logging service in the pipeline, and then it can redirect to other syslog daemons. But obviously if the code is not a disaster, it should not introduce new problems, because you can disable journalctl heavy operations, and then Systemd will do only a very simple redirect.

On Hacker News there were regular posts against Systemd, written by administrators. It seems that it tried to do too much, and too fast, introducing some incompatibilities, and not being rock-solid in its implementation. So it generated some hate, because it solved problems already well managed by experienced administrators, but introducing new bugs and integration problems.

Probably nowdays the benefits are more than the left problems. I don't know in details because I administer only few servers, and I'm mainly a programmer.

In any case, indipendently from Systemd, the task to init a system and services is a very complex one, and a tool cannot cover all possible usage scenario. In extreme cases I think that there will be devop tools, with a minimal Systemd automation.

@lupyuen thanks! I'm studying different fediverse/P2P tools. Now I have doubts... if I hello to you, I'm using Mastodon as a chat, and is this good? 🙂

As Twitter alternative it seems rather good.

@rgegriff @lupyuen
my first Mastodon post 🙂 ...

Systemd can introduce problems, because it tries to integrate a lot of different services that were distinct and customizable in the past. I think to logginng for example: with Systemd you have integrated logging. But if you have a very big server, generating a lot of logs, it is difficult to customize the Systemd default logging system, while before Systemd you had a lot of different options from which choose.

Before Systemd, the service specification was less elegant, but Linux administrators were in full control, because they can swap parts. With Systemd they had to accept the choices of Systemd, and in some usage scenario, when they need to swap parts, it is not configurable/customizable enough.

It is a complete change of philosophy for Unx, because in Unix usually you assume to being in control of the details of the system, when you need this.

Qoto Mastodon

QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.

An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.