Squashing a Schrödinbug With Strong Typing External blog post

I published an article on the Cockroach Labs Blog:

Squashing a Schrödinbug With Strong Typing.

In this article, I explain how I discovered a bug in CockroachDB whose existence was enabled by Go’s lack of proper algebraic data types.

Also available via the Wayback Machine.

Like this post? Share on: BlueSky ❄ Twitter ❄ HN ❄ Reddit ❄ LinkedIn ❄ Email

Raphael Poss is an entrepreneur who occasionally publishes field notes on systems, leadership, and the messy edge between technology and people.