MariaDB vs. MySQL performance on CPU-bound range queries | Dark Hacker News