Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Dropbox’s Exodus from the Amazon Cloud. Parent comment
It's only covering a few use cases and doesn't go into too much detail and shows example code but it seems like using TLA+ has been beneficial for them.
There are no comments on this comment yet.
It's only covering a few use cases and doesn't go into too much detail and shows example code but it seems like using TLA+ has been beneficial for them.