Creating good exercises for traditional concepts that form the building blocks of rationality is probably the best way to go about this. Once you've shown that you can create engaging exercises, and have formed relationships with people at Khan Academy, your suggestions will have more weight and you can create more experimental type exercises. Sal can only create about 10 videos a day, and the requests he gets from teachers using Khan Academy in actual classrooms (or from the people giving him funding) probably trump those he gets from people on a rationality blog.
For anyone reading this who wants to create an exercise teaching Bayes' Theorem, first read the Github Wiki. You can also get help from Khan Academy employees and volunteers in the HipChat room.
I'm an ex-intern at Khan Academy (who worked quite a bit on the exercise framework) so feel free to email me any questions or to get me to look at your pull request. My email is jp@julianpulgarin.com.
Does the LW community think it might be a good idea to approach Khan Academy about including a series on Rationality, based on some of the LW sequences?
Khan Academy already has a great reputation as a centre for learning, and has large amounts of traffic going through it. Perhaps we could take advantage of that?
What would be the pros and cons?
How would we go about doing it?
Has anyone made a video series of any of our sequences that we could offer?
13.12.11 update:
It sounds like this is a really good idea that just hasn't seen action yet. I'd actually really be interested in helping make this happen, and whilst I probably personally lack the skills to do it all, I'm sure that between the contributors here we have enough contacts/expertise to put something forward.
If you'd be interested in being a part of this please message me your email address, and I will look into making a team who can put some resources into making this happen.
And keep the comments/suggestions coming. They're providing me with great direction in terms of how to go about this.