What are some of the emotions associated with rationality?
So what happened after that? Did your technique stop working?
I have not seen the original post, but can't someone simply post it somewhere else? Is deleting it from here really a solution (assuming there's real danger)? BTW, I can't really see how a post on a board can be dangerous in a way implied here.
I have a few questions.
1) What's "Bayescraft"? I don't recall seeing this word elsewhere. I haven't seen a definition on LW wiki either.
2) Why do some people capitalize some words here? Like "Traditional Rationality" and whatnot.
Thank you for the links. It makes sense now.
How do Bayesians look at formal proofs in formal specifications? Do they believe "100%" in them?
Maybe you are scared because you are aware that writing maintainable code is harder than writing code without that constraint?