Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		bloom-lang.net calm: consistency as logical monotonicity \| Bloom Programming Language
\|	\|	jeremywsherman.com Distributed Programming & CALM - Jeremy W. Sherman	1.5 parsecs away Travel
\|	\|		1.5 parsecs away Travel
\|	\|	databeta.wordpress.com An Overview of the CALM Theorem \| Data in Beta	1.0 parsecs away Travel
\|	\|	For folks who care about what's possible in distributed computing: Peter Alvaro and I wrote an introduction to the CALM Theorem and subsequent work that is now up on arXiv. The CALM Theorem formally characterizes the class of programs that can achieve distributed consistency without the use of coordination. I spent a good fraction of...	1.0 parsecs away Travel
\|	\|	sookocheff.com Paper Review: Consistency Analysis in Bloom: a CALM and Collected Approach \| Kevin Sookocheff	1.4 parsecs away Travel
\|	\|	Title and Author of Paper Consistency Analysis in Bloom: a CALM and Collected Approach. Alvaro et al. Summary Distributed programming is difficult for even experienced developers to get correct. Understanding the tradeoff between consistency, availability, and latency, while guaranteeing data correctness, provides a wealth of problems for the application developer. This paper presents a language and method for programmatically verifying distributed consistency. CALM - Consistency and Logical Monotonicity...	1.4 parsecs away Travel
\|	\|	critter.blog Intense intervention or acceptance. Pick one. - Mike Crittenden	27.0 parsecs away Travel
\|		If it's really a problem, then attack it with the force of a thousand suns. If you're not willing to do that, then it's not a problem.	27.0 parsecs away Travel