User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 03:22, 25 April 2020 (diff | hist) . . (+1,089) . . N Central node trick for remembering equivalent properties (Created page with "a way to memorize characterizations/equivalent properties in math — make them ''all'' related to a single "canonical" property, then make sure you know how to bridge the gap...")
- 03:16, 25 April 2020 (diff | hist) . . (+670) . . N Distortion of true frequency of piece of knowledge due to spaced repetition (Created page with "does anki distort the "true frequency" of a piece of knowledge? because all cards are reviewed in the same way (uses the same spacing algorithm), you see "less useful" pieces...")
- 03:11, 25 April 2020 (diff | hist) . . (+45) . . N Spaced repetition (Created page with "For now, see Category:Spaced repetition.")
- 03:10, 25 April 2020 (diff | hist) . . (+671) . . N Spaced repetition as generator of questions (Created page with "anki as a way to ask questions about things: i quite often have questions about stuff as i'm reviewing on anki. i stop to write these down before continuing. if i hadn't enter...")
- 03:08, 25 April 2020 (diff | hist) . . (+1,041) . . N Spaced proof review as a way to understand key insights in a proof (Created page with " One time I completely forgot the trick for how to even get started proving Löb's theorem. (That's sort of a good thing because I wasn't just relying on a memorized trick!)...")
- 02:59, 25 April 2020 (diff | hist) . . (+698) . . N Spaced proof review as a way to invent novel proofs (Created page with "one of the great things about proof cards is that when you prove something after months of not seeing it, you sometimes come up with a novel proof! this happened with one of m...")
- 02:48, 25 April 2020 (diff | hist) . . (+167) . . N Anki deck philosophy (Created page with "I have developed my own philosophy regarding Anki decks, which I think is pretty different from the typical ways in which Anki decks are organized. Category:Anki")
- 02:35, 25 April 2020 (diff | hist) . . (+297) . . N Incremental reading in Anki (Created page with "'''Incremental reading in Anki''' is not supported by default. There are some plugins for it, but I haven't tried them. My own approach is to add read-only cards (i.e. cards t...")
- 02:33, 25 April 2020 (diff | hist) . . (+660) . . N Spaced repetition as soft alarm clock (Created page with "Typical alarm clocks are ''hard'' in the sense that they require precisely choosing some future moment in time at which to sound the alarm. Some alarms have a "snooze" button,...")
- 02:28, 25 April 2020 (diff | hist) . . (+82) . . N Category:Spaced repetition (Created page with "Pages about spaced repetition, which is a broader category than just Anki.") (current)
- 02:28, 25 April 2020 (diff | hist) . . (+51) . . N Category:Anki (Created page with "Pages about Anki, the spaced repetition system.") (current)
- 02:26, 25 April 2020 (diff | hist) . . (+1,320) . . N Linked list proof card (Created page with "'''Linked list proof card''' is a method of memorizing proofs using Anki. In linked list proof cards, each card asks for the next step in a proof so the cards together form a...")
- 04:26, 24 April 2020 (diff | hist) . . (+124) . . N Jonathan Blow (Created page with "'''Jonathan Blow''' jonathan blow on his aphantasia: https://youtu.be/tRHnHlV96Jg?t=763 (go back a bit from this timestamp)")
- 20:41, 23 April 2020 (diff | hist) . . (+109) . . N The Secret of Psalm 46 (Created page with "'''The Secret of Psalm 46''' is a talk by Brian Moriarty. ==See also== * The Secret of Psalm 46 outline")
- 20:39, 23 April 2020 (diff | hist) . . (+2,662) . . N The Secret of Psalm 46 outline (Created page with " ==Outline== 0:00 Eclipse RadioShack -- free batteries, how people bother to get the free batteries, even though they were crappy; lesson from this Masquerade, easter eggs...")
- 02:14, 23 April 2020 (diff | hist) . . (+237) . . N People watching (Created page with "'''People watching''', according to me, refers to the art/science/act of observing people, judging them, classifying them, analyzing them, finding them, etc. etc. ==Big pictu...")
- 00:18, 22 April 2020 (diff | hist) . . (+59) . . N Explorable explanation (Created page with " ==External links== * wikipedia:Explorable explanation")
- 02:11, 20 April 2020 (diff | hist) . . (+407) . . N Finiteness assumption in explorable media (Created page with "Explorable and interactive media seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mat...")
- 22:20, 16 April 2020 (diff | hist) . . (+1,306) . . N AI will solve everything argument against AI safety (Created page with "My understanding of this argument is that if we get AGI, that will solve all of our other problems. So we should try to get there as fast as possible, without worrying about A...")
- 07:44, 16 April 2020 (diff | hist) . . (+1,547) . . N Personhood API vs therapy axis of interpersonal interactions (Created page with "Building off of: * https://meltingasphalt.com/personhood-a-game-for-two-or-more-players/ * https://www.greaterwrong.com/posts/uxYemA2ttzjs8z8Eb/drive-by-low-effort-criticism/...")
- 02:24, 16 April 2020 (diff | hist) . . (+722) . . N Selection effect for successful formalizations (Created page with "It's possible to point to some successful formalizations of things, like formalizing math, or formalizing computation. But there is a selection effect here because we are...")
- 03:01, 15 April 2020 (diff | hist) . . (+698) . . N The Precipice notes (Created page with "* "If we are the only moral agents that will ever arise in our universe—the only beings capable of making choices on the grounds of what is right and wrong—then responsibi...")
- 07:46, 8 April 2020 (diff | hist) . . (+674) . . N Tao Analysis I exercise count (Created page with "chapters 1-11: <pre>>>> (0 + 0) + (0 + 6 + 5) + (11 + 3 + 8 + 11 + 13 + 10) + (8 + 6 + 5 + 3) + (1 + 2 + 5 + 8 + 5 + 3) + (10 + 2 + 4 + 10 + 3 + 5 + 1) + (5 + 6 + 3 + 1 + 3)...")
- 07:03, 8 April 2020 (diff | hist) . . (+1,660) . . N Website to aggregate solutions to textbook exercises (Created page with "Why isn't there a website that pays users to submit solutions to textbook exercises, and then charges people to read those answers? it seems like many students are already do...")
- 06:17, 5 April 2020 (diff | hist) . . (+53) . . N Kasparov window (Created page with "https://www.google.com/search?q=%22kasparov+window%22")
- 23:01, 31 March 2020 (diff | hist) . . (+323) . . N Statistical analysis of expert timelines argument for AI timelines (Created page with "This is a kind of higher-order/meta-level argument that simply performs a statistical analysis of experts' AI timelines to come up with some overall estimate of AI timelines....")
- 22:58, 31 March 2020 (diff | hist) . . (+323) . . N Category:AI timelines arguments (Created page with "An AI timelines argument gives a self-contained account of when humans are expected to create an AGI. In other words, the pages in this category do not simply give evi...")
- 22:52, 31 March 2020 (diff | hist) . . (+527) . . N Laplace's rule of succession argument for AI timelines (Created page with "The '''Laplace's rule of succession argument for AI timelines''' uses Laplace's rule of succession to estimate when humans will create AGI. Th...")
- 09:10, 31 March 2020 (diff | hist) . . (+1,706) . . N Probability and statistics as fields with an exploratory medium (Created page with "Something I've noticed about probability and statistics is that when I'm working on something (most recently, I was thinking about [https://stacky.net/wiki/index.php?title=Aga...")
- 04:36, 28 March 2020 (diff | hist) . . (+611) . . N List of men by number of sons, daughters, and wives (Created page with "List of men along with their number of sons, daughters, and wives. {| class="sortable wikitable" ! Name !! Sons !! Daughters !! Children (sons + daughters) !! Wives !! Source...")
- 05:19, 26 March 2020 (diff | hist) . . (+342) . . N List of experiments with Anki (Created page with "On this page, I want to keep a list of experiments that I have tried or am currently trying with Anki. These experiments aren't formal (I don't do any rigorous data collection...")
- 08:55, 19 March 2020 (diff | hist) . . (+848) . . N Popularity symbiosis (Created page with "one of the things i've noticed is that i find people by looking for discussions of more famous people. e.g. i might find some random person's blog by searching for keith frank...")
- 08:50, 19 March 2020 (diff | hist) . . (+4,864) . . N Interacting with copies of myself (Created page with "(this is really crazy; don't read this) how should i interact with other copies of myself? sometimes there are people who think so similarly to you, who are value-aligned, et...")
- 08:18, 19 March 2020 (diff | hist) . . (+1,196) . . N Convergent evolution of values (Created page with "multiplicative process => log-resource utility function i think there can be lots of similar, robust phenomena like this, for evolved organisms. so in terms of six plausible...")
- 23:46, 15 March 2020 (diff | hist) . . (+152) . . N The Hour I First Believed (Created page with "'''"The Hour I First Believed"''' is a blog post by Scott Alexander about acausal trade and a big picture of what will happen in the multiverse.")
- 04:12, 15 March 2020 (diff | hist) . . (+18) . . N Test (Created page with "test <comments />")
- 01:25, 10 March 2020 (diff | hist) . . (+726) . . N AI prepping (Created page with ""As to the final step, I’m not claiming that AI is an extinction risk. I think that it’s not clear that even an AI that went badly wrong would want to kill everyone. I thi...")
- 00:46, 10 March 2020 (diff | hist) . . (+1,055) . . N Late singularity (Created page with "here "late singularity" means something like "the singularity happens 200+ years from now, rather than like 20 years or 100 years". are late singularities actually better? if...")
- 21:09, 8 March 2020 (diff | hist) . . (+294) . . N UDASSA (Created page with "'''UDASSA''' (sometimes also written '''UD+ASSA''' to make the two components clear) is a theory of anthropics. ==Etymology== The name "UDASSA" comes from "universal distrib...")
- 08:16, 8 March 2020 (diff | hist) . . (+94) . . N List of big discussions in AI alignment (Created page with "* Coherence and goal-directed agency discussion * Realism about rationality discussion")
- 22:52, 7 March 2020 (diff | hist) . . (+791) . . N Selection effect for who builds AGI (Created page with ""But also, what I’m more worried about is that the arguments will always be a bit uncertain, and that they will be the kind of arguments that maybe should push a rational pe...")
- 07:42, 5 March 2020 (diff | hist) . . (+187) . . N MIRI vs Paul research agenda hypotheses (Created page with "from "The concern" in https://agentfoundations.org/item?id=1220 key hopes listed in https://www.greaterwrong.com/posts/HCv2uwgDGf5dyX5y6/preface-to-the-sequence-on-iterated-a...")
- 22:35, 1 March 2020 (diff | hist) . . (+3,114) . . N Comparison of terms related to agency (Created page with "{| class="wikitable" ! Term !! Opposite |- | Agent || |- | Optimizer, optimization process || |- | consequentialist || |- | expected utility maximizer || |- | goal-directed, g...")
- 04:33, 27 February 2020 (diff | hist) . . (+73) . . N Terms used to describe intelligence of agents (Issa moved page Terms used to describe intelligence of agents to List of terms used to describe the intelligence of an agent) (current) (Tag: New redirect)
- 04:31, 27 February 2020 (diff | hist) . . (+421) . . N List of terms used to describe the intelligence of an agent (Created page with "Eliezer has lots of terms to describe how intelligent/powerful/whatever an agent is. * Relevant * Pivotal (is this only for actions, or also for agents, as in "agent who...")
- 03:30, 27 February 2020 (diff | hist) . . (+529) . . N Coherence and goal-directed agency discussion (Created page with "https://www.greaterwrong.com/posts/vphFJzK3mWA4PJKAg/coherent-behaviour-in-the-real-world-is-an-incoherent#comment-F2YB5aJgDdK9ZGspw https://www.greaterwrong.com/posts/NxF5G6...")
- 04:33, 26 February 2020 (diff | hist) . . (+381) . . N Simple core (Created page with "'''Simple core''' is a term that has been used to describe various things in AI safety. * Simple core to corrigibility<ref>https://ai-alignment.com/corrigibility-3039e668...")
- 23:27, 25 February 2020 (diff | hist) . . (+359) . . N Agent foundations (Created page with "==Terminology== There are many different terms used to describe MIRI's research, and it's a little unclear how careful people are when using these terms. * agent foundations...")
- 07:42, 25 February 2020 (diff | hist) . . (+34) . . N Uncertain Future (Redirected page to The Uncertain Future) (current) (Tag: New redirect)
- 03:54, 25 February 2020 (diff | hist) . . (+27) . . N Wei Dai (Created page with "aka distributor of weipills")
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)