3 ms·
In this case, I think it's fine. Chinese has a named number for 10000 (wàn/万), so they used that. Since English doesn't, they used 'thousands'. In either case,
by kinkrtyavimoodh 10y ago
In this case, I think it's fine. Chinese has a named number for 10000 (wàn/万), so they used that. Since English doesn't, they used 'thousands'. In either case, the idea is that the code would run on a large number of servers.
For instance, Hindi has special names for 100000 (lakh), 10M (crore/karod) etc. so a similar translation to Hindi would use those even if it meant introducing a factor of 10 in the literal interpretation.