Hi everyone :). I like Anki, find it quite useful and use it daily. There is one thing that constantly annoyed me about it, though - the state of shared decks and of infrastructure around them.

There is a lot of topics that are of common interest for a large number of people, and there is usually some shared decks available for these topics. The problem with them is that as they are usually decks created by individuals for their own purposes and uploaded to ankiweb. So they are often incomplete/of mediocre quality/etc and they are rarely supported or updated.

And there is no way to collaborate on the creation or improvement of such decks, as there is no infrastructure for it and the format of the decks won't allow you to use common collaboration infrastructure (e.g. Github). So I've been recently working on a plugin for Anki that will allow you to make a full-feature Import/Export to/from JSON. What I mean by full-feature is that it exports not just cards converted to JSON, but Notes, Decks, Models, Media etc. So you can do export, modify result, or merge changes from someone else and on Import, those changes would be reflected on your existing cards/decks and no information/metadata/etc would be lost.

The point is to provide a format that will enable collaboration using mentioned common collaboration infrastructure. So using it you can easily work with multiple people to create a deck, collaborating for example, via Github, and then deck could be updated and improved by contributions from other people.

I'm looking for early adopters and for feedback :).

The ankiweb page for plugin (that's where you can get the plugin): https://ankiweb.net/shared/info/1788670778

Github: https://github.com/Stvad/CrowdAnki

Some of my decks, on a Github (btw by using plugin, you can get decks directly from Github):

Git deck: https://github.com/Stvad/Software_Engineering__git

Regular expressions deck: https://github.com/Stvad/Software_Engineering__Regular_Expressions

Deck based on article Twenty rules of formulating knowledge by Piotr Wozniak:

https://github.com/Stvad/Learning__How-to-Formulate-Knowledge

You're welcome to use this decks and contribute back the improvements.

This is a follow-up to last year's report. Here, I will talk about my successes and failures using Spaced Repetition Software (SRS) in the classroom for a second year. The year's not over yet, but I have reasons for reporting early that should become clear in a subsequent post. A third post will then follow, and together these will constitute a small sequence exploring classroom SRS and the adjacent ideas that bubble up when I think deeply about teaching.

Summary

I experienced net negative progress this year in my efforts to improve classroom instruction via spaced repetition software. While this is mostly attributable to shifts in my personal priorities, I have also identified a number of additional failure modes for classroom SRS, as well as additional shortcomings of Anki for this use case. My experiences also showcase some fundamental challenges to teaching-in-general that SRS depressingly spotlights without being any less susceptible to. Regardless, I am more bullish than ever about the potential for classroom SRS, and will lay out a detailed vision for what it can be in the next post.

Spaced repetition is optimal for recalling factual information. It won't necessarily teach you anything that you haven't already learned. It helps you retain knowledge, and won't necessarily help you develop skills. But, within the domain of factual information that you can already comprehend, spaced repetition systems are pretty optimal. So, if you want to train your brain on a bunch of Spanish-to-English sentence translations, or stock market tickers, or definitions, or sample questions, you should use something like Anki. 

Once you start using spaced repetition, you learn that one of the biggest limits is the card-making process. Making your own cards is time-consuming, although experience will make you much faster. Experience will also teach you what makes a better card. The 20 Rules of Formatting Knowledge pretty much spells it out for you, but I still had to make my own cards, find the sticking points, and edit them until I got a good sense for proper context and suitably short, distinct answers. 

You can find other people's shared decks and skip the card making process yourself, but not without some new problems. First, you are going to learn more making the cards yourself than studying someone else's. If it's subtle material, you can make cards that fill in the gaps in your particular understanding. But if someone else studies something and makes cards to fill in their own gaps, that means that what you're studying may not cover material that you don't know you don't know. It would be nice if everyone's shared decks were a completely thorough treatment of the material, but, alas, it is not so. And the only way that you can tell is by comparing the deck and the material during your own studying.

Shared decks also just aren't all that good sometimes. Someone, I can't recall who, wrote a script to scrape the entire LW wiki and then cloze-delete the title from the article. I appreciate the idea of SRSing the LW wiki, and scripting the whole thing was undoubtedly really efficient. However, the result was usually question and answer text hundreds of words long, with tables of content in the middle, and probably too many cards of insufficient value. 

Despite their problems, I think that shared decks have way more potential than their current use suggests. A well-crafted deck that gives its subject matter a thorough treatment could be more valuable than a textbook, and about as difficult to compose. But, looking at some of the best Anki decks I've come across, it will likely take more than one person to get such a deck off the ground. 

Anki's .apkg files are sorta unwieldy to edit collaboratively, because there's not really a way to merge edits from multiple contributors. Luckily, we can export and import decks as text, and use version control like GitHub to do the same thing. With a GitHub-hosted collaborative deck, a team of people studying a textbook, like Thinking and Deciding, could all make flashcards as they go, add them all to the same deck, remove redundant cards, standardize the layout, tag cards appropriately, and share them with whomever else comes along. Then, anyone else who wants to study the textbook has a high-quality Anki deck to use in conjunction, and if they know how a question can be asked better, or if they find an error, or if the seventh chapter didn't really get much coverage, they can contribute to the deck, too. 

This huge list of material put together by Louie Helm should be Anki-fied. Hopefully we can unite the efforts of many autodidacts and start to curate decks for each of the areas covered. Maybe a group of friends is about to work through a course on Quantum Computing or Set Theory. The rest of LW would benefit from their work making flashcards, but especially so if they leave the project open to collaboration. 

So, the things needed to move forward:

• Someone learned in IP tell me what kind of licensing or copyright applies here. Should people post these with a Creative Commons or a GPL? Obviously we don't want to start plagiarizing or copyright-violating in the process of making this work. We don't want to abscond with other people's decks and start building on them, I think.
• If you're about to tackle an area of study on the MIRI courses list, make a GitHub repo for it.
• If this interests you in the slightest way, please contact me. iconreforged@gmail.com 
• I'm working through the dull details of hosting an Anki deck in text form on GitHub myself with the copious number of Russian flashcards I made in three semesters of Russian classes. Hopefully that can provide some kind of template. If I'm feeling ambitious, I might start a Heuristics and Biases deck based on Thinking and Deciding.

This is a detailed description of my reading and learning workflow. You may find ideas to adopt, or maybe you can tell me what I could be doing differently!

Overview

I've been using Spaced Repetition on and Off for the past few years, and have built a solid Anki habit this last three months, to the point where now I wonder how I could read books without entering the important points into Anki.

I recommend getting a habit of using Spaced Repetition, it's a small habit that doesn't require too much willpower (it can feel like a game, if done right!), and is useful in the long term.

Daily routine: transit

I have a dozen or so Anki decks. Some I consider “valuable” (Algorithms, Driving Code, Git commands), some less so (Paris Metro, Hiragana and Katakana, Vim commands, …). I also carry around a book, notebook and four-color pen.

On any downtime (waiting for transit, waiting in line in a store, standing in crowded transit…), I’ll review my decks, starting with those with the most due cards.

On some days I may not finish all the decks, but that’s no big deal; with an hour and a half of transit per day, I’ll get to them eventually.

If I can sit for a bit of time, and don’t have too many outstanding cards, I’ll usually read a book (or work on stuff in my notebook if I have some stuff that needs brainstorming).

Reading books

If I’m reading fiction, I’m relaxing, I don’t need to try to remember anything :)

If I’m reading non-fiction, I’ll usually have an index card as a bookmark and place to take notes - things to look up, summaries and rephrasings, diagrams, page numbers of parts to come back to, and of course things to enter in Anki (though I’ll sometimes just directly enter them in my phone).

I’ll reread my notes when I finished the book or a big chapter, or when I come back to the book after a long time, and eventually enter them in Anki (usually with Anki's web interface, which is quicker than typing on a phone).

Reading online material

I have a bunch of Google Docs where I take notes on various topics (why Google Docs? I can search them, share them if needed, work with them from various places). If I’m reading something I want to remember, I’ll usually have a corresponding google doc open in another window (so I can see both at the same time - hunting through tabs breaks the flow). My notes will be a mix of

• URLs marked as “to read” or “read” (with maybe a summary of what it’s about)
• Verbatim quotes
• Rephrasings, insights, questions, brainstoriming
• “anki format” cards (pairs of question, then answer), for example, from my Haskell deck:

How do I declare that Integer is of class Eq, using IntegerEq?
instance Eq Integer where
  x == y                =  x `integerEq` y

(note that in this case it's three lines, when entering into Anki I'll have to put the first line as question and the two other ones as answer)

Building the anki cards in Google docs makes it easier to make related cards by copying and pasting the same question and changing little bits ("Question: ???, B and C", "Question: A, ??? and C", "Question: A, B and ???")

In the evening, when I don’t have the energy for something more difficult, I’ll occasionally copy batches of stuff from Google Docs into Anki. To do that first I copy everything into a plain text file (to strip all formatting, otherwise things look weird in Anki and it’s distracting), and then cut-paste the cards into Anki by alt-tabbing between the text file and the Anki web interface (this sounds cumbersome but can be done fairly quickly using pretty much only the keyboard).

What if I get behind?

No big deal, I’ll review the “important” decks first, and then eventually catch up on the rest (Some people recommend using one big deck for everything; I prefer having several small decks because it makes it easier to catch up with what matters if I “fall of the bandwagon”).

What I learned

• Make Stupid and easy cards; I aim for having answers that are a single word
• I delete or suspend cards that I suspect are a waste of time (because I don’t care about learning that; because it’s too difficult; because I suspect it’s wrong).
• Double-sided cards are useful for learning languages (I used to make both directions independently)
• If you're learning a foreign language with a weird alphabet, it's worth the extra effort of finding an imput system on your phone (or computer) that handles that alphabet.

What I’d like to improve

Batch-entering data is a bit complicated, I wish I could just select a bunch of text in google docs and say "just put all this in Anki". However, as a low-energy habit batch-copying stuff feels a bit like a game so I don't mind that much.

• I wish I could put some decks at “low throttle” and some at “high throttle” (say, I want to learn 20 driving code cards a day, but only 3 vim cards). Anki has a setting that says how many new cards you get, but it's global; so either I change that setting all the time (which can be done fairly quickly), or control the influx by leaving stuff in Google Docs.
• I wish I could control randomization: just select a bunch of cards and say "randomize these". There's some cards I want to see in a random order, and some where I'd rather see them in the original order.
• Anki is bad at handling synchronization, if I used Anki on my phone and want to use the web interface, I need to synchronize first, which takes a few minutes and may fail; otherwise there will be a conflict and I will have to pick which of the two datasets I keep. This is another reason why I prefer to use Google Docs for staging: waiting for synchronization breaks my flow.
• How do people use evernote or supermemo?

More resources on Spaced Repetition

The article on the Wiki points to a few discussions here of Spaced Repetition (which are worth reading if you want to see how other people use it), including Gwern's excellent article.

How about you? Do you use Spaced Repetition? Have you tried, but give up? Do you have a workflow with some bits that differ from mine? Do you have any tips of things I could do better?

In an effort to internalise the Twelve Virtues of Rationality, I created an Anki deck. It's already been done, so the reason I'm posting is to share a condensed version of the article (created as a side effect of my making the deck).

Hopefully it will make it easier to quickly refresh the concepts if you've already read the article.

If you're not using spaced repetition, you should. Don't believe me? Try reading Gwern's thorough review of the topic.

Then download the “Twelve Virtues of Rationality” deck.

The first virtue is curiosity.

The second virtue is relinquishment.

The third virtue is lightness.

The fourth virtue is evenness.

The fifth virtue is argument. 

The sixth virtue is empiricism.

The seventh virtue is simplicity. 

The eighth virtue is humility.

The ninth virtue is perfectionism.

The tenth virtue is precision.

The eleventh virtue is scholarship.

Before these eleven virtues is a virtue which is nameless.

Anki decks of Less Wrong content have been shared here before. However, they felt a bit huge (one deck was >1500 cards) and/or not helpful to me. As I go through the sequences, I create Anki cards, and I've decided they are at a point where I can share them. Maybe someone else will benefit from them.

Current content: The deck currently consists of 186 Anki cards (82 Q&A, 104 cloze deletion), covering the following Less Wrong sequences: The Map and the Territory, Mysterious Answers to Mysterious Questions, How to Actually Change Your Mind, A Human's Guide to Words, and Reductionism.
All cards contain an extra field for their source, usually 1-2 Less Wrong posts, rarely a link to Wikipedia. Some mathy cards use LaTeX. I don't know what happens if you don't have LateX installed. Though if this is a problem, I think I can convert the LaTeX code to images with an Anki plugin.

Important caveats:

1. My cards tend to have more context than those I've seen in most other decks, to the point that one might consider them overloaded with information. That's partly due to personal preference, and partly because I need as much context as possible so I memorize more than just a teacher's password.
2. In contrast to previously shared Anki decks of Less Wrong content, I do not aim to make this deck comprehensive. Rather, I create cards for content which I understood and which seems suitable for memorization and which seemed particularly useful to me. Conversely, I did not create cards when I couldn't think of a way to memorize something, or when I did not understand (the usefulness of) something. (For instance, Original Seeing and Priming and Contamination did not work for me.)
3. I've tried a few shared decks so far, and everybody seems to create cards differently. So I'm not sure to which extent this deck can be useful to anyone who isn't me.

Open question: I'm still not sure to which extent I'm memorizing internalized and understood knowledge with these cards, and to which extent they are just fake explanations or attempts to guess at passwords.

And a final disclaimer: The content is mostly taken verbatim from Yudkowsky's sequences, though I've often edited the text so it fit better as an Anki card. I checked the cards thoroughly before making the deck public, but any remaining errors are mine.

I'm thankful for suggestions and other feedback.

Added February 2014: As I no longer have time to keep both posts updated, all further updates will be made to the version of this post hosted on my personal blog.

In a recent post, Qiaochu Yuan noted that "various mnemonic techniques like memory palaces, along with spaced repetition, seem to more or less solve the problem of memorization." The list below is an attempt to compile all existing Anki decks created by Less Wrong users, in the hope that they will be of help to others in memorizing the corresponding material. (Anki is arguably the most popular spaced repetition software.)  If you know of a deck not included here, please mention it in the comments section and I'll add it to the list. Thanks!

I'd like to be able to click unfamiliar words in Chrome and automatically create notes in Anki 2 using an online dictionary. It'd also be nice to have an automatic method for sending text and images to Anki notes straight from Chrome. For example, if I read an article here that I want to remember, I'd be able to highlight the title, send it to Anki, and when I review, I'd see the title on the card's front with the reverse being a link to the source if I forgot what the post was about.

I found some Chrome extensions that purport to do this sort of thing, but didn't get any of them to work with Anki 2. Is anyone currently doing this, and if so, what is the solution?

This post is about two Anki plugins I just wrote. I've been using them for a few months as monkey patches, but I thought it might help people here (or at least the 20% that are awesome enough to use SRSs) to have them as plugins. They're ugly and you may have to fiddle for a while to get them to work.

1. Music-Fiddler

To use this, play music while doing Anki revs. (I also recommend that you try playing music only while doing Anki, as a way of making Anki more pleasant.) While you're reviewing a card, the music volume will gradually decrease. As soon as you pass or fail the card, the volume will go back up, then start gradually decreasing again. So whenever you stop paying attention and instead start thinking about all the awesome things you could do if only you were able to sit down and work, the program punishes you by stopping the music. And whenever you concentrate fully on your work and so go through cards quickly, you have a personal soundtrack!

To use this plugin:

- If you do not have Linux, you'll need to modify the code somehow.

- Ensure that the "amixer" command works on your computer. If it doesn't, you're going to need to modify the code somehow.

- Make sure you have the new Anki 2.0.

- Download the plugin.

- Change all lines (in the plugin source) marked with "CHANGEME" according to your preferences.

- You might want to disable convenient ways of increasing the volume, like keyboard shortcuts.

This plugin provides psychological reinforcement, but is not proper intermittent reinforcement, because it is predictable and regular instead of intermittent. I'm not sure whether this should be fixed; I haven't yet gotten around to trying it with only intermittent volume increases.

2. Picture-Flasher

After answering a card, this plugin selects, with some probability, a random image from a folder and flashes it onto your screen briefly. This gives intermittent reinforcement.

To use this plugin:

- I haven't tested it on non-Linux operating systems, but I can't see any obvious places it'll fail.

- Make sure you have the new Anki 2.0.

- Get pictures from someplace; see below.

- Download the plugin.

- Change all lines (in the plugin source) marked with "CHANGEME" according to your preferences. Be sure especially to put in your picture directory and the number of pictures you have.

To get pictures, I downloaded high-scoring pictures off of reddit. This script can do that automatically. You can use pictures of cute animals, funny captioned pictures of cats, or more questionable things.

The plugin could be made a lot more awesome by having it automatically pull pictures from the internet so you're not reusing them. I'm not planning on doing this anytime soon (because I have no internet on my main computer for productivity reasons), but if somebody else does that and posts it, they are awesome and they should feel awesome.

Update 4 Dec: Emanuel Rylke has created a patch for this plugin which removes the requirement to rename the pictures. It also moves the configuration options to the top of the plugin, making them easier to find. The new version is at the same download link

Update 16 June 2015: The plugins were deleted from the official list where they previously were, apparently because my AnkiWeb account was deleted due to disuse. So I've uploaded the two plugins on GitHub here: https://github.com/StephenBarnes/AnkiPlugins. I also re-uploaded the plugins to the official list. Links on this post have been updated.

I've ported the Less Wrong Wiki into an Anki deck. I hope this will be useful for new members as an alternative way to get acquainted with many interesting LessWrong concepts (Newcomb's problem? Superexponential conceptspace?).

A disclaimer: this an automatized scrape and therefore it might not always look great. In particular lot's of cards don't really conform the "simple and specific" rules for spaced repetition cards (see e.g. http://www.supermemo.com/articles/20rules.htm) - the deck it is thus not meant for memorizing the definitions, but rather for reading/browsing/recognizing the concepts. Nonetheless, I hope this still will be useful for some of us (certainly for me). 

I did a semi-automatic sanitization of the cards, but if you find some bogus ones (or any other problem) please let me know and I'll fix it.

The scraped Wiki version is from 01/09/2012 and there are currently 628 cards. There are "forward" format cards (name front, description back) and also "reverse" cards (in cloze format where it was possible, i.e. where the concept name comes up in the description text).

The deck is here:

https://docs.google.com/folder/d/0B6GcntZeZpBHVjRkVUE2Uko2Vk0/edit

The link also contains a .txt version of the cards (tab separated) which might be used to import to other repetition software than Anki.

The deck can be supplemented e.g. by the "List of Cognitive Biases and Fallacies" and "42 Logical Fallacies" decks as well as other decks mentioned on the spaced repetition wiki page.

There have been (at least) a couple of attempts on LW to make Anki flashcards from Wikipedia's famous List of Cognitive Biases, here and here. However, stylistically they are not my type of flashcard, with too much info in the "answer" section. 

Further, and more troublingly, I'm not sure whether all of the biases in the flashcards are real, generalizable effects; or, if they are real, whether they have effect sizes large enough to be worth the effort to learn & disseminate. Psychology is an academic discipline with all of the baggage that entails. Psychology is also one of the least tangible sciences, which is not helpful.

There are studies showing that Wikipedia is no less reliable than more conventional sources, but this is in aggregate, and it seems plausible (though difficult to detect without diligently checking sources) that the set of cognitive bias articles on Wikipedia has high variance in quality.

We do have some knowledge of how many of them were made, in that LW user nerfhammer wrote a bunch. But, as far as I can tell, s/he didn't discuss how s/he selected biases to include. (Though, s/he is obviously quite knowledgable on the subject, see e.g. here.)

As the articles stand today, many (e.g., here, here, here, here, and here) only cite research from one study/lab. I do not want to come across as whining: the authors who wrote these on Wikipedia are awesome. But, as a consumer the lack of independent replication makes me nervous. I don't want to contribute to information cascades. 

Nevertheless, I do still want to make flashcards for at least some of these biases, because I am relatively sure that there are some strong, important, widespread biases out there. 

So, I am asking LW whether you all have any ideas about, on the meta level, 

1) how we should go about deciding/indexing which articles/biases capture legit effects worth knowing,

and, on the object level,

2) which of the biases/heuristics/fallacies are actually legit (like, a list). 

Here are some of my ideas. First, for how to decide: 

- Only include biases that are mentioned by prestigious sources like Kahneman in his new book. Upside: authoritative. Downside: potentially throwing out some good info and putting too much faith in one source. 

- Only include biases whose Wikipedia articles cite at least two primary articles that share none of the same authors. Upside: establishes some degree of consensus in the field. Downside: won't actually vet the articles for quality, and a presumably false assumption that the Wikipedia pages will reflect the state of knowledge in the field. 

- Search for the name of the bias (or any bold, alternative names on Wikipedia) on Google scholar, and only accept those with, say, >30 citations. Upside: less of a sampling bias of what is included on Wikipedia, which is likely to be somewhat arbitrary. Downside: information cascades occur in academia too, and this method doesn't filter for actual experimental evidence (e.g., there could be lots of reviews discussing the idea).  

- Make some sort of a voting system where experts (surely some frequent this site) can weigh in on what they think of the primary evidence for a given bias. Upside: rather than counting articles, evaluates actual evidence for the bias. Downside: seems hard to get the scale (~ 8 - 12 + people voting) to make this useful. 

- Build some arbitrarily weighted rating scale that takes into account some or all of the above. Upside: meta. Downside: garbage in, garbage out, and the first three features seem highly correlated anyway. 

Second, for which biases to include. I'm just going off of which ones I have heard of and/or look legit on a fairly quick run through. Note that those annotated with a (?) are ones I am especially unsure about. 

- anchoring

- availability

- bandwagon effect

- base rate neglect

- choice-supportive bias

- clustering illusion

- confirmation bias

- conjunction fallacy (is subadditivity a subset of this?) 

- conservatism (?) 

- context effect (aka state-dependent memory) 

- curse of knowledge (?) 

- contrast effect

- decoy effect (aka independence of irrelevant alternatives) 

- Dunning–Kruger effect (?) 

- duration neglect

- empathy gap

- expectation bias

- framing

- gambler's fallacy

- halo effect

- hindsight bias

- hyperbolic discounting 

- illusion of control

- illusion of transparency

- illusory correlation

- illusory superiority

- illusion of validity (?) 

- impact bias

- information bias (? aka failure to consider value of information)

- in-group bias (this is also clearly real, but I'm also not sure I'd call it a bias) 

- escalation of commitment (aka sunk cost/loss aversion/endowment effect; note, contra Gwern, that I do think this is a useful fallacy to know about, if overrated)

- false consensus (related to projection bias) 

- Forer effect

- fundamental attribution error (related to the just-world hypothesis) 

- familiarity principle (aka mere exposure effect) 

- moral licensing (aka moral credential) 

- negativity bias (seems controversial & it's troubling that there is also a positivity bias) 

- normalcy bias (related to existential risk?) 

- omission bias

- optimism bias (related to overconfidence)

- outcome bias (aka moral luck) 

- outgroup homogeneity bias

- peak-end rule

- primacy

- planning fallacy

- reactance (aka contrarianism) 

- recency

- representativeness

- self-serving bias 

- social desirability bias

- status quo bias

Happy to hear any thoughts! 

Recently I have started using Anki in a new and complimentary way. I am curious if any of you find it similarly useful and/or have other anki tips :)

The basic idea is that instead of putting down a challenge/response pair for facts, we put down a challenge/response pair for ways of thinking. A train of thought. Ideally, this is something akin to a lumosity.com game except tailored to your area of focus.

A simple example from algebra:

The fact based approach would be to make a card titled "what is the quadratic formula?" with the answer of "x == (-b +- Sqrt(b^2 - 4ac)) / 2a"

The way I am recommending is to make a card titled "derive the answer for ax^2 + bx + c == 0" with an answer that shows the steps. When shown the card, you would then either solve it in your head, or using a pad of paper. I assume that sub minute tasks are ideal.

The specific area I have been using this in is the study of algorithms, with challenges like "Hopcraft-Karp algorithm for bipartite matching", and it has so far proved very helpful at getting fluent with the names, deepening my understanding of the algorithms themselves, and with seeing new places to apply them in my coding.

This might be overstepping, but something like this seems like it might be appropriate for The Center for Modern Rationality. Something like "critique the logic of the following three sentences", or "Sue is about to buy a car. How should she go about making a decision".

This is my first real post to LessWrong, so if you have style corrections those are solicited alongside any comments on the post itself. Thanks!

Spaced repetition is a powerful learning tactic, and Anki is a good tool for it. There are some LW-relevant Anki decks here. But I wish there were more.

Which sets of knowledge are (1) likely useful to LWers, and (2) straightforward to encode into Anki decks without needing to be familiar with that field?

Some examples:

1. Purves et al.'s glossary of cognitive neuroscience (preferably including a brain-image for each brain anatomy term).
2. The meaning of each concept in the LW wiki.
3. The meaning of each bolded term in AIMA.

Which other sets of knowledge would you like to see Ankified? Please link to the actual knowledge set you'd like to see encoded.

I've made a non-comprehensive Anki deck (shared as "Cognitive Science in One Lesson Deck") for Lukeprog's Cognitive Science in One Lesson (a summary of Bermudez's Cognitive Science textbook). I focused on the parts about the brain. Please point out errors or post revised versions in the comments.

I have a few anki decks that I like, and am making more based on books I'm reading (currently doing one on Good Calories, Bad Calories). They don't replace reading the book, could probably supplement a summary, but definitely helps recall on specific details (at least for me).

Other people have some anki decks that I'm interested in sharing.

Would people be interested in setting up a shared anki library? Or at least a list of decks so that people can find them in anki's search?

I'd like to figure out how to create habits more effectively and systematically, especially mental habits. 

Spaced repetition is one of the most efficient ways to learn new things. (For research citations, see 'Study methods', here.)

The best way to practice spaced repetition is to install Anki to your phone, since you have your phone with you all day long.

I have an Android phone, so here's my 60-second guide to getting started with Anki on Android:

1. On your Android phone, open 'Market.'
2. Search for 'Anki'.
3. Install the 'AnkiDroid Flashcards' app.
4. In your app drawer, run 'AnkiDroid'.
5. It will prompt that you don't have any decks downloaded. Tap 'Download deck' and choose 'Shared decks.'
6. It will take a while to bring up the list of decks available online. Search for 'Less Wrong' and you'll see the deck called 'Less Wrong Sequences.' Download it.
7. Go back to the AnkiDroid main screen, choose 'Load other deck.' Choose 'Less Wrong Sequences.'
8. Set your options for 'New cards per day', 'session limit (minutes)', and 'session limit (questions)', then tap 'Start Reviewing.'