By Tag


Axiom of Choice: Definition (Formal)

A-Class

AI alignment

AI alignment open problem

Arbital "tag" relationship

Arbital page summaries

Arbital project outline

Assuming significant overhead in monitoring recipients of a microloan, it's more efficient to let them keep the money.

Autonomous AGI

B-Class

Bayesian reasoning

Behaviorist genie

Bijective function

C-Class

Category theory

Central examples

Complexity of value

Concept

Context disaster

Corrigibility

Cyclic Group Intro (Math 0)

Decision theory

Definition

Development phase unpredictable

Disambiguation

Discussion norms

Do-What-I-Mean hierarchy

Donor coordination

Duncan Sabien

Edge instantiation

Effective altruism

Empty set

Example problem

Executable philosophy

Exercise

Existential risk

External resources

Extraordinary claims

Fallacies

Formal definition

Function

Glossary (Value Alignment Theory)

Goodness estimate biaser

Group

Group isomorphism

Guarded definition

Guide

High-speed explanation

Humans doing Bayes

Humean degree of freedom

Image requested

Isomorphism: Intro (Math 0)

It's better to give $1000 to one person one time than to lend it out through microloans and then, as the money's repaid, keep relending it to other people indefinitely

Just a requisite

Known-algorithm non-self-improving agent

List

Look where I'm pointing, not at my finger

Low-speed explanation

Math 0

Math 1

Math 2

Math 3

Meta (Arbital Labs)

Meta tags

Meta tags which request an edit to the page

Meta-utility function

Methodology of foreseeable difficulties

Microlending

Mindcrime

Morphism

Nearest unblocked strategy

Needs accessible summary

Needs brief summary

Needs clickbait

Needs examples

Needs exercises

Needs image

Needs lenses

Needs parent

Needs splitting by mastery

Needs summary

wiki

no-type

Needs work

Niceness is the first line of defense

Nick Bostrom

Non-adversarial principle

Non-standard terminology

Ontology identification problem

Open subproblems in aligning a Task-based AGI

Opinion page

Out of date

wiki

no-type

Paperclip maximizer

Patch resistance

Paul Christiano

Philosophy

Placeholder

Politics

Proof

Proposed A-Class

Proposed B-Class

Psychologizing

Rationality

wiki

no-type

Set

Shutdown problem

Shutdown utility function

Start

wiki

no-type

Stub

wiki

no-type

Style guidelines

Subjective probability

Task identification problem

Task-directed AGI

The composition of two group homomorphisms is a homomorphism

Thought experiment

Type theory

Unassessed

Unforeseen maximum

Utility indifference

Value identification problem

Vingean uncertainty

With some fixed amount of money to start, a microloan charity could make loans indefinitely

Work in progress

wiki

comment