How shredding JSON is giving Logfire 1000x query speedups https://lobste.rs/s/6vjx1k #databases #performance https://pydantic.dev/articles/dynamic-shredding-2026-01-26