so, like, you state some hypothesized invariants ("this state is impossible"), deploy, then get notified w/a trace/proof when it fails
-
-
@chaosprime assertions are a good starting point, supposing expressive enough assertions.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@chaosprime imagining more like whole-program invariants, though, not about specific points in execution -
@chrisamaphone Hmm. So more like monitoring than debugging. Nagios plugins for MMOs.
End of conversation
New conversation -
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.