James Hamilton personal blog
Formal Methods in Building Robust Distributed Systems
We all know that when designing and operating applications at scale, it is persistent state management that brings the most difficult challenges. Delivering state-free applications has always been (fairly) easy. But most interesting commercial and consumer applications need to manage persistent state. Advertising…
- Points
- 109
- HN comments
- 9
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSoftware Engineering2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 3, 2014 | Formal Methods in Building Robust Distributed Systems by ctdean | 109 | 9 |