Today's post, The Cartoon Guide to Löb's Theorem was originally published on 17 August 2008. A summary (taken from the LW wiki):

An explanation, using cartoons, of Lob's theorem.

Discuss the post here (rather than in the comments to the original post).

This post is part of the Rerunning the Sequences series, where we'll be going through Eliezer Yudkowsky's old posts in order so that people who are interested can (re-)read and discuss them. The previous post was When Anthropomorphism Became Stupid, and you can use the sequence_reruns tag or rss feed to follow the rest of the series.

Sequence reruns are a community-driven effort. You can participate by re-reading the sequence post, discussing it here, posting the next day's sequence reruns post, or summarizing forthcoming articles on the wiki. Go here for more details, or to have meta discussions about the Rerunning the Sequences series.

(This is my view in the recent debate about posts giving a "rational" discussion of some random topic. It was originally at comment level but I've extended it and posted it in discussion because I want to know if and where people disagree with me, and for what reasons.)

I come to Less Wrong to learn about how to think and how to act effectively. I care about general algorithms that are useful for many problems, like "Hold off on proposing solutions" or "Habits are ingrained faster when you pay concious attention to your thoughts when you perform the action". These posts have very high value to me because they improve my effectiveness across a wide range of areas.

Another such technique is "Dissolving the question". Yvain's "Diseased thinking: dissolving questions about disease" is valuable as an exemplary performance of this technique. It adds to Eliezer's description of question-dissolving by giving a demonstration of its use on a real question. It's main value comes from this, anything I learnt about disease whilst reading it is just a bonus.

To quote badger in the recent thread "Rational Toothpaste: A Case Study"

I claim a post on "rational toothpaste buying" could be on-topic and useful, if correctly written to illustrate determining goals, assessing tradeoffs, and implementing the final conclusions. A post detailing the pros and cons of various toothpaste brands is for a dentistry or personal hygiene forum; a post about algorithms for how to determine the best brands or whether to do so at all is for a rationality forum.

But we don't need more than one or two such examples! Yvain's post about question-dissolving was the only such post I ever need to read.

Posts about toothpaste, house-buying, room-decoration, fashion, shaving or computer hardware only tell me about that particular thing. As good as many of them are they'll never be as useful as a post that teaches me a general method of thought applicable on many problems. And if I want to know about some particular topic I'll just look it up on Google, or go to a library.

It's not possible for LessWrong to give a rational treatment of every subject. There are just too many of them. Even if we did I wouldn't be able to carry all that info around in my head. That's why I need to learn general algorithms for producing rational decisions.

Even though badger makes it clear in the quote I gave that the post is supposed to about the algorithms used, the in the rest of the post almost all the discussion is on the object level (although the conclusion is good). That is, even though badger talks about which methods he's using and why, the focus is still on "What can these methods teach us about toothpaste?" and not "What can optimising toothpaste teach us about our methods?". I'd prefer it if posts tried to answer questions more like the latter. The comments exhibit the same phenomenon. Only one of the comments (kilobug's) is talking about the methods used. Most of the rest are actually talking about toothpaste.

So what I'm suggesting is that LessWrong posts (don't forget there's a whole internet to post things on) should focus on rationality. They can talk about other things too, but the question should always be "What can X teach us about rationality?" and not "What can rationality teach us about X?"

This link

http://lesswrong.com/r/all/recentposts

gives a page which lists all the recent posts in both the Main and Discussion sections. I've posted it in the comments section before, but I decided to put it in a discussion post because it's a really handy way of accessing the site. I found it by guessing the URL.

Discuss things here if they don't deserve a post in Main or Discussion.

If a topic is worthy and receives much discussion, make a new thread for it.

LessWrong pages are taking a long time to load. Today they are especially bad, to the point where if I make a comment the page times out before it is posted. Is this true for other people? Do those who run the site know the cause? Can it be fixed?

EDIT: Confirmed: It's not just me, it's probably everyone.

EDIT2: I also apologise for my appalling grammar in the title.

How does one pronounce these words?

• Modus Ponens (EDIT: Pronunciation given here.)
• Modus Tollens (Here)
• Hofstadter (as in Douglas) (Here)
• Jaynes (as in Edwin) (Here)
• Parfit (as in Derek) (Here)
• Deutsch (as in David) (Here)
• Thiel (as in Peter) (Here)
• Muehlhauser (as in Luke (as in lukeprog)) (Here)

Thanks.

(If there are any other words commonly used here that you don't know how to pronounce, mention them in the comments and I'll copy them into the post, to make a handy reference.)