How Database Sharding Works—and Why It’s Hard to Reason About | Koder.ai