Has learning TLA+ been useful to your software engineering career? I hear a lot about it but have yet to see “real” problems used with it.
-
-
Should clarify, I personally haven't used it yet. It's not used at my (SDK) layer. Here is a comment with some more details https://news.ycombinator.com/item?id=14321969 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.