/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

 blog.acolyer.org
Keeping CALM: when distributed consistency is easy | the morning paper
| | bloom-lang.net
calm: consistency as logical monotonicity | Bloom Programming Language
2.8 parsecs away

Travel
| | 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
| | techglider.github.io
Time, Clocks, and Ordering of Events in a Distributed System
5.2 parsecs away

Travel
| |
| | www.bailis.org
When Does Consistency Require Coordination? | Peter Bailis
5.2 parsecs away

Travel
| | [AI summary] A technical article introduces 'invariant confluence' (I-confluence), a property that determines when database consistency can be achieved without coordination or synchronous communication, leading to significant performance improvements in distributed systems.
| | roscidus.com
Replacing Python: candidates - Thomas Leonard's blog
32.1 parsecs away

Travel
| This post evaluates the programming languages ATS, C#, Go, Haskell, OCaml, Python and Rust to try to decide which would be the best language in which ...