/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

 techglider.github.io
Time, Clocks, and Ordering of Events in a Distributed System
| | bloom-lang.net
calm: consistency as logical monotonicity | Bloom Programming Language
4.6 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
| | blog.acolyer.org
Keeping CALM: when distributed consistency is easy | the morning paper
5.2 parsecs away

Travel
| |
| | research.google
Software Engineering
4.8 parsecs away

Travel
| | [AI summary] This collection of publications highlights Google's advancements in software engineering, including ML-assisted code reviews, automated program verification for Rust, and secure-by-design ecosystem strategies.
| | thevisualchronicle.com
Quaint | The Visual Chronicle
17.4 parsecs away

Travel
| Image was taken with a Fujifilm X100VI camera