/explore
|
You are here 
|
databeta.wordpress.com | ||
| | | | |
sookocheff.com
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... |
|
| | | | | ||
| | | | |
bloom-lang.net
CALM: consistency as logical monotonicity One of the key innovations underlying Bloom is the ability to formally guarantee consistency properties of distributed programs. This reasoning is based o |
|
| | | | | ||
| | | | |
placeholderapi.wordpress.com
"I recently wrote about the new MoarVM dispatch mechanism, and in that post noted that I still had a good bit of Raku's multiple dispatch semantics left to implement in terms of it" https://6guts.wordpress.com/2021/04/15/raku-multiple-dispatch-with-the-new-moarvm-dispatcher/ |
|
| | | | | ||
| | | | |
architecturenotes.co
How Relational Databases Work. This post talks about how indexes and transactions work on the inside of relational databases. |
|
| | | |||
