On another note I've started blogging here, in order to practice my writing and lay down my thoughts in semi-coherent form 'cuz I'm trying to write a treatise on God and other such things. Five to fifteen or so LessWrong folk have messaged me asking for more info about my thoughts on theism, religion, &c., and I suspect more than that are quietly interested, so the readership might not be tiny once I publicize the blog. And I suspect the readership will be pretty elite. I've also invited various cool people to write guest posts. If you want to write guest posts that are more or less on the theme then let me know. Especially, I have a huge gap in my knowledge of the history of computation during roughly the Islamic Golden Age period, and I'd appreciate a post roughly on that subject. ("Computation" is pretty loose here: it's more like theory of processes in general. And I'm also interested in the history of computers. Basically, anything in the historical run-up to Leibniz' calculator and proto-algorithmic-information-theory.)

(The history of computation is especially relevant to "computational theology", but in the past I mostly studied it because computation is a similar concept to justification, and I wanted to get an estimate of how close we are to formalizing justification. My intuition is that we're either right before or right at the Leibniz stage, with the modern decision theorists adding up to about half a Leibniz all told. Hopefully with modern technologies like the internet it won't be a long time 'til we reach the Turing stage.)