/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

 fauna.com
Serializability vs Strict Serializability: The Dirty Secret of Database Isolation Levels
| | hoverbear.org
Common Safety Pitfalls found by Jepsen
5.3 parsecs away

Travel
| | Learning about Jepsen and doing a survey of published analyses.
| | christophermeiklejohn.com
A Certain Tendency Of The Database Community
4.6 parsecs away

Travel
| | [AI summary] The article challenges the traditional centralized database model, arguing that eventual consistency better reflects the physical world and proposing a new computational model where all participants are primary sources of truth.
| | muratbuffalo.blogspot.com
Automated Validation of State-Based Client-Centric Isolation with TLA+ (2021)
5.6 parsecs away

Travel
| | This work provides a TLA+ formalization of t he state-based isolation model introduced in the PODC 2017 paper. The TLA+ models provided her...
| | henrikwarne.com
Book Review: Designing Data-Intensive Applications | Henrik Warne's blog
29.5 parsecs away

Travel
| What a great book Designing Data-Intensive Applications is! It covers databases and distributed systems in clear language, great detail and without any fluff. I particularly like that the author Martin Kleppmann knows the theory very well, but also seems to have a lot of practical experience of the types of systems he describes. There is...