Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Caitie McCaffrey
The Verification of a Distributed System
Leslie Lamport, known for his seminal work in distributed systems, famously said, "A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable." Given this bleak outlook and the large set of possible failures, how do you even begin to verify and validate that the distributed systems you build are doing the right thing? Distributed systems are difficult to build and test for two main reasons: partial failure and asynchrony.
The Verification of a Distributed System
Leslie Lamport, known for his seminal work in distributed systems, famously said, "A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable." Given this bleak outlook and the large set of possible failures, how do you even begin to verify and validate the distributed systems you build are doing the right thing? Distributed systems are difficult to build and test for two main reasons: partial failure and asynchrony.
Key Takeaway Points and Lessons Learned from QCon San Francisco 2015
At the start of November around 1,300 attendees descended on the Hyatt Regency in San Francisco for the ninth annual QCon in the city and the biggest QCon we’ve held in the US.
Google Proposes to Enhance JSON with Jsonnet
Google has open sourced Jsonnet, a configuration language that supersedes JSON and adds new features without breaking backwards compatibility: comments, references, arithmetic and conditional operators, array and object comprehension, imports, functions, local variables, inheritance and others. Jsonnet programs are translated to compliant JSON data formats. Comments. Jsonnet accepts both C ( ) and C++ ( ) comment styles. References.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Caitie
Contact Caitie, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack