News for hackers. Stuff that matters.
Re:Leslie Lamport: Video course on TLA+ by hwayne on Tuesday March 21, 2017 @01:00AM (#13919981)
I've personally found it absolutely fantastic for modeling business logic. It's also really good for any kind of concurrent system, which covers pretty much every webtech startup.

There are no comments on this comment yet.