I would say that Martin was an exact name of MLK but not the exact name, and I would say that neither "Martin Luther" nor "Luther King" was even an exact name because treating "Martin Luther" as a name means taking "Luther" as a surname and treating "Luther King" as a name means taking "Luther" as a given name, and neither is correct for MLK.
Of course, you may choose to use these terms differently. Perhaps you couldn't truthfully say "neither of those is his actual exact real name". But I could, and I did.
(I would also have preferred not to get into this particular dispute because although it's not exactly hard to find out Scott's actual exact real full complete official name -- or at least something that I take to be that -- I would have preferred to offer a little less assistance to anyone trying to do it. But no matter.)
I feel I've learned a lot about problem solving from less wrong (and HPMOR in particular). be concrete, hold off on proposing solutions, et cetera. The effect*, unfortunately, doesn't seem to be as much as I had hoped.
Small increases in intelligence are extremely general and even recursive, so it feels worth the effort. But, I found alternatives much more effective (though still modest) then studying/discussing/applying the sequences. like meditation or smart drugs.
I'm interested in other lesswrongers experiences in cognitive enhancement.
* by "smarter" I mean "better at problem solving", where examples of "problems" are writing a program, finding the right thing to say to resolve interpersonal conflict, memorizing some random fact quickly and then recalling it quickly/vividly. let me know if you want further clarification.