CockroachDB: Squashing a Schrödinbug with Strong Typing | Hacker News Reader