Recent Tag & Wiki Activity

First you're there, and then you're not there, and they can't change you from being not there to being there, because there's nothing there to be changed from being not there to being there. That's death. This tag includes postposts about the deathdeaths of particular people, or about death in general.

Even if the stars should die in heaven
Our sins can never be undone
No single death will be forgiven
When fades at last the last lit sun.
Then in the cold and silent black
As light and matter end
We’ll have ourselves a last look back
And toast an absent friend.

– Song of Dath Ilan, Eliezer Yudkowsky

Shitposting is the noble art of saying stupid things on purpose in order to awe one's readers with the sheer nonsensicality of it all. It is said to have originated on 4chan, but it has been a part of the human spirit for long before that.

Shitposting

Shitposting is the noble art of saying stupid things on purpose in order to awe one's readers with the sheer nonsensicality of it all. It is said to have originated on 4chan, but it has been a part of the human spirit for long before that.

EveryAxioms (together with definitions) forms the basis of mathematical theory is based on a set of axioms and definitions.theorems. Every mathematical theorem is only  proven inside its axiom system.

Every mathematical theory is based on a set of axioms and definitions. Every mathematical theorem is only  proven inside the its axiom system.

All mathematics is a sort of if - then language, only true inside the appropriate axiom system.

AdAnd there are different sets of axiom systems: geometry ( eucilianeucilidian plane ) the first, set theory another, stochasic another and so on.

Every mathematical theory is based on a set of axioms and definitions. Every mathematical theorem is only  proven inside the its axiom system.

All mathematics a sort of if - then language, only true inside the appropriate axiom system.

Ad there are different sets of axiom systems: geometry ( eucilian plane ) the first, set theory another, stochasic another and so on.

The semingly "absolute trueness" of mathematics is an illusion. Playing with "mathematical certainties" outside their field can end in more and more and more illusional certainties.

Axiom

Axioms (together with definitions) forms the basis of mathematical theorems. Every mathematical theorem is only  proven inside its axiom system.

All mathematics is a sort of if - then language, only true inside the appropriate axiom system.

And there are different sets of axiom systems: geometry ( eucilidian plane ) the first, set theory another, stochasic another and so on....

(Read More)

The Brier score, for example, can be seen as a cost function. Essentially, it measures the mean squared difference between a set of predictions and the set of actual outcomes. Therefore, the lowestlower the score, the better calibrated the prediction system is. ItsIt is a scoring rule appropriated for binary of multiple discrete categories, but it should be used with ordinal variables. Mathematically, itsit is an affine transformation of the simpler Quadratic scoring rule.

I don't really understand the site's software enough to give a good explanation, but seeing the code that (at one point?) governs/governed this was helpful to me when someone linked it previously: https://github.com/ForumMagnum/ForumMagnum/blob/devel/packages/lesswrong/lib/voting/voteTypes.ts

stub

This leads to the question: How can the original agent trust that these recursively generated agents maintain goals that are similar to the original's objective ?objective?

This leads to the question :question: How can the original agent trust that these recursively generated agents maintain goals that are similar to the original's objective ?

In a deterministic logical system, assuming that all agents will share the same axioms ,axioms, "trust" arises from being able to formally prove that the conclusions reached by any subsequently generated agents will be true. The possibility to be able to have this form of trust is influenced by Löbs theorem. The inability to form this trust is called the Löbian obstacle.

An agent might have the ability to create similar or slightly better versions of itself , theseitself. These new agents can in turn create similar / better versions of themselves, and so on in a repeating pattern. This is referred to as an agent tiling itself.

stub

A Phenomenon in machine learning where a machine learning model generalizes to a test set only long after it achieved perfect loss on the training set.