I discuss things here because it’s fun (and sometimes I learn useful lessons from expressing them here, in addition to my private notes), not because I consider it effective means of communication. The not-quite-formal ideas are most of the time in fact not-quite-formal, rather than informally communicated formal ideas (often because I don’t understand the relevant math, a failure I’m working on). The dropped ideas are those I either found useless/meaningless/wrong or those that never came up in the discussion after some point.
Communicating informal ideas is too difficult, specifically because they assume tons of unstated background, background that you not only have to state, but convince people about. This is work both for the writer and for the reader. In addition, these informal ideas are not particularly valuable, which together with difficulty of communication makes the whole endeavor a waste of effort.
(At least on LW, common background gives a chance for some remarks to be understood, without that background having to be delivered explicitly.)
The plan is for all these hunches to eventually come together in a framework for decision theory, that should be transparently mathematical, and thus allow efficient little-hidden-background communication.
I discuss things here because it’s fun (and sometimes I learn useful lessons from expressing them here, in addition to my private notes), not because I consider it effective means of communication. The not-quite-formal ideas are most of the time in fact not-quite-formal, rather than informally communicated formal ideas (often because I don’t understand the relevant math, a failure I’m working on). The dropped ideas are those I either found useless/meaningless/wrong or those that never came up in the discussion after some point.
Communicating informal ideas is too difficult, specifically because they assume tons of unstated background, background that you not only have to state, but convince people about. This is work both for the writer and for the reader. In addition, these informal ideas are not particularly valuable, which together with difficulty of communication makes the whole endeavor a waste of effort.
(At least on LW, common background gives a chance for some remarks to be understood, without that background having to be delivered explicitly.)
The plan is for all these hunches to eventually come together in a framework for decision theory, that should be transparently mathematical, and thus allow efficient little-hidden-background communication.