News for hackers. Stuff that matters.
Re:Learn TLA+ (2018) by mk89 on Sunday February 23, 2020 @04:08AM (#22395887)
Typically, before implementing a feature it'd be nice to have a design for it. Nothing that takes 6 months, though. TLA+ would be really helpful there, especially if you become familiar with it, so that you can answer the "what if" questions.

I think I will give it a try. It might definitely help building better distributed systems.

There are no comments on this comment yet.