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

SubmittedTitle on HNPointsComments
Jul 3, 2014Formal Methods in Building Robust Distributed Systems by ctdean1099

More from James Hamilton

All 9 posts →

Related posts from the same era