I encoded a 1000-year-old divination system in Go. Every bug was a distinction my types had collapsed.
I spend my day job on cloud platform work — pipelines, idempotent state machines, the usual distributed-systems apparatus. For the last year I've sp…