Hacker News Reader

Payments have a gargantuan amount of possible transitions and invariants that are far from trivial to encode.

I showed this to my manager and his response was: "So... three days?"