How metrics are stored and queried | Dark Hacker News