That’s great. People will use whichever one is better.
replyTurns out that "better" for many people means "better moderated", since static hosting is hard to differentiate. And at present Arxiv is winning that one (at the expense of considerably higher running costs due to said moderation)
replyHAL is decidedly second-tier. Given the option, everyone would pick arXiv over HAL. Hence, HAL hosts lots of stuff that didn't (even) make it to arXiv => lots of subpar dredge.
replyI agree that dredge is a huge problem with HAL, but it's getting better. While arXiv is still stuck with a unfriendly UI.
reply> HAL is decidedly second-tier. Given the option, everyone would pick arXiv over HAL.
replyCan you elaborate on that?