3 ms·

HAL 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

by bjourne 7mo ago

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

Miraltar 7mo ago
> HAL is decidedly second-tier. Given the option, everyone would pick arXiv over HAL. Can you elaborate on that?
linhns 7mo ago
I agree that dredge is a huge problem with HAL, but it's getting better. While arXiv is still stuck with a unfriendly UI.