This comment combines into one bucket several different major threads that probably each deserve their own bucket (e.g. the last part seems like strong bets about CFAR’s competence that are unrelated to “is double crux good”). Personally I don’t like that, though it doesn’t seem objectively objectionable.
I agree with this, and also prefer to keep discussion about the competence of specific institutions or individuals to a minimum on the frontpage (this is what I want to have a community tag for).
This comment combines into one bucket several different major threads that probably each deserve their own bucket (e.g. the last part seems like strong bets about CFAR’s competence that are unrelated to “is double crux good”). Personally I don’t like that, though it doesn’t seem objectively objectionable.
I agree with this, and also prefer to keep discussion about the competence of specific institutions or individuals to a minimum on the frontpage (this is what I want to have a community tag for).