User: What's the difference between metrics and logs?
Assistant: Logs have finer granularity and are therefore slower to query. Metrics are generally aggregated and faster to query. For example logs could be: "server 1 is running", "server 2 is running", and the corresponding metric would be "there are 2 servers running".