I would personally prefer a separate option to allow personal blog posts but not drama-of-the-day posts—I like seeing personal blog posts, but want to avoid drama.
I thought of that. The reason I didn’t suggest that approach was rather mundane. This post needs to have the “Nick Bostrom” tag. Currently, someone who wants to hide all Bostrom-email content from the frontpage can hide the Bostrom tag, and it will hide this post as well. In the approach where we default-hide the Nick Bostrom tag, we would need to do some ugly kludge to make it so that, by default, this post shows up on the frontpage. The approach taken was simpler. Maybe in the future it’d be worth it to do that ugly kludge? I’m unconvinced, but that’s a pretty lightly held view.
I would personally prefer a separate option to allow personal blog posts but not drama-of-the-day posts—I like seeing personal blog posts, but want to avoid drama.
You could temporarily set the “Nick Bostrom” tag to “Hidden” on your frontpage.
Yeah, I concur. I feel like this could have been under a separate tag that we could have hidden instead.
I thought of that. The reason I didn’t suggest that approach was rather mundane. This post needs to have the “Nick Bostrom” tag. Currently, someone who wants to hide all Bostrom-email content from the frontpage can hide the Bostrom tag, and it will hide this post as well. In the approach where we default-hide the Nick Bostrom tag, we would need to do some ugly kludge to make it so that, by default, this post shows up on the frontpage. The approach taken was simpler. Maybe in the future it’d be worth it to do that ugly kludge? I’m unconvinced, but that’s a pretty lightly held view.