so, like, you state some hypothesized invariants ("this state is impossible"), deploy, then get notified w/a trace/proof when it fails
-
-
-
Replying to @chaosprime
@chaosprime imagining more like whole-program invariants, though, not about specific points in execution1 reply 0 retweets 0 likes
Replying to @chrisamaphone
@chrisamaphone Hmm. So more like monitoring than debugging. Nagios plugins for MMOs.
11:09 AM - 8 May 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.