I don’t think I disagree with the claim you’re making here—I think formal background for things like decision theory is a big contributor to day to day rationality. But I think posts detailing formal background on this site will often be speaking either to people who already have the formal background, and be boring, or be speaking to people who do not, and it would be better to refer them to textbooks or online courses.
On the other hand, if someone wanted to take on the monumental task of opening up the possibility of running interactive jupyter notebooks to add coding exercises to notebooks and start building online courses here, I’d be excited for that to happen—it just seems like if we want to build more formal background it will be a struggle with the current site setup to match other resources.
I don’t think I disagree with the claim you’re making here—I think formal background for things like decision theory is a big contributor to day to day rationality. But I think posts detailing formal background on this site will often be speaking either to people who already have the formal background, and be boring, or be speaking to people who do not, and it would be better to refer them to textbooks or online courses.
On the other hand, if someone wanted to take on the monumental task of opening up the possibility of running interactive jupyter notebooks to add coding exercises to notebooks and start building online courses here, I’d be excited for that to happen—it just seems like if we want to build more formal background it will be a struggle with the current site setup to match other resources.