As programmers, we think a lot about state. Is the user logged in? Can this edge-case ever occur? Is the coffee pot empty again? The problem is, that humans are pretty bad at keeping track of state. That is, unless you're a Chess Grandmaste…