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 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.